1320 search results - page 173 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
225
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
109
Voted
ICFP
2001
ACM
16 years 3 months ago
2001
ACM
It is possible to translate code written in Emacs Lisp or another Lisp dialect which uses dynamic scoping to a more modern programming language with lexical scoping while largely ...
135
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
169
Voted
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
147
Voted
POPL
2010
ACM
16 years 26 days ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...