Sciweavers

2135 search results - page 29 / 427

» An Operational Semantics for JavaScript

21

JAVA
1999
Springer

92views Programming Languages» more JAVA 1999»

The Operational Semantics of a Java Secure Processor

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

17

AMAST
1997
Springer

108views Software Engineering» more AMAST 1997»

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

13 years 12 months 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 »

22

CHARME
1995
Springer

66views Hardware» more CHARME 1995»

Reasoning about VHDL using operational and observational semantics

13 years 11 months ago

Reasoning about VHDL using operational and observational semantics

Download homepages.inf.ed.ac.uk

Kees G. W. Goossens

claim paper

Read More »

« Prev « First page 29 / 427 Last » Next »