668 search results - page 77 / 134 » Operational semantics for multi-language programs |
146
click to vote
ICOST
2007
Springer
16 years 20 days ago
2007
Springer
This paper defines a new, context-driven programming model for pervasive spaces. Existing models are prone to conflict, as it is hard to predict the outcome of interleaved actions ...
180
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
193
click to vote
TPHOL
2005
IEEE
16 years 2 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
158
click to vote
FPCA
1989
15 years 10 months ago
1989
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “ob...
153
click to vote
SAS
2007
Springer
16 years 18 days ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...