10870 search results - page 455 / 2174 » Model Checking Programs |
235
click to vote
HOTOS
2007
IEEE
15 years 11 months ago
2007
IEEE
Program comments have long been used as a common practice for improving inter-programmer communication and code readability, by explicitly specifying programmers' intentions ...
178
click to vote
ECOOP
2007
Springer
16 years 1 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 ...
184
click to vote
PPAM
2007
Springer
16 years 1 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ļ¬...
218
click to vote
SAINT
2006
IEEE
16 years 1 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...
209
click to vote
TPHOL
2007
IEEE
16 years 1 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...