4880 search results - page 105 / 976 » Manuals as Structured Programs |
222
click to vote
POPL
1999
ACM
15 years 7 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
136
Voted
FUIN
2006
15 years 3 months ago
2006
Wadler's deforestation algorithm eliminates intermediate data structures from functional programs. To be suitable for inclusion in a compiler, it must terminate on all progra...
116
Voted
CSMR
2005
IEEE
15 years 9 months ago
2005
IEEE
Building reverse engineering or reengineering tools often requires parsers for many different programming languages. The diffusion of dialects and variants makes many available pa...
138
click to vote
ACL
2003
15 years 4 months ago
2003
A central problem of word sense disambiguation (WSD) is the lack of manually sense-tagged data required for supervised learning. In this paper, we evaluate an approach to automati...
115
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: We introduce GASH, a new, publicly accessible program for structural alignment and superposition. Alignments are scored by the Number of Equivalent Residues (NER), a q...