scientific article; zbMATH DE number 870438
From MaRDI portal
Publication:4875865
Recommendations
- Relating logic programs and attribute grammars
- scientific article; zbMATH DE number 4180778
- scientific article; zbMATH DE number 4195156
- Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming
- Can we transform logic programs into attribute grammars ?
Cited in
(25)- Constrained dependencies
- Efficient reconfigurable embedded parsers
- Case injected genetic algorithms for traveling salesman problems
- Evolution of rule-based programs
- Model-based computing: Developing flexible machine control software
- Set constraints with intersection
- Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming
- Synchronized regular expressions
- On completeness of logic programs
- scientific article; zbMATH DE number 4180778 (Why is no real title available?)
- scientific article; zbMATH DE number 4195156 (Why is no real title available?)
- Relating logic programs and attribute grammars
- Can we transform logic programs into attribute grammars ?
- Termination of constraint logic programs
- Logic + control: on program construction and verification
- A backward slicing algorithm for Prolog
- Proving completeness of logic programs with the cut
- Modules and specifications
- On Correctness and Completeness of an n Queens Program
- A relaxed condition for avoiding the occur-check
- S-semantics -- an example
- On the complexity of regular-grammars with integer attributes
- Declarative debugging in constraint logic programming
- Computation of non-ground disjunctive well-founded semantics with constraint logic programming
- Proof methods of declarative properties of definite programs
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4875865)
