The Vienna Definition Language
ACM Computing Surveys (CSUR)
Block structure (Extended Abstract): Retention or deletion?
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
The Contour Model Lambda Calculus Machine
Proceedings of ACM conference on Proving assertions about programs
Operational semantics of programming languages
Proceedings of ACM conference on Proving assertions about programs
The equivalence of models of tasking
Proceedings of ACM conference on Proving assertions about programs
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Data structure models for programming languages
ACM SIGPLAN Notices
The equivalence of sequential and associate information structure models
ACM SIGPLAN Notices
Hi-index | 0.00 |