From algebras to programming languages
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
An algebraic description of programs with assertions, verification and simulation
Proceedings of ACM conference on Proving assertions about programs
The correctness of numerical algorithms
Proceedings of ACM conference on Proving assertions about programs
On homomorphisms, simulations, correctness and subroutines for programs and program schemes
SWAT '72 Proceedings of the 13th Annual Symposium on Switching and Automata Theory (swat 1972)
On the Syntax, Semantics, and Implementation of a Graph-Based Computational Environment
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
PROCESSES WITH MULTIPLE ENTRIES AND EXITS MODULO ISOMORPHISM AND MODULO BISIMULATION
Fundamenta Informaticae
Hi-index | 0.00 |