ACM SIGPLAN Notices
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
The rewriting logic semantics project
Theoretical Computer Science
Modular Rewriting Semantics in Practice
Electronic Notes in Theoretical Computer Science (ENTCS)
A complete semantics for SMALLTALK-80
Computer Languages
The rewriting logic semantics project: A progress report
Information and Computation
Hi-index | 0.00 |