2297 search results - page 150 / 460 » Production of Large Computer Programs |
147
click to vote
ISORC
2006
IEEE
15 years 8 months ago
2006
IEEE
Alias analysis is a method for extracting sets of expressions which may possibly refer to the same memory locations during program execution. Although many researchers have alread...
145
click to vote
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
253
click to vote
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
112
click to vote
CSMR
2007
IEEE
15 years 8 months ago
2007
IEEE
Static program slicing is often proposed for software maintenance-related tasks. Due to different causes static slices are in many cases overly conservative and hence too large to...
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Many employers now provide electronic personal health records (PHR) to employees as part of a free or low cost health benefit program. This paper reports findings from a survey di...