scientific article; zbMATH DE number 4145878

MaRDI QIDQ3476793zbMATH OpenFDO

Authors Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Publication date 1987

zbMATH Keywords

axiomatizabilitysuperintuitionistic logicabstract programsisoinitial model

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 3936490
• Constructive system for automatic program synthesis
• Publication:5752570
• Abstract parametric classes and abstract data types defined by classical and constructive logical methods
• scientific article; zbMATH DE number 177798

Cited in

(12)

• Constructing a theory of a data structure as an aid to program development
• Abstract parametric classes and abstract data types defined by classical and constructive logical methods
• Fiat: deductive synthesis of abstract data types in a proof assistant
• Geometry of synthesis III
• scientific article; zbMATH DE number 3936490 (Why is no real title available?)
• scientific article; zbMATH DE number 4089536 (Why is no real title available?)
• scientific article; zbMATH DE number 4007714 (Why is no real title available?)
• A theory for program and data type specification
• scientific article; zbMATH DE number 4187806 (Why is no real title available?)
• Constructive system for automatic program synthesis
• Symbolic abstract data type inference
• An infinite class of maximal intermediate propositional logics with the disjunction property

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 Q3476793)