A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Program Improvement by Source-to-Source Transformation
Journal of the ACM (JACM)
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
Tabulation Techniques for Recursive Programs
ACM Computing Surveys (CSUR)
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Automatic Technique for Selection of Data Representations in SETL Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A System for Assisting Program Transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Some Techniques for Recursion Removal from Recursive Functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Finite Differencing of Computable Expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic Program Improvement: Variable Usage Transformations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Syntactic source to source transforms and program manipulation
Communications of the ACM
Automatic data structure selection: an example and overview
Communications of the ACM
Automatic data structure choice in a language of very high level
Communications of the ACM
A partial evaluator, and its use for compiling iterative statements in LISP
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Expression continuity and the formal differentiation of algorithms
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Program Transformation and Programming Environments
Program Transformation and Programming Environments
A Discipline of Programming
Transformational programming: applications to algorithms and systems
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automatic data structure selection in SETL
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Algorithmic Language and Program Development
Algorithmic Language and Program Development
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Introductory Readings in Expert Systems
Introductory Readings in Expert Systems
Langages sans Etiquettes et Transformations de Programmes
Proceedings of the 2nd Colloquium on Automata, Languages and Programming
Methoden und Werkzeuge zur Software-Entwicklung: Einordnung und Überblick
Proceedings of the Werkzeuge der Programmiertechnik
The use of transformations to implement an algorithm
Proceedings of the 5th Colloquium on International Symposium on Programming
A Relational Data Base Foundation for Process Specification
Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design
Programming as an evolutionary process
Language Hierarchies and Interfaces, International Summer School
The Use of Nested Scheme Parameters in the System CIP
GI - 10. Jahrestagung
A Study on Transformational Semantics
Program Construction, International Summer Schoo
The evolution of programs: Program abstraction and instantiation
ICSE '81 Proceedings of the 5th international conference on Software engineering
Program refinement by transformation
ICSE '81 Proceedings of the 5th international conference on Software engineering
A system for program refinement
ICSE '79 Proceedings of the 4th international conference on Software engineering
The synthesis of structure-changing programs
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Improving and refining programs by program manipulation
ACM '76 Proceedings of the 1976 annual conference
Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software
The automatic synthesis of recursive programs
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Automated derivation of program control structure from natural language program descriptions
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
The PSI Program Model Builder - synthesis of very high-level programs
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
The selection of efficient implementations for a high-level language
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Program manipulation via an efficient production system
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
On a laboratory for the study of automating programming
Proceedings of ACM conference on Proving assertions about programs
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
Program optimization - theory and practice
Proceedings of the conference on Programming languages and compilers for parallel and vector machines
Some transformations for developing recursive programs
Proceedings of the international conference on Reliable software
Automatic construction of algorithms and data structures using a knowledge base of programming rules.
Improving programs by source-to-source transformation.
Improving programs by source-to-source transformation.
Power, efficiency, and correctness of transformation systems.
Power, efficiency, and correctness of transformation systems.
Building program models incrementally from informal descriptions
Building program models incrementally from informal descriptions
Software construction using components
Software construction using components
Mechanical transformation of task heuristics into operational procedures
Mechanical transformation of task heuristics into operational procedures
Automating the transformational development of software
Automating the transformational development of software
Operational specification as the basis for rapid prototyping
Proceedings of the workshop on Rapid prototyping
Mappings for rapid prototyping
Proceedings of the workshop on Rapid prototyping
Using symbolic execution to characterize behavior
Proceedings of the workshop on Rapid prototyping
A knowledge base organization for rules about programming
ACM SIGART Bulletin
Program abstraction and instantiation
ACM Transactions on Programming Languages and Systems (TOPLAS)
The concept of a supercompiler
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Computer system reliability and nuclear war
Communications of the ACM
Conformity analysis for communication protocols
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
The design of an interactive compiler for optimizing microprograms
MICRO 18 Proceedings of the 18th annual workshop on Microprogramming
High-performance operating system primitives for robotics and real-time control systems
ACM Transactions on Computer Systems (TOCS)
Concurrent development of software systems
ACM SIGSOFT Software Engineering Notes
The partial metrics system: modeling the stepwise refinement process using partial metrics
Communications of the ACM
Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A system for parallel programming
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Office-by-example: an integrated office system and database manager
ACM Transactions on Information Systems (TOIS)
A Language and System for the Construction and Tuning of Parallel Programs
IEEE Transactions on Software Engineering
An Integrated Life-Cycle Model for Software Maintenance
IEEE Transactions on Software Engineering
A Strategy for Comparing Alternative Software Development Life Cycle Models
IEEE Transactions on Software Engineering
ICSE '88 Proceedings of the 10th international conference on Software engineering
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
Incremental dynamic semantics for language-based programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
Explanation-based learning: a survey of programs and perspectives
ACM Computing Surveys (CSUR)
A top down unification of minimum cost spanning tree algorithms
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Scaling up: a research agenda for software engineering
Communications of the ACM
Production trees: a compact representation of parsed programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Performing geometric transformations by program transformation
ACM Transactions on Graphics (TOG)
The Use of Self Checks and Voting in Software Error Detection: An Empirical Study
IEEE Transactions on Software Engineering
A method for specializing logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Resourceful systems for fault tolerance, reliability, and safety
ACM Computing Surveys (CSUR)
A Language for Specifying Program Transformations
IEEE Transactions on Software Engineering
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
A tool supporting query optimization and program transformation techniques
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Impacts of life cycle models on software configuration management
Communications of the ACM
Parallel-program transformation using a metalanguage
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Semi-Automatic Program Construction from Specifications Using Library Modules
IEEE Transactions on Software Engineering
Software Specialization Via Symbolic Execution
IEEE Transactions on Software Engineering
Language Design for Program Manipulation
IEEE Transactions on Software Engineering
ACM Computing Surveys (CSUR)
Program Concept Recognition and Transformation
IEEE Transactions on Software Engineering - Special issue on software maintenance
Automating the re-declaration of unneeded globals as private
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Translating description logics to information server queries
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Automating the Ada programming process: a domain-specific approach
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
A concurrent process model of software development
ACM SIGSOFT Software Engineering Notes
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Total correctness by local improvement in the transformation of functional programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
PRESTIGE: a CASE workbench for the JSD implementor
ICSE '91 Proceedings of the 13th international conference on Software engineering
EVA: A Flexible Programming Method for Evolving Systems
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Supporting the restructuring of data abstractions through manipulation of a program visualization
ACM Transactions on Software Engineering and Methodology (TOSEM)
Separating fact from fiction in software architecture
ISAW '98 Proceedings of the third international workshop on Software architecture
A language and environment for architecture-based software development and evolution
Proceedings of the 21st international conference on Software engineering
Some philosophic foundations for an environment for system building
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
Program transformations and their applications in teaching procedural and nonprocedural languages
SIGCSE '85 Proceedings of the sixteenth SIGCSE technical symposium on Computer science education
A refinement-based approach to deriving train controllers
High integrity software
Extending Design Environments to Software Architecture Design
Automated Software Engineering
A situational approach to design strategies
Software Quality Control
Towards a Formalism to Produce a Programmer Assistant CASE Tool
IEEE Transactions on Knowledge and Data Engineering
Using Expert Systems to Construct Formal Specifications
IEEE Expert: Intelligent Systems and Their Applications
Planning by Transformational Synthesis
IEEE Expert: Intelligent Systems and Their Applications
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
Reusing Software: Issues and Research Directions
IEEE Transactions on Software Engineering
Database Application Development as an Object Modeling Activity
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Template-based program restructuring - initial experience
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
KBMS-Based Evolutionary Prototyping of Software Systems*
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
Tool support for refactoring functional programs
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
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
A disciplined approach to aspect composition
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Cataloging design abstractions
Proceedings of the 2006 international workshop on Role of abstraction in software engineering
Formal specification and refinement of a safe train control function
Formal methods for embedded distributed systems
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
ACM SIGCSE Bulletin
A transformational approach to produce web application prototypes from a web requirements model
International Journal of Web Engineering and Technology
Detecting Patterns of Poor Design Solutions Using Constraint Propagation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Object-oriented transformations for extracting aspects
Information and Software Technology
Introducing requirements traceability support in model-driven development of web applications
Information and Software Technology
A language and framework for invariant-driven transformations
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Understanding and automating algorithm design
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
A survey of strategies in rule-based program transformation systems
Journal of Symbolic Computation
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
MEET DB2: automated database migration evaluation
Proceedings of the VLDB Endowment
An expression processor: a case study in refactoring haskell programs
TFP'10 Proceedings of the 11th international conference on Trends in functional programming
Evaluating support for features in advanced modularization technologies
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
USIXML: a language supporting multi-path development of user interfaces
EHCI-DSVIS'04 Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems
Representing and applying design patterns: what is the problem?
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Transforming web requirements into navigational models: AN MDA based approach
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
RAPT: a program transformation system based on term rewriting
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
The transformational approach to database engineering
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Reverse engineering and reusing COBOL programs: a program transformation approach
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Understanding design patterns — what is the problem?
Software—Practice & Experience
A classification and rationalization of model-based software development
Software and Systems Modeling (SoSyM)
Hi-index | 0.06 |