487 search results - page 21 / 98 » A Compiled Implementation of Normalization by Evaluation |
LCTRTS
2000
Springer
15 years 3 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
214
click to vote
Lecture Notes
The Lecture notes covers database architecture, design, administration, and implementation. Evaluation and use of database-management systems for computers, with emphasis on microc...
148
click to vote
PEPM
2011
ACM
14 years 2 months ago
2011
ACM
The performance of many dynamic language implementations suffers from high allocation rates and runtime type checks. This makes dynamic languages less applicable to purely algorit...
102
click to vote
PADL
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In aspect-oriented programming, pointcuts are usually compiled by identifying a set of shadows — that is, places in the code whose execution is potentially relevant for...
ACNS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Two-party Secure Function Evaluation (SFE) is a very useful cryptographic tool which allows two parties to evaluate a function known to both parties on their private (sec...