926 search results - page 166 / 186 » Prolog as the First Programming Language |
157
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
127
click to vote
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineeri...
118
click to vote
ICALP
2003
Springer
15 years 7 months ago
2003
Springer
Recently, Fabrikant, Koutsoupias and Papadimitriou [7] introduced a natural and beautifully simple model of network growth involving a trade-off between geometric and network obje...
125
Voted
IFIP
2003
Springer
15 years 7 months ago
2003
Springer
The Java Message Service (JMS) provides a standard asynchronous messaging API, which simplifies the construction of loosely coupled, distributed applications. This paper describes ...
109
click to vote
ADAEUROPE
2001
Springer
15 years 6 months ago
2001
Springer
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...