224
click to vote
PEPM
10 years 16 days ago
2016 ACM 
Constructing parsers based on declarative specification of operator precedence is a very old research topic, and there are various existing approaches. However, these approaches ...
123
click to vote
PEPM
10 years 16 days ago
2016 ACM 
This paper relates 2-level λ-calculus and staged λ-calculus (restricted to 2 stages) to obtain monovariant binding-time analysis for λ-calculus that produces the output in the ...
122
click to vote
PEPM
10 years 16 days ago
2016 ACM
Staging is a program generation paradigm with a clean, wellinvestigated semantics which statically ensures that the generated code is always well-typed and well-scoped. Staging is...
133
click to vote
PEPM
10 years 16 days ago
2016 ACM
Generic programming libraries such as Scrap Your Boilerplate eliminate the need to write repetitive code, but typically introduce significant performance overheads. This leaves p...
|
Software Engineering