1179 search results - page 143 / 236 » Programming in Hybrid Constraint Languages |
119
click to vote
POPL
1997
ACM
15 years 5 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
PLDI
2000
ACM
15 years 5 months ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...
115
click to vote
ASIAN
2004
Springer
15 years 6 months ago
2004
Springer
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
100
click to vote
DEBU
1999
15 years 1 months ago
1999
WOL is a Horn-clause language for specifying transformations involving complex types and recursive data-structures. Its declarative syntax makes programs easy to modify in respons...
119
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...