Semantics of first order parametric specifications

DOI10.1007/3-540-48119-2_11MaRDI QIDQ4493877zbMATH OpenFDO

Authors Dusko Pavlovic

Publication date 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48119-2_11

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
• Parameterised higher-order algebraic specifications
• 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: Semantics of first order parametric specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4493877)