9 treff

programsemantikk
Comparing Java programs : syntactic and contextual semantic differences
Huynh, Quoc Hung Le
Bok Engelsk 2005 · Vis mer
Vis flere utgaver
Vis flere utgaver
WCFLP '05 : proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Logic Programming, September 29, 2005, Tallinn, Estonia
Workshop on Curry and Functional Logic Programming
Bok Engelsk 2005 · Vis mer
Introduction to the theory of programming languages
Gilles Dowek, Jean-Jacques Lévy
Bok Engelsk 2011 · Vis mer
Formal syntax and semantics of Java
Jim Alves-Foss (ed.)
Bok Engelsk 1999 · Vis mer
Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings
J. Sifakis (ed.)
Bok Engelsk 1990 · Vis mer
Rewriting techniques and applications : 5th international conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1993 · Vis mer
Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1991 · Vis mer
Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings
REX Workshop
Bok Engelsk 1990 · Vis mer
What price for eliminating expression side-effects?
Max Hailperin
Bok Engelsk · Vis mer