Towards correctness of program transformations through unification and critical pair computation
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 41
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Frankfurt am Main
- (who)
-
Univ.-Bibliothek Frankfurt am Main
- (when)
-
2011
- Creator
-
Rau, Conrad
Schmidt-Schauß, Manfred
- URN
-
urn:nbn:de:hebis:30:3-344393
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:48 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Rau, Conrad
- Schmidt-Schauß, Manfred
- Univ.-Bibliothek Frankfurt am Main
Time of origin
- 2011
Other Objects (12)
Towards correctness of program transformations through unification and critical pair computation
Analysis and correctness of algebraic graph and model transformations
Automating the diagram method to prove correctness of program transformations
Encoding induction in correctness proofs of program transformations as a termination problem
Political Correctness
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Computation of the Deuteron Mass and Force Unification via the Rotating Lepton Model
Theory and computation of mono- and poly-crystalline cyclic martensitic phase transformations
The Experience of Collective Transformations : The Women's Centre "Sundine" in Eastern Germany during Unification
A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
Towards correctness of program transformations through unification and critical pair computation
Analysis and correctness of algebraic graph and model transformations
Automating the diagram method to prove correctness of program transformations
Encoding induction in correctness proofs of program transformations as a termination problem
Political Correctness
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Computation of the Deuteron Mass and Force Unification via the Rotating Lepton Model
Theory and computation of mono- and poly-crystalline cyclic martensitic phase transformations
The Experience of Collective Transformations : The Women's Centre "Sundine" in Eastern Germany during Unification
A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
Towards correctness of program transformations through unification and critical pair computation
Analysis and correctness of algebraic graph and model transformations
Automating the diagram method to prove correctness of program transformations
Encoding induction in correctness proofs of program transformations as a termination problem
Political Correctness
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Computation of the Deuteron Mass and Force Unification via the Rotating Lepton Model
Theory and computation of mono- and poly-crystalline cyclic martensitic phase transformations
The Experience of Collective Transformations : The Women's Centre "Sundine" in Eastern Germany during Unification
A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations