Author:
Delahaye David,Dubois Catherine,Étienne Jean-Frédéric
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Attali, I., Parigot, D.: Integrating Natural Semantics and Attribute Grammars: the Minotaur System. Technical Report 2339, INRIA (1994)
2. Lecture Notes in Computer Science;S. Berghofer,2002
3. Borras, P., Clément, D., Despeyroux, T., Incerpi, J., Kahn, G., Lang, B., Pascual, V.: Centaur: the System. ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments (PSDE) 24(2), 14–24 (1988)
4. Dubois, C., Gayraud, R.: Compilation de la sémantique naturelle vers ML. In: Weis, P. (ed.) Journées Francophones des Langages Applicatifs (JFLA), Morzine-Avoriaz (France) (February 1999)
5. Hermenegildo, M.V., Puebla, G., Bueno, F., López-García, P.: Integrated Program Debugging, Verification, and Optimization using Abstract Interpretation (and the Ciao System Preprocessor). Science of Computer Programming 58(1-2), 115–140 (2005)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Computing correctly with inductive relations;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
2. Generating good generators for inductive relations;Proceedings of the ACM on Programming Languages;2018-01
3. Producing Certified Functional Code from Inductive Specifications;Certified Programs and Proofs;2012
4. A List-Machine Benchmark for Mechanized Metatheory;Journal of Automated Reasoning;2011-05-03
5. Mechanized Semantics for the Clight Subset of the C Language;Journal of Automated Reasoning;2009-07-24