Add to ORKGWe describe an Interpreter for the programming language predicate logic. Some topics are; syntax and proof procedure, procedure evocation, function transformation, goal variation and interactive computational control
AbstractA rewrite logic semantic definitional framework for programming languages is introduced, cal...
The functional and logic programming research communities are to a signif-icant extent solving the s...
A rewrite logic semantic definitional framework for programming languages is introduced, called K, t...
In this thesis, the first chapter provides the general description of this interpreter. The second c...
The paper focuses on three ideas for solving problems with writing interpreters for the logic progra...
AbstractPredicate abstraction is a form of abstract interpretation where the abstract domain is cons...
This paper describes a completely automated method for generating efficient and competitive interpre...
An implementation technique for abstract imterpretation is given which exploits stream communication...
When writing programs to manipulate structures such as algebraic expressions, logical formulas, proo...
iPreface Logic programming employs logic as a programming language Thus a logic program consists of...
We present a program interpretation technique relying on an higher order abstract syntax which allow...
Abstract interpretation is a systematic methodology to design static program analysis which has been...
We clarify the relationship between abstract interpretation and program spe-cialisation in the conte...
This paper describes an algorithm performing an analysis and transformation of logic programs. The t...
Symbolic reasoning in a logical framework becomes more and more important for computer applications ...
AbstractA rewrite logic semantic definitional framework for programming languages is introduced, cal...
The functional and logic programming research communities are to a signif-icant extent solving the s...
A rewrite logic semantic definitional framework for programming languages is introduced, called K, t...
In this thesis, the first chapter provides the general description of this interpreter. The second c...
The paper focuses on three ideas for solving problems with writing interpreters for the logic progra...
AbstractPredicate abstraction is a form of abstract interpretation where the abstract domain is cons...
This paper describes a completely automated method for generating efficient and competitive interpre...
An implementation technique for abstract imterpretation is given which exploits stream communication...
When writing programs to manipulate structures such as algebraic expressions, logical formulas, proo...
iPreface Logic programming employs logic as a programming language Thus a logic program consists of...
We present a program interpretation technique relying on an higher order abstract syntax which allow...
Abstract interpretation is a systematic methodology to design static program analysis which has been...
We clarify the relationship between abstract interpretation and program spe-cialisation in the conte...
This paper describes an algorithm performing an analysis and transformation of logic programs. The t...
Symbolic reasoning in a logical framework becomes more and more important for computer applications ...
AbstractA rewrite logic semantic definitional framework for programming languages is introduced, cal...
The functional and logic programming research communities are to a signif-icant extent solving the s...
A rewrite logic semantic definitional framework for programming languages is introduced, called K, t...