801 search results - page 72 / 161 » The Core Language of Aldwych |
174
click to vote
ESOP
2006
Springer
15 years 9 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
267
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...
140
click to vote
ICFP
2003
ACM
16 years 5 months ago
2003
ACM
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
164
click to vote
OOPSLA
2009
Springer
16 years 7 days ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
159
click to vote
PPDP
2009
Springer
16 years 7 days ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...