Sciweavers

13 search results - page 1 / 3

» aplas 2003

10

APLAS
2003
ACM

133views Programming Languages» more APLAS 2003»

Correctness of a Higher-Order Removal Transformation through a Relational Reasoning

13 years 10 months ago

Correctness of a Higher-Order Removal Transformation through a Relational Reasoning

Download www.is.titech.ac.jp

Susumu Nishimura

claim paper

Read More »

9

APLAS
2003
ACM

98views Programming Languages» more APLAS 2003»

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver

13 years 10 months ago

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver

Download www.normalesup.org

Vincent Simonet

claim paper

Read More »

8

APLAS
2003
ACM

96views Programming Languages» more APLAS 2003»

Expressive Synchronization Types for Inheritance in the Join Calculus

13 years 8 months ago

Expressive Synchronization Types for Inheritance in the Join Calculus

Download hal.archives-ouvertes.fr

Qin Ma 0002, Luc Maranget

claim paper

Read More »

14

APLAS
2003
ACM

101views Programming Languages» more APLAS 2003»

Dataflow Pointcut in Aspect-Oriented Programming

13 years 8 months ago

Dataflow Pointcut in Aspect-Oriented Programming

Download www.graco.c.u-tokyo.ac.jp

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 ...

Hidehiko Masuhara, Kazunori Kawauchi

claim paper

Read More »

19

APLAS
2003
ACM

122views Programming Languages» more APLAS 2003»

Observing Asymmetry and Mismatch

13 years 10 months ago

Observing Asymmetry and Mismatch

Download basics.sjtu.edu.cn

The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...

Xiaoju Dong, Yuxi Fu

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »