Sciweavers

139

Voted

APLAS
2001
ACM

114views Programming Languages» more APLAS 2001»

Estimating Exception-Induced Control Flow for Java

15 years 7 months ago

Exception analyses so far cannot provide information on the propagation of thrown exceptions, which is necessary to construct interprocedural control flow graph, visualize exceptio...

Byeong-Mo Chang, Jang-Wu Jo

claim paper

Read More »

112

click to vote

APLAS
2001
ACM

111views Programming Languages» more APLAS 2001»

Dynamic Control Operators in Type Theory

15 years 7 months ago

Download www.jst.go.jp

Yukiyoshi Kameyama

claim paper

Read More »

118

click to vote

AP2PC
2003
Springer

147views Intelligent Agents» more AP2PC 2003»

A Peer-to-Peer Information System for the Semantic Web

15 years 7 months ago

Download p2p.ingce.unibo.it

Sonia Bergamaschi, Francesco Guerra, Maurizio Vinc...

claim paper

Read More »

175

Voted

APLAS
2001
ACM

176views Programming Languages» more APLAS 2001»

Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus

15 years 7 months ago

Download www.kurims.kyoto-u.ac.jp

Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...

Masahito Hasegawa

claim paper

Read More »

114

click to vote

AOSE
2003
Springer

99views Intelligent Agents» more AOSE 2003»

Dynamic Multi-agent Architecture Using Conversational Role Delegation

15 years 7 months ago