Search Sciweavers | Sciweavers

5451 search results - page 73 / 1091

» Typed Operational Semantics

click to vote

LICS
2007
IEEE

85views Automated Reasoning» more LICS 2007»

Bialgebraic Operational Semantics and Modal Logic

15 years 8 months ago

Download www.mimuw.edu.pl

Bartek Klin

claim paper

Read More »

Voted

TGC
2007
Springer

105views Applied Computing» more TGC 2007»

Extending Operational Semantics of the Java Bytecode

15 years 8 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 8 months ago

Download www.cs.york.ac.uk

Jim Woodcock, Ana Cavalcanti, Leonardo Freitas

claim paper

Read More »

101

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

Download homepages.inf.ed.ac.uk

Alex K. Simpson

claim paper

Read More »

Voted

SAC
2004
ACM

88views Applied Computing» more SAC 2004»

Exploiting labels in Structural Operational Semantics

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers