TPHOL
2008
IEEE
14 years 6 months ago
2008
IEEE
TPHOL
2008
IEEE
14 years 6 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
TPHOL
2008
IEEE
14 years 6 months ago
2008
IEEE
Abstract. Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which co...
TPHOL
2008
IEEE
14 years 6 months ago
2008
IEEE
TPHOL
2008
IEEE
14 years 6 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
SBSC
2008
IEEE
14 years 6 months ago
2008
IEEE
The world globalization process, the increasing demand for communication and information technologies create a demand for collaborative applications. Aiming at supporting communic...
SBSC
2008
IEEE
14 years 6 months ago
2008
IEEE
SBRN
2008
IEEE
14 years 6 months ago
2008
IEEE
The automation of the categorization of economic activities from business descriptions in free text format is a huge challenge for the Brazilian governmental administration in the...
SBRN
2008
IEEE
14 years 6 months ago
2008
IEEE
In automated multi-label text categorization, an automatic categorization system should output a category set, whose size is unknown a priori, for each document under analysis. Ma...
SBRN
2008
IEEE
14 years 6 months ago
2008
IEEE
The design of an autonomous navigation system for mobile robots can be a tough task. Noisy sensors, unstructured environments and unpredictability are among the problems which mus...