Sciweavers

668 search results - page 3 / 134
» Operational semantics for multi-language programs
Sort
View
155
Voted
POPL
2007
ACM
15 years 10 months ago
Operational semantics for multi-language programs
Jacob Matthews, Robert Bruce Findler
93
Voted
JAVA
1999
Springer
15 years 2 months ago
An Event-Based Structural Operational Semantics of Multi-Threaded Java
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...
60
Voted
JAVA
1999
Springer
15 years 2 months ago
The Operational Semantics of a Java Secure Processor
Pieter H. Hartel, Michael J. Butler, Moshe Levy
ICFP
2000
ACM
15 years 2 months ago
An operational semantics for parallel lazy evaluation
Ï ÔÖ × ÒØ Ò ÓÔ Ö Ø ÓÒ Ð × Ñ ÒØ × ÓÖ Ô Ö ÐÐ Ð Ð ÞÝ Ú Ð¹ Ù Ø ÓÒ Ø Ø ÙÖ Ø ÐÝ ÑÓ Ð× Ø Ô Ö ÐÐ Ð Ú ÓÙÖ Ó Ø ÒÓÒ¹×ØÖ ...
Clement A. Baker-Finch, David J. King, Philip W. T...
86
Voted
ICLP
1995
Springer
15 years 1 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