scientific article; zbMATH DE number 1487474

MaRDI QIDQ4493877zbMATH OpenFDO

Authors Dusko Pavlovic

Publication date 1999

zbMATH Keywords

compositionalityparametricityreusesoftware development

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55)

Recommendations

• Reasoning with first order nondeterministic specifications
• scientific article; zbMATH DE number 1984522
• scientific article; zbMATH DE number 1696787
• scientific article; zbMATH DE number 1028826
• scientific article; zbMATH DE number 1852924
• scientific article; zbMATH DE number 1088024
• scientific article; zbMATH DE number 4098708
• Semantic typing for parametric algebraic specifications
• scientific article; zbMATH DE number 5722451
• scientific article; zbMATH DE number 3938530

Cited in

(3)

• Functorial semantics of first-order views
• scientific article; zbMATH DE number 1852924 (Why is no real title available?)
• From Gödel's incompleteness theorem to the completeness of bot beliefs (extended abstract)

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