3311 search results - page 341 / 663 » Deductive Object Programming |
121
click to vote
POPL
1999
ACM
15 years 7 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
94
Voted
PADL
1999
Springer
15 years 7 months ago
1999
Springer
MCORBA is a binding to the CORBA distributed object framework for the purely declarative logic/functional language Mercury. The binding preserves the referential transparency of th...
129
Voted
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
AspectJ-like languages are currently ineffective at modularizing heterogeneous concerns that are tightly coupled to the source code of the base program, such as logging, invariant...
113
click to vote
EMO
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents results of extensive computational experiments in which evolutionary multiobjective algorithms were used to find Pareto-optimal solutions to a complex structura...
FMCO
2007
Springer
15 years 9 months ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...