Program Logics for Homogeneous Meta-programming-Reference-Cited by-同舟云学术

Program Logics for Homogeneous Meta-programming

Published:2010 Issue: Volume: Page:64-81
ISSN:0302-9743
Container-title:Logic for Programming, Artificial Intelligence, and Reasoning
language:
Short-container-title:

Author:

Berger Martin,Tratt Laurence

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-17511-4_5

Reference21 articles.

1. Lecture Notes in Computer Science;M. Berger,2010

2. Berger, M., Honda, K., Yoshida, N.: A Logical Analysis of Aliasing in Imperative Higher-Order Functions. J. Funct. Program. 17(4-5), 473–546 (2007)

3. Lecture Notes in Computer Science;M. Berger,2008

4. Berger, M., Tratt, L.: Program Logics for Homogeneous Metaprogramming. Long version of the present paper (to appear)

5. Cook, S.A.: Soundness and completeness of an axiom system for program verification. SIAM J. Comput. 7(1), 70–90 (1978)

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

1. Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper);Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2018-11-05

2. Information flow analysis for a dynamically typed language with staged metaprogramming;Journal of Computer Security;2016-11-08

3. Control Flow Analysis for SF Combinator Calculus;Electronic Proceedings in Theoretical Computer Science;2015-12-07

4. XPL: A language for modular homogeneous language embedding;Science of Computer Programming;2015-02

5. An observationally complete program logic for imperative higher-order functions;Theoretical Computer Science;2014-01