Search Sciweavers | Sciweavers

2173 search results - page 26 / 435

» An operational semantics for skeletons

click to vote

TGC
2007
Springer

105views Applied Computing» more TGC 2007»

Extending Operational Semantics of the Java Bytecode

14 years 1 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

14 years 1 months ago

Download www.cs.york.ac.uk

Jim Woodcock, Ana Cavalcanti, Leonardo Freitas

claim paper

Read More »

click to vote

RTA
2005
Springer

95views Theoretical Computer Science» more RTA 2005»

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

14 years 1 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

14 years 29 days ago

Download www.ecs.fullerton.edu

Peter D. Mosses

claim paper

Read More »

click to vote

AGP
2003
IEEE

127views Artificial Intelligence» more AGP 2003»

Operational Semantics of an Imperative Language in Definite Clauses

14 years 25 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers