Search Sciweavers | Sciweavers

2678 search results - page 55 / 536

» Operational Semantics of Transactions

click to vote

TGC
2007
Springer

105views Applied Computing» more TGC 2007»

Extending Operational Semantics of the Java Bytecode

15 years 10 months ago

Download www.mimuw.edu.pl

Patryk Czarnik, Aleksy Schubert

claim paper

Read More »

click to vote

FM
2005
Springer

81views Formal Methods» more FM 2005»

Operational Semantics for Model Checking Circus

15 years 9 months ago

Download www.cs.york.ac.uk

Jim Woodcock, Ana Cavalcanti, Leonardo Freitas

claim paper

Read More »

116

click to vote

RTA
2005
Springer

95views Theoretical Computer Science» more RTA 2005»

Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics

15 years 9 months ago

Download homepages.inf.ed.ac.uk

Alex K. Simpson

claim paper

Read More »

click to vote

SAC
2004
ACM

88views Applied Computing» more SAC 2004»

Exploiting labels in Structural Operational Semantics

15 years 9 months ago

Download www.ecs.fullerton.edu

Peter D. Mosses

claim paper

Read More »

117

click to vote

AGP
2003
IEEE

127views Artificial Intelligence» more AGP 2003»

Operational Semantics of an Imperative Language in Definite Clauses

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers