Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
The formal semantics of programming languages: an introduction
The formal semantics of programming languages: an introduction
Graph grammars with negative application conditions
Fundamenta Informaticae - Special issue on graph transformations
Software metrics (2nd ed.): a rigorous and practical approach
Software metrics (2nd ed.): a rigorous and practical approach
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Types and programming languages
Types and programming languages
A Theory of Objects
PolyTOIL: A type-safe polymorphic object-oriented language
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language
Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics
A Formal Semantics of UML Statecharts by Model Transition Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Visual language semantics specification in the VisPro system
VIP '02 Selected papers from the 2002 Pan-Sydney workshop on Visualisation - Volume 22
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Explicit State Model Checking for Graph Grammars
Concurrency, Graphs and Models
From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Behavior, Time and Viewpoint Consistency: Three Challenges for MDE
Models in Software Engineering
A Type Graph Model for Java Programs
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
A Graph-Based Operational Semantics of OO Programs
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Using graph transformations and graph abstractions for software verification
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Showing full semantics preservation in model transformation: a comparison of techniques
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
A categorical framework for the transformation of object-oriented systems: Models and data
Journal of Symbolic Computation
A graph-based aspect interference detection approach for UML-based aspect-oriented models
Transactions on aspect-oriented software development VII
The edge of graph transformation: graphs for behavioural specification
Graph transformations and model-driven engineering
A graph-based aspect interference detection approach for UML-based aspect-oriented models
Transactions on aspect-oriented software development VII
Nested quantification in graph transformation rules
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Composition of model transformations: a categorical framework
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
A truly concurrent semantics for the K framework based on graph transformations
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
A graph-based generic type system for object-oriented programs
Frontiers of Computer Science: Selected Publications from Chinese Universities
Graph-based object-oriented hoare logic
Theories of Programming and Formal Methods
Hi-index | 0.00 |
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics of a small but realistic object-oriented language (called TAAL) by mapping the language constructs to graphs (the static semantics) and modelling their effect by graph transformation rules (the dynamic semantics). This gives rise to execution models for all TAAL-programs, which can be used as the basis for formal verification. This work constitutes a first step towards a method for defining all aspects of software languages, besides their concrete syntax, in a consistent and rigorous manner. Such a method facilitates the integration of formal correctness in the software development trajectory.