558 search results - page 66 / 112 » Compiling Resources in a Linear Logic Programming Language |
130
click to vote
PDPTA
1997
15 years 1 months ago
1997
Abstract In future, parallel and distributed computing paradigms will replace nowadays predominant sequential and centralized ones. Facing the challenge to support the construction...
202
click to vote
POPL
2006
ACM
16 years 23 days ago
2006
ACM
C++ templates are key to the design of current successful mainstream libraries and systems. They are the basis of programming techniques in diverse areas ranging from conventional...
117
click to vote
KRDB
2003
15 years 1 months ago
2003
The Polylog framework is designed to provide a language for efficiently automating complex queries of information represented in multiple formats. A Polylog program contains a set...
78
Voted
CCS
2004
ACM
15 years 5 months ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
188
Voted
POPL
2005
ACM
16 years 23 days ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...