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)

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… 
2012
2012
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its… 
2009
2009
Separation logic is a recent approach to the analysis of pointer programs in which resource separation is expressed with a… 
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… 
2009
2009
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on… 
2008
2008
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not… 
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… 
2007
2007
We are interested in modular static analysis to analyse softwares automatically. We focus on programs with data structures, and… 
Review
2005
Review
2005
Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot… 
2004
2004
Eine zentrale Frage jeder Evolutionstheorie ist die Speicherung chemischer Energie in Materie auf der frfihen Erde, eine weitere…