1559 search results - page 59 / 312 » Fundamentals of Generic Programming |
179
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
142
click to vote
JASIS
2006
15 years 6 months ago
2006
This article describes the latest development of a generic approach to detecting and visualizing emerging trends and transient patterns in scientific literature. The work makes su...
182
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
151
click to vote
IJCAI
2001
15 years 7 months ago
2001
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...
178
click to vote
IROS
2008
IEEE
16 years 15 days ago
2008
IEEE
— We present a probabilistic architecture for solving generically the problem of extracting the task constraints through a Programming by Demonstration (PbD) framework and for ge...