540 search results - page 58 / 108 » Protection in Programming-Language Translations |
141
click to vote
ASPLOS
2009
ACM
15 years 7 months ago
2009
ACM
As our society becomes more information-driven, we have begun to amass data at an astounding and accelerating rate. At the same time, power concerns have made it difficult to brin...
129
click to vote
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Source code querying tools allow programmers to explore relations between different parts of the code base. This paper describes such a tool, named CodeQuest. It combines...
122
click to vote
SAIG
2000
Springer
15 years 6 months ago
2000
Springer
When writing a program generator requires considerable intellectual effort, it is valuable to amortize that effort by using the generator to build more than one application. When ...
133
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
133
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...