Sciweavers

Share
APLAS
2001
ACM
9 years 3 months ago
Functional Quantum Programming
Shin-Cheng Mu, Richard S. Bird
APLAS
2001
ACM
9 years 3 months ago
Verifying the CPS Transformation in Isabelle/HOL
We verified two versions of the CPS transformation in Isabelle/HOL: one by Plotkin by Danvy and Filinski. We adopted first order abstract syntax so that the formalization is close...
Yasuhiko Minamide, Koji Okuma
APLAS
2001
ACM
9 years 3 months ago
An Effect System Combining Alias and Liveness for Explicit Memory Reuse
The garbage collection is a safe and efficient method for managing the heap. However it is not efficient for temporary storages that are allocated often and deallocated quickly. R...
Oukseh Lee
APLAS
2001
ACM
9 years 3 months ago
A Type System for the Push-Enter Model
Kwanghoon Choi, Taisook Han
APLAS
2001
ACM
9 years 3 months ago
Estimating Exception-Induced Control Flow for Java
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
APLAS
2001
ACM
9 years 3 months ago
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus
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
books