Publisher
Springer Berlin Heidelberg
Reference65 articles.
1. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development – Coq’Art: The Calculus of Inductive Constructions. Springer, Heidelberg (2004)
2. Bidoit, M., Hennicker, R.: Behavioural theories and the proof of behavioural properties. Theoretical Computer Science 165(1), 3–55 (1996)
3. Burstall, R.M., Goguen, J.A.: Putting theories together to make specifications. In: IJCAI, pp. 1045–1058 (1977)
4. CafeOBJ: Web page (2010), http://www.ldl.jaist.ac.jp/cafeobj/
5. Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Capturing constrained constructor patterns in matching logic;Journal of Logical and Algebraic Methods in Programming;2023-01
2. Advances of proof scores in CafeOBJ;Science of Computer Programming;2022-12
3. Advances of Proof Scores in CafeOBJ : Invited Paper;2021 International Symposium on Theoretical Aspects of Software Engineering (TASE);2021-08
4. A Constructor-Based Reachability Logic for Rewrite Theories;Fundamenta Informaticae;2020-03-31
5. Connecting Constrained Constructor Patterns and Matching Logic;Rewriting Logic and Its Applications;2020