Integrity constraints in the multi-paradigm language PROGRES

DOI10.1007/978-3-540-46464-8_24MaRDI QIDQ2728872zbMATH OpenFDO

Authors Manfred Münch, Andy Schürr, Andreas Winter

Publication date 6 November 2001

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

Full work available at URL https://doi.org/10.1007/978-3-540-46464-8_24

zbMATH Keywords

graph rewritinggraph transformationsprogramming languagespecificationstatic integrity constraintsstatic semanticstype-checker

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2085180
• scientific article; zbMATH DE number 4178756
• Multiparadigm Constraint Programming Languages
• Temporal object-oriented programming
• Algebraic Methodology and Software Technology

Cited in

(3)

• PROGRES
• Semantics and Pragmatics of Integrity Constraints
• Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints

Describes a project that uses

Uses Software

• DiaGen

This page was built for publication: Integrity constraints in the multi-paradigm language PROGRES

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