1179 search results - page 154 / 236 » Programming in Hybrid Constraint Languages |
TLDI
2003
ACM
15 years 6 months ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
176
click to vote
POPL
2002
ACM
16 years 1 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
147
click to vote
AOSD
2011
ACM
14 years 8 months ago
2011
ACM
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...
115
click to vote
CONCURRENCY
2000
15 years 1 months ago
2000
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory. This chapter is hard to interpret and po...
ACSC
2006
IEEE
15 years 7 months ago
2006
IEEE
Incorporating constraints into a reactive BDI agent programming language can lead to better expressive capabilities as well as more efficient computation (in some instances). More...