Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Smallfoot

Known as: The SCO Group Smallfoot, Caldera Systems Smallfoot, SCO Smallfoot 
Smallfoot is the name of both a Rapid application development toolkit and an embedded operating system designed and released by Caldera Systems… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Deductive program verification is making fast progress these days. One of the reasons is a tremendous improvement of theorem… Expand
  • table 1
Is this relevant?
2012
2012
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its… Expand
  • table 8
Is this relevant?
2009
2009
Separation logic is a recent approach to the analysis of pointer programs in which resource separation is expressed with a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2009
2009
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2009
2009
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on… Expand
Is this relevant?
2008
2008
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not… Expand
  • figure 1
  • figure 4
Is this relevant?
Highly Cited
2008
Highly Cited
2008
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not… Expand
  • figure 2
  • figure 4
Is this relevant?
2007
2007
We are interested in modular static analysis to analyse softwares automatically. We focus on programs with data structures, and… Expand
  • figure 1.1
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
Is this relevant?
Review
2005
Review
2005
Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot… Expand
  • table 1
Is this relevant?