Detecting global variables in denotational specifications
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Varieties of Programming Language Semantics
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
A hierarchical structuring method for functional software systems
ICSE '82 Proceedings of the 6th international conference on Software engineering
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Rapid prototyping: in the OBJ executable specification language
Proceedings of the workshop on Rapid prototyping
Recent SRI work in verification
ACM SIGSOFT Software Engineering Notes
The rewriting logic semantics project
Theoretical Computer Science
A rewriting logic approach to operational semantics
Information and Computation
Modular Rewriting Semantics in Practice
Electronic Notes in Theoretical Computer Science (ENTCS)
The Rewriting Logic Semantics Project
Electronic Notes in Theoretical Computer Science (ENTCS)
The rewriting logic semantics project: a progress report
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
The rewriting logic semantics project: A progress report
Information and Computation
Hi-index | 0.00 |