959 search results - page 55 / 192 » Fundamental Concepts in Programming Languages |
117
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
116
Voted
TOSEM
2002
15 years 3 months ago
2002
A "refinement" is a functionality addition to a software project that can affect multiple dispersed implementation entities (functions, classes, etc.). In this paper, we...
127
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The social and economic importance of large bodies of programs and data that are potentially long-lived has attracted much attention in the commercial and research communities. Her...
104
click to vote
LREC
2010
15 years 5 months ago
2010
This paper describes the Language Technology Resource Center (LTRC), a U.S. Government website for providing information and tools for users of languages (e.g., translators, analy...
118
click to vote
SAIG
2000
Springer
15 years 7 months ago
2000
Springer
The phrase optimal program specialization" was de ned by Jones et al. in 1993 to capture the idea of a specializer being strong enough to remove entire layers of interpretatio...