3516 search results - page 387 / 704 » Programming Languages: Application and Interpretation |
199
click to vote
ESCIENCE
2005
IEEE
16 years 10 days 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...
167
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
164
click to vote
EMSOFT
2007
Springer
16 years 27 days ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
183
click to vote
HASKELL
2008
ACM
15 years 7 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
203
click to vote
POPL
1997
ACM
15 years 11 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...