397 search results - page 74 / 80 » Optimizing Modular Logic Languages |
163
Voted
ICFEM
2009
Springer
15 years 14 days ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
149
Voted
TLDI
2005
ACM
15 years 8 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
126
Voted
SIGSOFT
2010
ACM
15 years 17 days ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
149
Voted
PASTE
2010
ACM
15 years 6 months ago
2010
ACM
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
136
Voted
DEBS
2010
ACM
15 years 5 months ago
2010
ACM
Operator-based programming languages provide an effective development model for large scale stream processing applications. A stream processing application consists of many runtim...