Encoding natural semantics in Coq-Reference-Cited by-同舟云学术

Encoding natural semantics in Coq

Published:1995 Issue: Volume: Page:230-244
ISSN:0302-9743
Container-title:Algebraic Methodology and Software Technology
language:
Short-container-title:

Author:

Terrasse Delphine

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60043-4_56.pdf

Reference24 articles.

1. P. Aczel: An Introduction to Inductive Definitions. The Handbook of Mathematical Logic, J. Barwise ed., North-Holland, (1992) 739–782

2. Y. Bertot, R. Fraer: Reasoning with Executable Specifications. I. Joint Conference of Theory and Practice of Software Development, LNCS, Aarhus (1995)

3. Avion, Honsell, Mason: An Overview of the Edinburgh Logical Framework. Current Trends in Hardware Verification and Automated Theorem Proving (1988)

4. Y. Bertot, G. Kahn, L. Théry: Proof by Pointing. Proceedings of Theoretical Aspects Computer Science (TACS '94), Tohoku University, Sendai, Japan, LNCS (1994) 789

5. R. Burstall, J. Goguen: Algebras, theories and freeness: an introduction for computer scientists. Theoretical Foundations of Programming Methodology, (1982) 329–350

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Ott: Effective tool support for the working semanticist;Journal of Functional Programming;2010-01

2. System Model-Based Definition of Modeling Language Semantics;Formal Techniques for Distributed Systems;2009

3. Two Case Studies of Semantics Execution in Maude: CCS and LOTOS;Formal Methods in System Design;2005-09

4. Efficient Reasoning about Executable Specifications in Coq;Lecture Notes in Computer Science;2002

5. Reasoning with executable specifications;TAPSOFT '95: Theory and Practice of Software Development;1995