AbstractLogic programming is understood as the use of constructive proofs for building correct programs. We illustrate the application of this approach in the framework of propositional calculus and outline the PRIZ programming system, which has intuitionistic propositional calculus as its logical basis. The relation of the deductive program synthesis to constraint propagation and the introduction of parallelism are considered
A unified framework for formal reasoning about programs and deductive mechanisms involved in program...
Systems built for automated program construction aim at the formalization of the programming process...
To appear in Theory and Practice of Logic Programming (TPLP)International audienceSeveral formal sys...
AbstractLogic programming is understood as the use of constructive proofs for building correct progr...
AbstractThe programming system PRIZ combines conventional programming technique with automatic synth...
AbstractWe present a constructive description of the automatic program synthesis method used in the ...
Programs are like constructive proofs of their specifications. This analogy is a precise equivalenc...
An introduction to the basic notions of propositional and predicate logic and special theories inclu...
We present a general framework (a programming calculus) for the specification, verification and synt...
In most Software Engineering, Computer Science, and IT degree programs, at least one required course...
We present constructive provability logic, an intuitionstic modal logic that validates the L¨ob rule...
The significant intellectual cost of programming is for problem solving and explaining and not for ...
The objectives of this research were to review existing computer-assisted instruction systems for pr...
. The notion of partial deduction known from logic programming is defined in the framework of Struct...
In chapter one we begin with a historical summary of the iterative programming paradigm. This leads ...
A unified framework for formal reasoning about programs and deductive mechanisms involved in program...
Systems built for automated program construction aim at the formalization of the programming process...
To appear in Theory and Practice of Logic Programming (TPLP)International audienceSeveral formal sys...
AbstractLogic programming is understood as the use of constructive proofs for building correct progr...
AbstractThe programming system PRIZ combines conventional programming technique with automatic synth...
AbstractWe present a constructive description of the automatic program synthesis method used in the ...
Programs are like constructive proofs of their specifications. This analogy is a precise equivalenc...
An introduction to the basic notions of propositional and predicate logic and special theories inclu...
We present a general framework (a programming calculus) for the specification, verification and synt...
In most Software Engineering, Computer Science, and IT degree programs, at least one required course...
We present constructive provability logic, an intuitionstic modal logic that validates the L¨ob rule...
The significant intellectual cost of programming is for problem solving and explaining and not for ...
The objectives of this research were to review existing computer-assisted instruction systems for pr...
. The notion of partial deduction known from logic programming is defined in the framework of Struct...
In chapter one we begin with a historical summary of the iterative programming paradigm. This leads ...
A unified framework for formal reasoning about programs and deductive mechanisms involved in program...
Systems built for automated program construction aim at the formalization of the programming process...
To appear in Theory and Practice of Logic Programming (TPLP)International audienceSeveral formal sys...
DOI
Add to ORKG