Formalization and application of a unifying model for name management
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Abstract State Machines at the Cusp of the Millenium
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Yuri, logic, and computer science
Fields of logic and computation
A Compiler Correctness Proof For The Static Link Technique By Means Of Evolving Algebras
Fundamenta Informaticae
Hi-index | 0.00 |