Skip to search formSkip to main contentSkip to account menu
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.
2012
2012
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its… Expand
  • table 8
2010
2010
External eastern areas of the Las Canadas caldera (LCC) of Tenerife (Canary Islands, Spain) have been investigated using the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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
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
2009
2009
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on… Expand
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
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
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
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
Review
2002
Review
2002
Newberry Volcano is a large shield volcano situated about 40 miles east of the Cascade crest in central Oregon (fig. 1). The… Expand
  • figure 1
  • figure 2