Programming with variable functions
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
A formal model for the parallel semantics of P3L
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
A Programmer Friendly Modular Definition of the Semantics of Java
Formal Syntax and Semantics of Java
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Linking architectural and component system views by abstract state machines
Languages for system specification
A high-level modular definition of the semantics of C#
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
CoreASM: An Extensible ASM Execution Engine
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Computational Modeling of Criminal Activity
EuroISI '08 Proceedings of the 1st European Conference on Intelligence and Security Informatics
CoreASM: An Extensible ASM Execution Engine
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
| Hi-index | 0.01 |