Evolution of rule-based programs-Reference-Cited by-同舟云学术

Evolution of rule-based programs

Published:2004-07 Issue: Volume:60-61 Page:141-193
ISSN:1567-8326
Container-title:The Journal of Logic and Algebraic Programming
language:en
Short-container-title:The Journal of Logic and Algebraic Programming

Author:

Lämmel Ralf

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software

Reference75 articles.

1. H. Abramson, Definite clause translation grammars, in: Proceedings of the International Symposium on Logic Programming, IEEE, Computer Society Press, Atlantic City, 1984, pp. 233–241

2. A natural semantics for Eiffel dynamic binding;Attali;ACM Transactions on Programming Languages and Systems,1996

3. S.R. Adams, Modular grammars for programming language prototyping, PhD thesis, Department of Electronics and Computer Science, Faculty of Engineering, University of Southampton, March 1991

4. Structural operational semantics;Aceto,2001

5. A. Aiken, T.K. Lakshman, Directional type checking of logic programs, in: B. Le Charlier (Ed.), 1st International Symposium on Static Analysis, LNCS, vol. 864, Springer-Verlag, September 1994, pp. 43–60

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

1. Aspect-oriented Prolog in a language processing context;IET Software;2008

2. An update calculus for expressing type-safe program updates;Science of Computer Programming;2007-07

3. Toward an engineering discipline for grammarware;ACM Transactions on Software Engineering and Methodology;2005-07

4. Evolution Scenarios for Rule-Based Implementations of Language-Based Functionality;Electronic Notes in Theoretical Computer Science;2005-05

5. Evolution of Language Interpreters;Electronic Notes in Theoretical Computer Science;2005-04