scientific article; zbMATH DE number 4145878

MaRDI QIDQ3476793zbMATH OpenFDO

Authors Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Publication date 1987

zbMATH Keywords

abstract programsaxiomatizabilityisoinitial modelsuperintuitionistic logic

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(12)

• A theory for program and data type specification
• An infinite class of maximal intermediate propositional logics with the disjunction property
• 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
• Symbolic abstract data type inference
• scientific article; zbMATH DE number 3936490 (Why is no real title available?)
• scientific article; zbMATH DE number 4007714 (Why is no real title available?)
• scientific article; zbMATH DE number 4089536 (Why is no real title available?)
• Geometry of synthesis III
• scientific article; zbMATH DE number 4187806 (Why is no real title available?)
• Constructive system for automatic program synthesis

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)