3311 search results - page 336 / 663 » Deductive Object Programming |
121
Voted
ISORC
1999
IEEE
15 years 7 months ago
1999
IEEE
CORBA is an emerging middleware infrastructure with open standardization that is receiving a good acceptance since it makes easier to program distributed objects. CORBA is being e...
128
click to vote
ESOP
1999
Springer
15 years 7 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
120
click to vote
COMPASS
1994
15 years 7 months ago
1994
ASL+ is a formalism for speci cation and programming in-the-large, based on an arbitrary institution. It has rules for proving the satisfaction and re nement of speci cations, whic...
121
click to vote
POPL
1993
ACM
15 years 7 months ago
1993
ACM
Static scoping embodies a strong encapsulation mechanism for hiding the details of program units. Yet, it does not allow the sharing of variable bindings locations across indepe...
142
click to vote
ICML
1989
IEEE
15 years 7 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...