Combining Semantics with Non-standard Interpreter Hierarchies-Reference-Cited by-同舟云学术

Combining Semantics with Non-standard Interpreter Hierarchies

Published:2000 Issue: Volume: Page:201-213
ISSN:0302-9743
Container-title:FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science
language:
Short-container-title:

Author:

Abramov Sergei,Glück Robert

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44450-5_16

Reference20 articles.

1. S. M. Abramov, R. Glück. From standard to non-standard semantics by semantics modifiers. International Journal of Foundations of Computer Science. to appear.

2. Lect Notes Comput Sci;S. M. Abramov,2000

3. K. Apt, F. Turini. Meta-Logics and Logic Programming. MIT Press, 1995.

4. O. Danvy. Across the bridge between reflection and partial evaluation. In D. Bjørner, A. P. Ershov, N. D. Jones (eds.), PEMC, 83–116. North-Holland, 1988.

5. Lect Notes Comput Sci,1996

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

1. Partial Evaluation of Reversible Flowchart Programs;Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11

2. A Case Study in Functional Conversion and Mode Inference in miniKanren;Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11

3. Relational Solver for Java Generics Type System;Logic-Based Program Synthesis and Transformation;2023

4. An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata;Electronic Proceedings in Theoretical Computer Science;2018-03-23

5. The Translation Power of the Futamura Projections;Lecture Notes in Computer Science;2004