200 search results - page 9 / 40 » Modular Reasoning in Object-Oriented Programming |
ENTCS
2007
13 years 9 months ago
2007
CSMR
2008
IEEE
14 years 4 months ago
2008
IEEE
Aspect Oriented Programming (AOP) has been proposed as a new programming paradigm. The originality in AOP is the aspect, a single modularization unit for all those functionalities...
ECOOP
2011
Springer
12 years 9 months ago
2011
Springer
Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-oriented programming languages allow the programmer to explicitly ...
SAS
2004
Springer
14 years 3 months ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...