Search Sciweavers | Sciweavers

2678 search results - page 56 / 536

» Operational Semantics of Transactions

click to vote

CP
2003
Springer

99views Artificial Intelligence» more CP 2003»

Toy(FD): Sketch of Operational Semantics

15 years 9 months ago

Download www.lcc.uma.es

Antonio J. Fernández, Maria Teresa Hortal&a...

claim paper

Read More »

click to vote

ICFP
2000
ACM

72views Programming Languages» more ICFP 2000»

An operational semantics for parallel lazy evaluation

15 years 8 months ago

Download www.macs.hw.ac.uk

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

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

claim paper

Read More »

139

click to vote

JAVA
1999
Springer

101views Programming Languages» more JAVA 1999»

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

15 years 8 months ago

Download www.dsi.uniroma1.it

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...

claim paper

Read More »

114

click to vote

JAVA
1999
Springer

92views Programming Languages» more JAVA 1999»

The Operational Semantics of a Java Secure Processor

15 years 8 months ago

Download www.imamu.edu.sa

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

claim paper

Read More »

111

click to vote

AMAST
1997
Springer

108views Software Engineering» more AMAST 1997»

From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers