Java Language Specification, Second Edition: The Java Series
Java Language Specification, Second Edition: The Java Series
Coalgebras and monads in the semantics of java
Theoretical Computer Science - Special issue: Algebraic methodology and software technology
Dynamical Behavior of Object Systems
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
Algebraic Semantics of the Oberon Target Machine
Proceedings of the Second International Andrei Ershov Memorial Conference on Perspectives of System Informatics
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
An ASM-based Formal Model of a Java Program
Programming and Computing Software
Algebraic Semantics of an Imperative Programming Language
Programming and Computing Software
Hi-index | 0.00 |