Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Robert Boyer and J Moore. A Computational Logic. Academic Press, 1980.
2. Rod Burstall. Proving properties of programs by structural induction. Computer Journal, 12(1):41–48, 1969.
3. Rod Burstall and Joseph Goguen. Algebras, theories and freeness: An introduction for computer scientists. In Manfred Wirsing and Gunther Schmidt, editors, Theoretical Foundations of Programming Methodology, pages 329–350. Reidel, 1982. Proceedings, 1981 Marktoberdorf NATO Summer School, NATO Advanced Study Institute Series, Volume C91.
4. Kokichi Futatsugi, Joseph Goguen, Jean-Pierre Jouannaud, and José Meseguer. Principles of OBJ2. In Brian Reid, editor, Proceedings, Twelfth ACM Symposium on Principles of Programming Languages, pages 52–66. Association for Computing Machinery, 1985.
5. Kokichi Futatsugi, Joseph Goguen, José Meseguer, and Koji Okada. Parameterized programming in OBJ2. In Robert Balzer, editor, Proceedings, Ninth International Conference on Software Engineering, pages 51–60. IEEE Computer Society Press, March 1987.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. NuITP: An Inductive Theorem Prover for Equational Program Verification;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
2. A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler;Structured Object-Oriented Formal Language and Method;2018
3. Semantic Specifications for the Rewrite Rule Machine;Advances in Formal Methods;2000
4. Formal methods and social context in software development;TAPSOFT '95: Theory and Practice of Software Development;1995
5. Towards an algebraic semantics for the object paradigm;Recent Trends in Data Type Specification;1994