Attributed Graph Constraints
DOI10.1007/978-3-540-87405-8_19zbMATH Open1175.68229OpenAlexW1517736112MaRDI QIDQ3540405FDOQ3540405
Authors: 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
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Handbook of Graph Grammars and Computing by Graph Transformation
- Formal Methods in Software and Systems Modeling
- The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
- Paramodulation-based theorem proving
- Fundamentals of algebraic graph transformation
- Graph Transformations
- A Logic of Graph Constraints
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Graph Transformations
- A functorial framework for constraint normal logic programming
- Satisfiability of High-Level Conditions
Cited In (10)
- Formal verification of invariants for attributed graph transformation systems based on nested attributed graph conditions
- Resolution-Like Theorem Proving for High-Level Conditions
- Lazy graph transformation
- A Logic of Graph Constraints
- Reasoning with graph constraints
- On the Specification and Verification of Model Transformations
- Symbolic graphs for attributed graph constraints
- Attribute handling for generating preconditions from graph constraints
- Towards attributed graphs in Groove (work in progress)
- Fundamental Approaches to Software Engineering
This page was built for publication: Attributed Graph Constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3540405)
