Sciweavers

2136 search results - page 26 / 428

» A Game-Theoretic Operational Semantics

28

JAVA
1999
Springer

101views Programming Languages» more JAVA 1999»

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

14 years 3 days 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 »

21

JAVA
1999
Springer

92views Programming Languages» more JAVA 1999»

The Operational Semantics of a Java Secure Processor

14 years 3 days 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 »

17

AMAST
1997
Springer

108views Software Engineering» more AMAST 1997»

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

14 years 20 hour ago

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

Download www.dsi.uniroma1.it

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...

claim paper

Read More »

16

EGICE
2006

203views Applied Computing» more EGICE 2006»

Operative Models for the Introduction of Additional Semantics into the Cooperative Planning Process

13 years 11 months ago

Operative Models for the Introduction of Additional Semantics into the Cooperative Planning Process

Download imac.epfl.ch

Christian Koch, Berthold Firmenich

claim paper

Read More »

28

LICS
1998
IEEE

106views Automated Reasoning» more LICS 1998»

A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages

13 years 11 months ago

A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages

Download basics.sjtu.edu.cn

In this paper we describe the promoted tyft tyxt rule format for de ning higher-order languages. The rule format is a generalization of Groote and Vaandrager's tyft tyxt form...

Karen L. Bernstein

claim paper

Read More »

« Prev « First page 26 / 428 Last » Next »