The Computer Journal
Developing formally verified Ada programs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Programming pearls: a literate program
Communications of the ACM
Communications of the ACM
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementation of multilinear operators in REDUCE and applications in mathematics
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
An annotated bibliography of literate programming
ACM SIGPLAN Notices
Simplifying data integration: the design of the desert software development environment
Proceedings of the 18th international conference on Software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Literate Programming Simplified
IEEE Software
Hi-index | 0.00 |