scientific article; zbMATH DE number 4145878

zbMATH Open0699.03013MaRDI QIDQ3476793FDOQ3476793

Authors: Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi 

Publication date: 1987

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

axiomatizabilitysuperintuitionistic logicabstract programsisoinitial model

Mathematics Subject Classification ID

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

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
• Geometry of synthesis III
• Fiat: deductive synthesis of abstract data types in a proof assistant
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A theory for program and data type specification
• Title not available (Why is that?)
• Symbolic abstract data type inference
• Constructive system for automatic program synthesis
• 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)