8109 search results - page 275 / 1622 » A Model of Component-Based Programming |
152
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
The concept of homogeneous multi-adjoint logic program is introduced, and a procedure to homogenize an arbitrary multi-adjoint logic program is presented. The procedure is proved ...
196
click to vote
ENTCS
2006
15 years 6 months ago
2006
A logic for reasoning about states of basic quantum imperative programs is presented. The models of the logic are ensembles obtained by attaching probabilities to pairs of quantum...
186
click to vote
JISE
2008
15 years 6 months ago
2008
abstract the state-based behavior of AOP program with the consideration of the interactions between the base modules and aspects. Based on the model, test cases can be derived so a...
293
click to vote
ECOOP
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. The information of execution frequencies of virtual call targets is valuable for program analyses and optimizations of object-oriented programs. However, to obtain this i...
162
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...