Search Sciweavers | Sciweavers

2135 search results - page 27 / 427

» An Operational Semantics for JavaScript

click to vote

TRUSTBUS
2009
Springer

142views Security Privacy» more TRUSTBUS 2009»

Operational Semantics for DKAL: Application and Analysis

14 years 2 months ago

Download research.microsoft.com

DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...

Yuri Gurevich, Arnab Roy

claim paper

Read More »

click to vote

LICS
2007
IEEE

85views Automated Reasoning» more LICS 2007»

Bialgebraic Operational Semantics and Modal Logic

14 years 2 months ago

Download www.mimuw.edu.pl

Bartek Klin

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers