Search Sciweavers | Sciweavers

Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...

Rafal Kolanski, Gerwin Klein

claim paper

Read More »

146

click to vote

AMCIS
2009
Springer

294views Business» more AMCIS 2009»

Generic Business Model Types for Enterprise Mashup Intermediaries

16 years 1 months ago

Download www.alexandria.unisg.ch

Volker Hoyer, Katarina Stanoevska-Slabeva

claim paper

Read More »

154

click to vote

CIE
2009
Springer

95views Applied Computing» more CIE 2009»

Computability of Continuous Solutions of Higher-Type Equations

16 years 1 months ago

Download www.cs.bham.ac.uk

Martín Hötzel Escardó

claim paper

Read More »

120

click to vote

CSL
2009
Springer

129views Automated Reasoning» more CSL 2009»

Forcing and Type Theory

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers