5228 search results - page 603 / 1046 » Case Studies for Software Engineers |
177
click to vote
PEPM
1998
ACM
15 years 11 months ago
1998
ACM
We show the evolution of partial evaluators over the past ten years from a particular perspective: the attempt to remove limits on the structure of residual programs that are inher...
177
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Boundary overflows are caused by violation of constraints, mostly limiting the range of internal values of a program, and can be provoked by an intruder to gain control of or acce...
204
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
206
click to vote
EUROMICRO
2007
IEEE
15 years 8 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
170
click to vote
VSTTE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper presents a method for deriving an expression from the lowlevel code compiled from an expression in a high-level language. The input is a low-level control flo...