simple sound rules | Sciweavers

LMCS
2006

119views more LMCS 2006»

Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages

13 years 4 months ago

We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps ...

Lars Birkedal, Noah Torp-Smith, Hongseok Yang

claim paper

Read More »

click to vote

LICS
2005
IEEE

153views Automated Reasoning» more LICS 2005»

Semantics of Separation-Logic Typing and Higher-Order Frame Rules

13 years 10 months ago

Download www.itu.dk

We show how to give a coherent semantics to programs that are well-speciﬁed in a version of separation logic for a language with higher types: idealized algol extended with heap...

Lars Birkedal, Noah Torp-Smith, Hongseok Yang

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers