Experience with Literate Programming in the Modelling and Validation of Systems
Abstract elided by the publisher.
Related papers
- A literate experimentation manifesto Onward! 2011
- Literate Tracing Onward! 2025
- An Environment for Literate Smalltalk Programming OOPSLA 1989
- Reasonably programmable literal notation ICFP 2018
- Validation of Abstract Side-Channel Models for Computer Architectures CAV 2020
- Programming Methodology A. McIver and C. Morgan, editors, Springer-Verlag, 2002 JFP 2004
- Knowledge Representation, Reasoning and Declarative Problem Solving by C. Baral, Cambridge University Press, 2003 JFP 2004
- Program Construction: Calculating Implementations from Specifications by R.C. Backhouse, John Wiley & Sons, 2004 JFP 2004