1675 search results - page 127 / 335 » Some thoughts on teaching programming and programming langua... |
153
Voted
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
126
Voted
ICFP
1999
ACM
15 years 9 months ago
1999
ACM
Many properties of parametric, polymorphic functions can be determined simply by inspection of their types. Such results are usually proven using Reynolds's parametricity the...
173
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Writes via unchecked pointer dereferences rank high among vulnerabilities most often exploited by malicious code. The most common attacks use an unchecked string copy to cause a b...
141
click to vote
LPAR
2001
Springer
15 years 9 months ago
2001
Springer
When it comes to building robot controllers, highlevel programming arises as a feasible alternative to planning. The task then is to verify a high-level program by finding a lega...
164
click to vote
PASTE
2010
ACM
15 years 8 months ago
2010
ACM
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...