Attributed Graph Constraints

DOI10.1007/978-3-540-87405-8_19zbMath1175.68229OpenAlexW1517736112MaRDI QIDQ3540405

Fernando Orejas

Publication date: 20 November 2008

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-87405-8_19

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

On the Specification and Verification of Model Transformations, Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions, Symbolic graphs for attributed graph constraints, Resolution-Like Theorem Proving for High-Level Conditions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A functorial framework for constraint normal logic programming
• Fundamentals of algebraic graph transformation
• Satisfiability of High-Level Conditions
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• Handbook of Graph Grammars and Computing by Graph Transformation
• Graph Transformations
• Graph Transformations
• A Logic of Graph Constraints
• Formal Methods in Software and Systems Modeling