1226 search results - page 77 / 246 » Proofs, Programs and Abstract Complexity |
121
click to vote
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
106
click to vote
AML
2007
15 years 3 months ago
2007
Abstract. This research is motivated by the program of Reverse Mathematics. We investigate basic part of complex analysis within some weak subsystems of second order arithmetic, in...
122
Voted
SAS
2010
Springer
15 years 1 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
130
Voted
SAMOS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper, we present a particularly lightweight, integrative approach to programming and executing applications targeting heterogeneous, dynamically reconfigurable ...
147
Voted
FOSSACS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Some decision problems related to balanced context-free languages are important for their application to the static analysis of programs generating XML strings. One such ...