Search Sciweavers | Sciweavers

2108 search results - page 26 / 422

» An Operational Semantics for Stateflow

click to vote

FM
2005
Springer

81views Formal Methods» more FM 2005»

Operational Semantics for Model Checking Circus

15 years 3 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

15 years 3 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 3 months 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

15 years 3 months ago

Download akira.ruc.dk

Jørgen Villadsen

claim paper

Read More »

click to vote

CP
2003
Springer

99views Artificial Intelligence» more CP 2003»

Toy(FD): Sketch of Operational Semantics

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers