3595 search results - page 206 / 719 » Roles of Program Extension |
184
click to vote
ICALP
1992
Springer
15 years 9 months ago
1992
Springer
This paper defines a probabilistic barbed congruence which turns out to coincide with observational equivalence in a probabilistic extension of CCS. Based on this coincidence resu...
103
Voted
IFIP
1992
Springer
15 years 9 months ago
1992
Springer
On initiative of the Commission of the European Communities, the Information Technology Security Evaluation Criteria (ITSEC) are designed to provide a yardstick for the evaluation...
122
click to vote
FPCA
1991
15 years 8 months ago
1991
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions...
155
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
We present a technique for higher-order representation of substructural logics such as linear or modal logic. We show that such logics can be encoded in the (ordinary) Logical Fra...
115
click to vote
AOSD
2004
ACM
15 years 10 months ago
2004
ACM
Although aspect-oriented programming (AOP) is becoming widely used, the design of the pointcut language and the generic and reusable description of advice are still research topic...