High-Level Programs and Program Conditions

DOI10.1007/978-3-540-87405-8_15zbMath1175.68111OpenAlexW1501427638MaRDI QIDQ3540400

Karl Azab, Annegret Habel

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_15

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

High-Level Programs and Program Conditions ⋮ Computing defeasible meta-logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Graph-based specification of access control policies
• Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions
• High-Level Programs and Program Conditions
• Nested Quantification in Graph Transformation Rules
• Weakest Preconditions for High-Level Programs
• Correctness of high-level transformation systems relative to nested conditions
• Pushout-Properties: An analysis of gluing constructions for graphs
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Double-pullback transitions and coalgebraic loose semantics for graph transformation systems

This page was built for publication: High-Level Programs and Program Conditions