479 search results - page 27 / 96 » On Static Properties of Specialized Programs |
131
click to vote
ICLP
1992
Springer
15 years 4 months ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
103
Voted
JLP
2010
14 years 7 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
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...
121
click to vote
RV
2010
Springer
14 years 10 months ago
2010
Springer
A product line is a family of programs where each program is defined by a unique combination of features. Product lines, like conventional programs, can be checked for safety prope...
122
Voted
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In the implementation of procedures, developers often assume that the input satisfies certain properties; for example, binary search assumes the array to be sorted. Such...