8132 search results - page 228 / 1627 » Dependability, Abstraction, and Programming |
168
click to vote
OWLED
2007
15 years 8 months ago
2007
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...
209
click to vote
PC
2002
15 years 6 months ago
2002
riented programming, design patterns, and frameworks are abstraction techniques that have been used to reduce the complexity of sequential programming. This paper describes our ap...
220
Voted
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
We propose program fields, a formal representation for groups of related programs, as a new abstraction to support future software engineering research in several areas. We will d...
161
Voted
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we explore the idea that the code that constitutes a program actually forms a higher-level, program specific language. The symbols of the language are the abstracti...
167
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Automatic program specialization can derive efficient implementations from generic components, thus reconciling the often opposing goals of genericity and efficiency. Thi...