Sciweavers

11909 search results - page 175 / 2382

» The Scheme Programming Language

206

ERLANG
2004
ACM

215views Programming Languages» more ERLANG 2004»

An implementation of the SMB protocol in erlang

16 years 10 days ago

An implementation of the SMB protocol in erlang

Download www.erlang.se

Torbjrn Trnkvist

claim paper

Read More »

147

SIGADA
2004
Springer

93views Programming Languages» more SIGADA 2004»

Measuring the effectiveness of ACATS

16 years 7 days ago

Measuring the effectiveness of ACATS

Download www.sigada.org

Geoff T. Smith

claim paper

Read More »

116

APLAS
2003
ACM

133views Programming Languages» more APLAS 2003»

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

16 years 5 days ago

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

Download www.is.titech.ac.jp

Susumu Nishimura

claim paper

Read More »

136

APLAS
2003
ACM

98views Programming Languages» more APLAS 2003»

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

16 years 5 days ago

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

Download www.normalesup.org

Vincent Simonet

claim paper

Read More »

195

AOSD
2007
ACM

139views Software Engineering» more AOSD 2007»

SCoPE: an AspectJ compiler for supporting user-defined analysis-based pointcuts

15 years 11 months ago

SCoPE: an AspectJ compiler for supporting user-defined analysis-based pointcuts

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

This paper proposes an approach called SCoPE, which supports user-defined analysis-based pointcuts in aspect-oriented programming (AOP) languages. The advantage of our approach is...

Tomoyuki Aotani, Hidehiko Masuhara

claim paper

Read More »

« Prev « First page 175 / 2382 Last » Next »