70 search results - page 2 / 14 » Reuse of SML module system for the B language |
JSS
2000
13 years 6 months ago
2000
The black-box reuse of library classes in the construction of an object-oriented (OO) application is dicult: the principle of information hiding may be violated if classes must kn...
ECOOP
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. We present F(Eml), a language that combines classes, extensible functions, symmetric multiple dispatching, and a practical system for parameterized modules. Parameterized...
PLDI
1998
ACM
13 years 11 months ago
1998
ACM
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
DATE
2002
IEEE
13 years 12 months ago
2002
IEEE
This paper gives an overview on a Virtual electronic component or IP (Intellectual Property) exchange infrastructure whose main components are a XML "well structured IP e-cat...