Evolution of rule-based programs

DOI10.1016/j.jlap.2004.03.006zbMath1072.68027DBLPjournals/jlp/Lammel04OpenAlexW2092540255WikidataQ57400608 ScholiaQ57400608MaRDI QIDQ1878711

Ralf Lämmel

Publication date: 8 September 2004

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2004.03.006

zbMATH Keywords

program evolutiontracking changes

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Uses Software

• ML
• PolyTOIL

Cites Work

• Notions of computation and monads
• A polymorphic type system for Prolog
• A fast pattern matching algorithm derived by transformational and assertional reasoning
• Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
• Modularity and reusability in attribute grammars
• Relating logic programs via program maps
• Class hierarchy specialization
• Pragmatics of Modular SOS
• Extended Attribute Grammars
• Relating logic programs and attribute grammars
• Action Semantics
• The Semantics of Predicate Logic as a Programming Language
• A Transformation System for Developing Recursive Programs
• The well-founded semantics for general logic programs
• Directional types and the annotation method
• Refinement Calculus
• The witness properties and the semantics of the Prolog cut
• Data Refinement
• Semantics of context-free languages
• Program Development in Computational Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Evolution of rule-based programs