707 search results - page 59 / 142 » Some Comments on the Coding of Programs |
151
Voted
POPL
2000
ACM
15 years 5 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
90
Voted
C3S2E
2008
ACM
15 years 2 months ago
2008
ACM
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...
108
click to vote
IH
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
81
Voted
ECLIPSE
2006
ACM
15 years 6 months ago
2006
ACM
This paper describes a state-of-the-art environment for distributed Extreme Programming that results from combining the Sangam editor, developed at NCSU and the Facetop user inter...
112
Voted
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...