678 search results - page 33 / 136 » Dependent Types for Program Understanding |
80
Voted
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Implicit invocation (II) and aspect-oriented (AO) languages provide related but distinct mechanisms for separation of concerns. II languages have explicitly announced events that r...
117
Voted
PADL
2004
Springer
15 years 7 months ago
2004
Springer
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
140
click to vote
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
Partial evaluation aims to improve the efficiency of a program by specialising it with respect to some known inputs. In this paper, we show that partial evaluation can be an effec...
100
Voted
COLING
1992
15 years 3 months ago
1992
A formal treatment of typed feature structures (TFSs) is developed to augment TFSs, so that negative descriptions of them can be treated. Negative descriptions of TFSs can make li...
128
Voted
JUCS
2006
15 years 2 months ago
2006
: Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful ...