1776 search results - page 241 / 356 » Using a Logic Programming Language with Persistence and Cont... |
123
click to vote
TLDI
2005
ACM
15 years 8 months ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
105
click to vote
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
132
click to vote
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
118
click to vote
IR
2007
15 years 3 months ago
2007
Documents formatted in eXtensible Markup Language (XML) are available in collections of various document types. In this paper, we present an approach for the summarisation of XML d...
141
click to vote
WWW
2003
ACM
16 years 3 months ago
2003
ACM
This paper presents the notion of Semantic Associations as complex relationships between resource entities. These relationships capture both a connectivity of entities as well as ...