3713 search results - page 404 / 743 » Constructing a Calculus of Programs |
171
click to vote
ICALP
1994
Springer
15 years 8 months ago
1994
Springer
A hash table is a representation of a set in a linear size data structure that supports constanttime membership queries. We show how to construct a hash table for any given set of...
129
click to vote
ECOOP
1992
Springer
15 years 8 months ago
1992
Springer
The design of many popular object-oriented languages like Smalltalk, Eiffel, or Sather follows a certain trend: The class is the only structuring form. In this paper, the need for ...
139
click to vote
FC
2010
Springer
15 years 8 months ago
2010
Springer
We present the first sound program source transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsa...
133
click to vote
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
We present a modal language for distributed computation which addresses the safety of mobile values as well as mobile code. The safety of mobile code is achieved with the modality...
149
click to vote
CP
2004
Springer
15 years 8 months ago
2004
Springer
Many combinatorial (optimisation) problems have natural models based on, or including, set variables and set constraints. This was already known to the constraint programming commu...