We present the design and implementation of a system for axiomatic programming, and its application to mathematical software construction. Key novelties include a direct support for user-defined axioms establishing local equalities between types, and overload resolution based on equational theories and user-defined local axioms. We illustrate uses of axioms, and their organization into concepts, in structured generic programming as practiced in computational mathematical systems. © 2012 Springer-Verlag.
CITATION STYLE
Dos Reis, G. (2012). A system for axiomatic programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7362 LNAI, pp. 295–309). https://doi.org/10.1007/978-3-642-31374-5_20
Mendeley helps you to discover research relevant for your work.