926 search results - page 96 / 186 » Prolog as the First Programming Language |
128
click to vote
GPCE
2007
Springer
15 years 8 months ago
2007
Springer
Large scale software is composed of libraries produced by different entities. Non-intrusive and efficient mechanisms for adapting data structures from one library to conform to AP...
243
click to vote
ICDE
2008
IEEE
16 years 6 months ago
2008
IEEE
In this work we look at combining emerging technologies in programming languages with traditional query processing techniques to provide support for efficient execution of declarat...
111
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...
231
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
128
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
Software libraries rely increasingly on iterators to provide generic traversal of data structures. These iterators can be represented either as objects that maintain state or as p...