Sciweavers

13 search results - page 1 / 3

» aplas 2003

9

APLAS
2003
ACM

133views Programming Languages» more APLAS 2003»

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

13 years 9 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 »

8

APLAS
2003
ACM

98views Programming Languages» more APLAS 2003»

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

13 years 9 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 »

16

APLAS
2003
ACM

122views Programming Languages» more APLAS 2003»

Observing Asymmetry and Mismatch

13 years 9 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 »