Search Sciweavers | Sciweavers

7124 search results - page 6 / 1425

» Programming Languages and Operating Systems

276

click to vote

POPL
2001
ACM

104views Programming Languages» more POPL 2001»

Stratified operational semantics for safety and correctness of the region calculus

16 years 8 months ago

Download www.doc.ic.ac.uk

Cristiano Calcagno

claim paper

Read More »

199

Voted

PPDP
2009
Springer

91views Programming Languages» more PPDP 2009»

Context-based proofs of termination for typed delimited-control operators

16 years 5 days ago

Download www.ii.uni.wroc.pl

We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...

Malgorzata Biernacka, Dariusz Biernacki

claim paper

Read More »

166

click to vote

ESOP
2007
Springer

136views Programming Languages» more ESOP 2007»

The Java Memory Model: Operationally, Denotationally, Axiomatically

16 years 1 months ago

Download www.pst.ifi.lmu.de

Pietro Cenciarelli, Alexander Knapp, Eleonora Sibi...

claim paper

Read More »

144

click to vote

IFIP
2001
Springer

66views Programming Languages» more IFIP 2001»

Levels of Abstraction in Maritime Maneuvering Operations

16 years 2 days ago

Download imv.au.dk

Johannes Petersen

claim paper

Read More »

184

Voted

APLAS
2001
ACM

111views Programming Languages» more APLAS 2001»

Dynamic Control Operators in Type Theory

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers