On the coherence of programming language and programming methodology
Proc. IFIP working conference on Programming Languages and System Design
Structuring transformational developments: a case study based on Earley's recognizer
Science of Computer Programming
The logical basis for computer programming. Volume 1: deductive reasoning
The logical basis for computer programming. Volume 1: deductive reasoning
On the algebraic definition of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algebraic requirements definitions: a case study
Technique et Science Informatiques
Algebraic implementations preserve program correctness
Science of Computer Programming
The Munich Project CIP: Volume I: the wide spectrum language CIP-L
The Munich Project CIP: Volume I: the wide spectrum language CIP-L
Transformational program development in a particular problem domain
Science of Computer Programming
A survey and classification of some program transformation approaches and techniques
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Algebraic specifications with higher-order operators
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Application of modal logics to the reasoning about applicative programs
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Software engineering concepts
A simple calculus for program transformation (inclusive of induction)
Science of Computer Programming
The/Munich Project CIP
Science of Computer Programming
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Program Transformation Systems
ACM Computing Surveys (CSUR)
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Some Observations Concerning Formal Differentiation of Set Theoretic Expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
Finite Differencing of Computable Expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
Program Transformation and Programming Environments
Program Transformation and Programming Environments
An Attribute Grammar for the Semantic Analysis of ADA
An Attribute Grammar for the Semantic Analysis of ADA
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
A Discipline of Programming
Algorithmic Language and Program Development
Algorithmic Language and Program Development
Implementation of Parameterised Specifications (Extended Abstract)
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Integration of Program Construction and Verification: The PROSPECTRA Methodology
Proceedings of the CRAI Workshop on Software Factories and Ada: Software Development and Ada
Developing algebraic specifications of threaded data structure implementations
Proceedings of the Werkzeuge der Programmiertechnik
Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI
Transformational Derivation of Parsing Algorithms Executable on Parallel Architectures
Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft
Semantics of Nondeterministic and Noncontinuous Constructs
Program Construction, International Summer Schoo
Systematics of Transformation Rules
Program Construction, International Summer Schoo
A Study on Transformational Semantics
Program Construction, International Summer Schoo
Abstract Data Types as a Tool for Requirement Engineering
Requirements Engineering, Arbeitstagung der GI
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Programming as an evolutionary process
ICSE '76 Proceedings of the 2nd international conference on Software engineering
On the Transformational Implementation approach to programming
ICSE '76 Proceedings of the 2nd international conference on Software engineering
From specifications to machine code: Program construction through formal reasoning
ICSE '82 Proceedings of the 6th international conference on Software engineering
The specification and application to programming of abstract data types.
The specification and application to programming of abstract data types.
Application programming as the construction of language interpreters
ACM SIGPLAN Notices
Formal manipulation of modular software systems
Conference proceedings on Formal methods in software development
A tool supporting query optimization and program transformation techniques
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Parallel-program transformation using a metalanguage
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
DAIDA: an environment for evolving information systems
ACM Transactions on Information Systems (TOIS)
Communications of the ACM
An empirical study of multiple-view software development
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Discovering auxiliary information for incremental computation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Design and specification of embedded systems in Java using successive, formal refinement
DAC '98 Proceedings of the 35th annual Design Automation Conference
Efficiency by Incrementalization: An Introduction
Higher-Order and Symbolic Computation
Relational programs: An architecture for robust real-time safety-critical process-control systems
Annals of Software Engineering
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
Dynamic Programming via Static Incrementalization
Higher-Order and Symbolic Computation
Dynamic Programming via Static Incrementalization
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Deductive Hardware Design: A Functional Approach
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Achievements and Prospects of Program Synthesis
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Verification of design decisions in ForSyDe
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Bridging models across the software lifecycle
Journal of Systems and Software - Special issue: Best papers on Software Engineering from the SEKE'01 Conference
Pigs from sausages? Reengineering from assembler to C via FermaT transformations
Science of Computer Programming - Special issue on program transformation
Optimizing aggregate array computations in loops
ACM Transactions on Programming Languages and Systems (TOPLAS)
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
A language and framework for invariant-driven transformations
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Reverse engineering and reusing COBOL programs: a program transformation approach
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
POET: a scripting language for applying parameterized source-to-source program transformations
Software—Practice & Experience
| Hi-index | 0.03 |
Formal program construction by transformations is a method of software development in which a program is derived from a formal problem specification by manageable, controlled transformation steps which guarantee that the final product meets the initial specification. This methodology has been investigated in the Munich project CIP (computer-aided intuition-guided programming). The research includes the design of a wide-spectrum language specifically tailored to the needs of transformational programming, the construction of a transformation system to support the methodology, and the study of transformation rules and other methodological issues. Particular emphasis has been laid on developing a sound theoretical basis for the overall approach.