Program Improvement by Source-to-Source Transformation
Journal of the ACM (JACM)
Abstract data types and the development of data structures
Communications of the ACM
An example of hierarchical design and proof
Communications of the ACM
The programmer's workbench—a machine for software development
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Pragmatic techniques for program analysis and verification
ICSE '79 Proceedings of the 4th international conference on Software engineering
Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software
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
Gypsy: A language for specification and implementation of verifiable programs
Proceedings of an ACM conference on Language design for reliable software
Report on the programming language Euclid
ACM SIGPLAN Notices
Structured programming
Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Program Transformation Systems
ACM Computing Surveys (CSUR)
Modeling of problem domains for driving program development systems
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Paragon: Novel uses of type hierarchies for data abstraction
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A software methodology for building interactive tools
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
On compiling embedded languages in LISP
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Pragmatic techniques for program analysis and verification
ICSE '79 Proceedings of the 4th international conference on Software engineering
High level language programming environments
ACM SIGSOFT Software Engineering Notes
Design and implementation of an adaptable software environment
Computer Languages
Hi-index | 0.00 |
The Program Development System (PDS) is a programming environment, an integrated collection of interactive tools that support the process of program definition, testing, and maintenance. The PDS is intended to aid the development of large programs, especially program families whose members must be maintained in synchrony. The system facilitates implementation by stepwise refinement, and it keeps a refinement history that allows program modifications made at a high level of abstraction to be reflected efficiently and automatically in the corresponding low level code. Analysis tools are used both to support program validation and to guide program refinement. We describe the PDS and the tools incorporated in it, and we conclude with an example of its use.