2501 search results - page 263 / 501 » Obligations and Their Interaction with Programs |
171
Voted
PPDP
2007
Springer
16 years 8 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
212
click to vote
CASES
2006
ACM
16 years 4 days ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
167
click to vote
ESCIENCE
2005
IEEE
15 years 11 months ago
2005
IEEE
GridXSLT is an implementation of the XSLT programming language designed for distributed web service orchestration. Based on the functional semantics of the language, it compiles p...
160
Voted
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
General purpose object-oriented programs typically aren’t embarrassingly parallel. For these applications, finding enough concurrency remains a challenge in program design. To ...
251
click to vote
ASPLOS
2009
ACM
16 years 6 months ago
2009
ACM
Abstract: Modeling the interactions of biological molecules, or docking, is critical to both understanding basic life processes and to designing new drugs. Here we describe the GPU...