The expert system life cycle: what have we learned from software engineering?
SIGBDP '90 Proceedings of the 1990 ACM SIGBDP conference on Trends and directions in expert systems
Assignment and Procedure Call Proof Rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Recursion As an Effective Step in Program Development
ACM Transactions on Programming Languages and Systems (TOPLAS)
A critique of the foundations of Hoare style programming logics
Communications of the ACM
SuperPascal: a publication language for parallel scientific computing
The origin of concurrent programming
On the verification of computer architectures using an architecture description language
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
A two-semester course sequence in introductory programming using PL/1—a rationale and overview
SIGCSE '78 Proceedings of the ninth SIGCSE technical symposium on Computer science education
Educator's view of structured concepts
ACM '80 Proceedings of the ACM 1980 annual conference
Steelman and the verifiability of (preliminary) ADA
ACM SIGPLAN Notices
Using Hammock Graphs to Structure Programs
IEEE Transactions on Software Engineering
Automatic derivation of loop termination conditions to support verification
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Eighteen Pascal texts: an objective comparison
ACM SIGCSE Bulletin
On teaching theoretical foundations of Computer Science
ACM SIGACT News
Some practical experiences with the Pascal language
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Proving loop termination: Beyond the traditional method
Journal of Computational Methods in Sciences and Engineering
| Hi-index | 0.02 |