Substitution: A formal methods case study using monads and transformations-Reference-Cited by-同舟云学术

Substitution: A formal methods case study using monads and transformations

Published:1994-12 Issue:2-3 Volume:23 Page:287-311
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Bellegarde Françoise,Hook James

Publisher

Elsevier BV

Subject

Software

Reference20 articles.

1. Explicit substitution;Abadi;J. Funct. Programming,1991

2. Software design for reliability and reuse: A proof-of-concept demonstration;Bell,1994

3. An implementation of Reynold's defunctionalization method for a modern functional language;Bell;MS Thesis Oregon Graduate Institute,1994

4. Program transformation and rewriting;Bellegarde,1991

5. A transformation system for developing recursive programs;Burstall;J. ACM,1977

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

1. Scoped and Typed Staging by Evaluation;Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11

2. Syntax Monads for the Working Formal Metatheorist;Electronic Proceedings in Theoretical Computer Science;2023-12-14

3. Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively;Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11

4. Modules over monads and operational semantics (expanded version);Logical Methods in Computer Science;2022-08-02

5. Formal metatheory of second-order abstract syntax;Proceedings of the ACM on Programming Languages;2022-01-12