2777 search results - page 234 / 556 » Example centric programming |
114
click to vote
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
135
click to vote
ICALP
1998
Springer
15 years 8 months ago
1998
Springer
We generate a natural hierarchy of equivalences for asynchronous name-passing process calculi from simple variations on Milner and Sangiorgi's definition of weak barbed bisim...
116
click to vote
SIGADA
1998
Springer
15 years 8 months ago
1998
Springer
Despite substantial research on methods and tools for testing reusable modules, little help is available for the tester in the eld. Commercial tools for system testing are widely ...
137
click to vote
PLDI
1997
ACM
15 years 8 months ago
1997
ACM
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
112
click to vote
POPL
1997
ACM
15 years 8 months ago
1997
ACM
We investigateparametric polymorphism in message-basedconcurrentprogramming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambdacal...