13 search results - page 1 / 3 » aplas 2003 |
APLAS
2003
ACM
15 years 11 months ago
2003
ACM
113
click to vote
APLAS
2003
ACM
2003
ACM
Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver
15 years 11 months ago
131
Voted
APLAS
2003
ACM
15 years 9 months ago
2003
ACM
164
Voted
APLAS
2003
ACM
15 years 9 months ago
2003
ACM
A dataflow-based pointcut is proposed for aspect-oriented programming (AOP) languages. The pointcut specifies where aspects should be applied based on the origins of values. It is ...
128
Voted
APLAS
2003
ACM
15 years 11 months ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...