5096 search results - page 374 / 1020 » Associations as a Language Construct |
192
Voted
PLPV
2009
ACM
16 years 3 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
194
Voted
ASPLOS
2006
ACM
16 years 25 days ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
194
click to vote
AOSD
2007
ACM
15 years 11 months ago
2007
ACM
One of the main issues in modern aspect-oriented programming languages and frameworks is the expressiveness of the pointcut language or mechanism. The expressiveness of pointcut l...
181
Voted
PLDI
2003
ACM
16 years 3 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
147
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Exception handling patterns can raise the abstraction level of processes, facilitating their writing and understanding. In this paper, we identify several useful, general purpose e...