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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
These notes are a companion to [1] which describe - the variable conditions that Smallfoot checks, - the analysis used to check… (More)
Is this relevant?
2011
2011
We have implemented a version of the Smallfoot shape analyzer, calling upon a paramodulation-based heap theorem prover. Our… (More)
Is this relevant?
2010
2010
External eastern areas of the Las Canadas caldera (LCC) of Tenerife (Canary Islands, Spain) have been investigated using the… (More)
  • 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… (More)
Is this relevant?
2008
2008
We present a new local Bouguer anomaly map of the Central Volcanic Complex (CVC) of Tenerife, Spain. The high-density core of the… (More)
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… (More)
  • table 1
Is this relevant?
2005
2005
Amr Abdel-Dayem, Laurentian University, Canada Tremeau Alain, University of Saint Etienne, France Vicente Alarcon-Aquino… (More)
Is this relevant?
Review
2002
Review
2002
  • NEWBERRY CALDERA
  • 2002
Newberry Volcano is a large shield volcano situated about 40 miles east of the Cascade crest in central Oregon (fig. 1). The… (More)
  • figure 1
  • figure 2
Is this relevant?
1985
1985
Eine zentrale Frage jeder Evolutionstheorie ist die Speicherung chemischer Energie in Materie auf der frfihen Erde, eine weitere… (More)
Is this relevant?
1970
1970
There is a re la t ionship between seas , evolution and images of continuing creat ion i n English-Canadian poetry. The seas of t… (More)
Is this relevant?