2604 search results - page 93 / 521 » General constant expressions for system programming language... |
132
Voted
UAI
2003
15 years 5 months ago
2003
Abstract. In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or existentially quantified variables, are represent...
212
Voted
POPL
2004
ACM
16 years 4 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
162
Voted
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Aspect-Oriented Programming (AOP) has been proposed as a methodology that provides new modularization of software systems by allowing encapsulation of cross-cutting concerns. Aspe...
119
Voted
PERCOM
2007
ACM
16 years 3 months ago
2007
ACM
Sensor networks are one important building block towards the realisation of context-aware applications. Suitable communication protocols and middleware solutions are necessary to ...
103
Voted
CIE
2007
Springer
15 years 10 months ago
2007
Springer
The interest is in characterizing insightfully the power of program self-reference in effective programming systems (epses), the computability-theoretic analogs of programming lan...