200 search results - page 9 / 40 » Modular Reasoning in Object-Oriented Programming |
ENTCS
2007
15 years 4 months ago
2007
117
click to vote
CSMR
2008
IEEE
15 years 11 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...
134
click to vote
ECOOP
2011
Springer
14 years 4 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 ...
136
Voted
SAS
2004
Springer
15 years 10 months ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
284
click to vote
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...