Sciweavers

668 search results - page 3 / 134

» Operational semantics for multi-language programs

249

POPL
2007
ACM

110views Programming Languages» more POPL 2007»

Operational semantics for multi-language programs

16 years 6 months ago

Operational semantics for multi-language programs

Download www.eecs.northwestern.edu

Jacob Matthews, Robert Bruce Findler

claim paper

Read More »

167

JAVA
1999
Springer

101views Programming Languages» more JAVA 1999»

An Event-Based Structural Operational Semantics of Multi-Threaded Java

15 years 10 months ago

An Event-Based Structural Operational Semantics of Multi-Threaded Java

Download www.dsi.uniroma1.it

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...

claim paper

Read More »

138

JAVA
1999
Springer

92views Programming Languages» more JAVA 1999»

The Operational Semantics of a Java Secure Processor

15 years 10 months ago

The Operational Semantics of a Java Secure Processor

Download www.imamu.edu.sa

Pieter H. Hartel, Michael J. Butler, Moshe Levy

claim paper

Read More »

110

ICFP
2000
ACM

72views Programming Languages» more ICFP 2000»

An operational semantics for parallel lazy evaluation

15 years 10 months ago

An operational semantics for parallel lazy evaluation

Download www.macs.hw.ac.uk

Ï ÔÖ × ÒØ Ò ÓÔ Ö Ø ÓÒ Ð × Ñ ÒØ × ÓÖ Ô Ö ÐÐ Ð Ð ÞÝ Ú Ð¹ Ù Ø ÓÒ Ø Ø ÙÖ Ø ÐÝ ÑÓ Ð× Ø Ô Ö ÐÐ Ð Ú ÓÙÖ Ó Ø ÒÓÒ¹×ØÖ ...

Clement A. Baker-Finch, David J. King, Philip W. T...

claim paper

Read More »

175

ICLP
1995
Springer

151views Automated Reasoning» more ICLP 1995»

Operational Semantics of Constraint Logic Programs with Coroutining

15 years 10 months ago

Operational Semantics of Constraint Logic Programs with Coroutining

Download www.ps.uni-saarland.de

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

claim paper

Read More »

« Prev « First page 3 / 134 Last » Next »