Sciweavers

668 search results - page 3 / 134
» Operational semantics for multi-language programs
Sort
View
JAVA
1999
Springer
13 years 10 months ago
An Event-Based Structural Operational Semantics of Multi-Threaded Java
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...
JAVA
1999
Springer
13 years 10 months ago
The Operational Semantics of a Java Secure Processor
Pieter H. Hartel, Michael J. Butler, Moshe Levy
ICFP
2000
ACM
13 years 11 months ago
An operational semantics for parallel lazy evaluation
Ï ÔÖ × ÒØ Ò ÓÔ Ö Ø ÓÒ Ð × Ñ ÒØ × ÓÖ Ô Ö ÐÐ Ð Ð ÞÝ Ú Ð¹ Ù Ø ÓÒ Ø Ø ÙÖ Ø ÐÝ ÑÓ Ð× Ø Ô Ö ÐÐ Ð Ú ÓÙÖ Ó Ø ÒÓÒ¹×ØÖ ...
Clement A. Baker-Finch, David J. King, Philip W. T...
ICLP
1995
Springer
13 years 10 months ago
Operational Semantics of Constraint Logic Programs with Coroutining
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
Andreas Podelski, Gert Smolka