Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

4 relations
List of Linux distributionsPoint of saleRapid application developmentTcl

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Verification Condition Generation and Variable Conditions in Smallfoot
These notes are a companion to [1] which describe - the variable conditions that Smallfoot checks, - the analysis used to check… 
2011
2011
Specification Patterns and Proofs for Recursion through the Store
Higher-order store means that code can be stored on the mutable heap that programs manipulate, and is the basis of flexible… 
2010
2010
Conductive structures around Las Cañadas caldera, Tenerife (Canary Islands, Spain): a structural control
External eastern areas of the Las Canadas caldera (LCC) of Tenerife (Canary Islands, Spain) have been investigated using the… 
2009
2009
Automatic Parallelization and Optimization of Programs by Proof Rewriting
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its… 
2009
2009
Verification of unloadable C modules - Soundness proof
C programs may dynamically load and unload modules. For example, some operating system kernels support dynamic loading and… 
2008
2008
Resource Reasoning about Mashups
. The growing “mashup” phenomenon involves websites using scripting languages alongside data to create complex applications that… 
2006
2006
Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Review
2002
Review
2002
Newberry Caldera, Oregon: a Preliminary Report
Newberry Volcano is a large shield volcano situated about 40 miles east of the Cascade crest in central Oregon (fig. 1). The… 
1985
1985
Hydrothermale Kondensation von Magnesium-hydrogenphosphaten zu Magnesiumdiphosphaten
Eine zentrale Frage jeder Evolutionstheorie ist die Speicherung chemischer Energie in Materie auf der frfihen Erde, eine weitere… 
1970
1970
Seas : evolution and images of continuing creation in English-Canadian poetry. --
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… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)