387 search results - page 33 / 78 » Expressive programs through presentation extension |
TYPES
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Proof erasure plays an essential role in the paradigm of programming with theorem proving. In this paper, we introduce a form of attributive types that carry an attribute...
EUROCAST
2007
Springer
13 years 11 months ago
2007
Springer
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— A non-parametric, low-complexity algorithm for accurate and simultaneous localization of multiple sensors from scarce and imperfect ranging information is proposed. The techniq...
LPAR
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. Matching is a basic operation extensively used in computation. Second-order matching, in particular, provides an adequate environment for expressing program transformatio...
ENTCS
2007
13 years 7 months ago
2007
We are advocating a component-oriented software development approach that provides support for a clear separation between the computational and the compositional entities of an ap...