Search Sciweavers | Sciweavers

2108 search results - page 26 / 422

» An Operational Semantics for Stateflow

102

click to vote

FM
2005
Springer

81views Formal Methods» more FM 2005»

Operational Semantics for Model Checking Circus

15 years 10 months ago

Download www.cs.york.ac.uk

Jim Woodcock, Ana Cavalcanti, Leonardo Freitas

claim paper

Read More »

120

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 10 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 10 months ago

Download www.ecs.fullerton.edu

Peter D. Mosses

claim paper

Read More »

120

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

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 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers