Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Program Transformation Systems
ACM Computing Surveys (CSUR)
Derivation of Invariant Assertions During Program Development by Transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming as an evolutionary process
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Hi-index | 0.00 |