8109 search results - page 87 / 1622 » A Model of Component-Based Programming |
112
Voted
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
PPAM
2007
Springer
15 years 8 months ago
2007
Springer
There are several parallel programming models available for numerical computations at diļ¬erent levels of expressibility and ease of use. For the development of new domain speciļ¬...
132
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic veriļ¬cation of software using model checkers from the state space exp...
133
Voted
SAINT
2006
IEEE
15 years 8 months ago
2006
IEEE
1 Establishing suitable programming models for pervasive spaces is essential in improving the productivity, enhancing the quality of pervasive systems, and creating an open platfor...
120
click to vote
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the speciļ¬cation and veriļ¬cation of software. We are interested in the veriļ¬cation of real programs, wr...