The Munich Project CIP: Volume I: the wide spectrum language CIP-L
The Munich Project CIP: Volume I: the wide spectrum language CIP-L
A survey and classification of some program transformation approaches and techniques
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
The/Munich Project CIP
Handbook of theoretical computer science (vol. B)
Universal algebra in higher types
Theoretical Computer Science
Term induction proofs by a generalization of narrowing
The unified computation laboratory
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
ML for the working programmer (2nd ed.)
ML for the working programmer (2nd ed.)
The definition of extended ML: a gentle introduction
Theoretical Computer Science - Special issue: algebraic development techniques
Term rewriting and all that
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Logic and Computation: Interactive Proof with Cambridge LCF
Logic and Computation: Interactive Proof with Cambridge LCF
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
CASL: A Guided Tour of Its Design
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Representing, Verifying and Applying Software Development Steps using the PVS System
AMAST '95 Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology
An LPO-based Termination Ordering for Higher-Order Terms without lambda-abstraction
Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics
Automating the Design of Algorithm
Proceedings of the IFIP TC2/WG 2.1 State-of-the-Art Report on Formal Program Development
Computer aided fusion for algebraic program derivation
Nordic Journal of Computing
Memory-access-aware data structure transformations for embedded software with dynamic data accesses
IEEE Transactions on Very Large Scale Integration (VLSI) Systems - Special section on the 2002 international symposium on low-power electronics and design (ISLPED)
Transforming stream processing functions into state transition machines
SERA'04 Proceedings of the Second international conference on Software Engineering Research, Management and Applications
| Hi-index | 0.00 |
The Lübeck Transformation System supports the refinement of higher order algebraic specifications following sound transformation rules. We discuss the system requirements, describe the specification language and explain the life cycle of a specification in the transformation process. The system analyses various properties of the specification providing user guidance for further design decisions. The refinement relation is implemented by two refinement modes covering the different transformation rules for entire specifications and single axioms. Finally we describe the architecture and the implementation of the system. Throughout the paper, we accompany the presentation with a running example.