Repository | Book | Chapter
(2006) Algebra, meaning, and computation, Dordrecht, Springer.
Rigorous program development is notoriously difficult because it involves many aspects, among which specification, programming, verification, code reuse, maintenance, and version management. Besides, these various tasks are interdependent, requiring going back and forth between them. In this paper, we are interested in certain language features and in languages which help make the user's life easier for developing programs satisfying their specifications.
Publication details
DOI: 10.1007/11780274_12
Full citation:
Chrząszcz, J. , Jouannaud, J. (2006)., From obj to ml to coq, in K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, pp. 216-234.
This document is unfortunately not available for download at the moment.