Sciweavers

668 search results - page 3 / 134

» Operational semantics for multi-language programs

46

POPL
2007
ACM

110views Programming Languages» more POPL 2007»

Operational semantics for multi-language programs

14 years 6 months ago

Operational semantics for multi-language programs

Download www.eecs.northwestern.edu

Jacob Matthews, Robert Bruce Findler

claim paper

Read More »

18

JAVA
1999
Springer

101views Programming Languages» more JAVA 1999»

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

13 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 »

14

JAVA
1999
Springer

92views Programming Languages» more JAVA 1999»

The Operational Semantics of a Java Secure Processor

13 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 »

11

ICFP
2000
ACM

72views Programming Languages» more ICFP 2000»

An operational semantics for parallel lazy evaluation

13 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 »

15

ICLP
1995
Springer

151views Automated Reasoning» more ICLP 1995»

Operational Semantics of Constraint Logic Programs with Coroutining

13 years 9 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 »