Experience with literate programming in the modelling and validation of systems

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/bfb0054185 ◽

1998 ◽

pp. 393-408 ◽

Cited By ~ 13

Author(s):

Theo C. Ruys ◽

Ed Brinksma

Keyword(s):

Literate Programming

Download Full-text

Encoding Transparency: Literate Programming and Test Generation for Scientific Function Libraries

SSRN Electronic Journal ◽

10.2139/ssrn.2113535 ◽

2012 ◽

Author(s):

Mark D. Flood ◽

Matthew McCormick ◽

Nathan M. Palmer

Keyword(s):

Test Generation ◽

Literate Programming

Download Full-text

Literate programming and the “Spaniel“ method

ACM SIGPLAN Notices ◽

10.1145/307824.307866 ◽

1998 ◽

Vol 33 (12) ◽

pp. 52-56

Author(s):

Nick Hatzigeorgiu ◽

Apostolos Syropoulos

Keyword(s):

Literate Programming

Download Full-text

Supporting tailorable program visualisation through literate programming and fisheye views

Information and Software Technology ◽

10.1016/s0950-5849(01)00182-3 ◽

2001 ◽

Vol 43 (13) ◽

pp. 745-758 ◽

Cited By ~ 4

Author(s):

Andy Cockburn

Keyword(s):

Literate Programming

Download Full-text

Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-40911-4_16 ◽

2000 ◽

pp. 277-296 ◽

Cited By ~ 4

Author(s):

Jonathan P. Bowen

Keyword(s):

Logic Programming ◽

Operational Semantics ◽

Hardware Description Language ◽

Description Language ◽

Literate Programming ◽

Hardware Description ◽

Verilog Hardware Description Language

Download Full-text

Multicomponent many-body perturbation theory for the simultaneous description of electronic and nuclear motion: Towards a practical implementation using literate programming methods

Topics in the Theory Of Chemical and Physical Systems - Progress in Theoretical Chemistry and Physics ◽

10.1007/978-1-4020-5460-0_2 ◽

2007 ◽

pp. 35-61

Author(s):

Stephen Wilson

Keyword(s):

Perturbation Theory ◽

Practical Implementation ◽

Nuclear Motion ◽

Many Body ◽

Literate Programming ◽

Many Body Perturbation Theory

Download Full-text

Increasing assurance with literate programming techniques

Proceedings of 11th Annual Conference on Computer Assurance COMPASS 96 CMPASS-96 ◽

10.1109/cmpass.1996.507887 ◽

2002 ◽

Cited By ~ 4

Author(s):

A.P. Moore ◽

C.N. Payne

Keyword(s):

Literate Programming ◽

Programming Techniques

Download Full-text

STOL - literate programming in SCHEME

ACM SIGPLAN Lisp Pointers ◽

10.1145/382126.382663 ◽

1992 ◽

Vol V (4) ◽

pp. 21-30

Author(s):

Daniel Kobler ◽

Daniel Hernández

Keyword(s):

Literate Programming

Download Full-text

Post-literate Programming: Linking Discussion and Code in Software Development Teams

The 31st Annual ACM Symposium on User Interface Software and Technology Adjunct Proceedings - UIST '18 Adjunct ◽

10.1145/3266037.3266098 ◽

2018 ◽

Cited By ~ 3

Author(s):

Soya Park ◽

Amy X. Zhang ◽

David R. Karger

Keyword(s):

Software Development ◽

Literate Programming ◽

Development Teams ◽

Software Development Teams

Download Full-text

Reimagining literate programming

Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications - OOPSLA '09 ◽

10.1145/1639950.1640072 ◽

2009 ◽

Author(s):

James Dean Palmer ◽

Eddie Hillenbrand

Keyword(s):

Literate Programming

Download Full-text

Literate programming system CDS

Journal of Computer Science and Technology ◽

10.1007/bf02945514 ◽

1991 ◽

Vol 6 (3) ◽

pp. 263-270

Author(s):

Yunfeng Zeng

Keyword(s):

Programming System ◽

Literate Programming

Download Full-text