8109 search results - page 179 / 1622 » A Model of Component-Based Programming |
131
click to vote
ICFP
2003
ACM
15 years 10 months ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...
119
Voted
IJCAI
2007
15 years 6 months ago
2007
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
138
click to vote
CIA
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Progra...
147
click to vote
JBCS
2002
15 years 4 months ago
2002
Component Based Development (CBD) aims at constructing software through the integration, using interfaces and contracts, between pre-existing components. The main goal of this wor...
136
Voted
CISIS
2010
IEEE
15 years 10 months ago
2010
IEEE
- The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid...