A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Correctness-preserving program transformations
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Appendix: a philosophy of programming
Language Hierarchies and Interfaces, International Summer School
Improving and refining programs by program manipulation
ACM '76 Proceedings of the 1976 annual conference
Programming as an evolutionary process
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Report on the programming language Euclid
ACM SIGPLAN Notices
Program Transformation Systems
ACM Computing Surveys (CSUR)
Transformational Derivation of a Garbage Collection Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
The operational versus the conventional approach to software development
Communications of the ACM
Operational specification languages
ACM '83 Proceedings of the 1983 annual conference on Computers : Extending the human resource
Programming languages considered as abstract data types
ACM '80 Proceedings of the ACM 1980 annual conference
Mappings for rapid prototyping
Proceedings of the workshop on Rapid prototyping
ASDL: a wide spectrum language for designing web services
Proceedings of the 15th international conference on World Wide Web
Contracts and specifications for functional logic programming
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Hi-index | 0.02 |