Science of Computer Programming
Evolving algebras 1993: Lipari guide
Specification and validation methods
The semantics of the C++ programming language
Specification and validation methods
Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Algebraic Semantics of Imperative Programs
Algebraic Semantics of Imperative Programs
Algebraic Foundations of Systems Specification
Algebraic Foundations of Systems Specification
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Towards Verification of C Programs. C-Light Language and Its Formal Semantics
Programming and Computing Software
Dynamic Systems with Implicit State
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Separation Logic: A Logic for Shared Mutable Data Structures
LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
A Type-Theoretic Memory Model for Verification of Sequential Java Programs
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Algebraic Modelling of Imperative Languages with Pointers
Proceedings of the International Conference on Formal Methods in Programming and Their Applications
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
ERRATA to "The Semantics of the C Programming Language"
CSL '93 Selected Papers from the 7th Workshop on Computer Science Logic
An ASM-based Formal Model of a Java Program
Programming and Computing Software
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Formal Semantics of Java Expressions and Statements
Programming and Computing Software
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming Language
Programming and Computing Software
LP structures on type lattices and some refactoring problems
Programming and Computing Software
LP-structures analysis: Substantiation of refactoring in object-oriented programming
Automation and Remote Control
| Hi-index | 0.01 |