2111 search results - page 107 / 423 » How to Program Pervasive Systems |
130
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
122
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The social and economic importance of large bodies of programs and data that are potentially long-lived has attracted much attention in the commercial and research communities. Her...
135
click to vote
LOPSTR
2009
Springer
15 years 9 months ago
2009
Springer
We show how to combine the two most powerful approaches for automated termination analysis of logic programs (LPs): the direct approach which operates directly on LPs and the trans...
125
click to vote
JAR
2007
15 years 3 months ago
2007
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to u...
119
click to vote
JCP
2007
15 years 3 months ago
2007
— It is difficult for a student to learn about programs and to understand the rational that went into the development of the parts that led to the whole. Tools for explaining thi...