Resource Usage Verification

Kim Marriott, Peter J. Stuckey, Martin Sulzmann

Abstract elided by the publisher.

Dataflow Pointcut in Aspect-Oriented Programming

Hidehiko Masuhara, Kazunori Kawauchi

Abstract elided by the publisher.

Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion

Shin-Cheng Mu, Richard S. Bird

Abstract elided by the publisher.

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

Susumu Nishimura

Abstract elided by the publisher.

Executing Verified Compiler Specification

Koji Okuma, Yasuhiko Minamide

Abstract elided by the publisher.

Automatic Construction of Hoare Proofs from Abstract Interpretation Results

Sunae Seo, Hongseok Yang, Kwangkeun Yi

Abstract elided by the publisher.

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

Vincent Simonet

Abstract elided by the publisher.

Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations

Tomoharu Ugawa, Nobuhisa Minagawa, Tsuneyasu Komiya, Masahiro Yasugi, Taiichi Yuasa

Abstract elided by the publisher.

Using Locality of Flow in Dataflow Analyses

D. V. Ravindra

Abstract elided by the publisher.

On a Method of Global Optimization

Wen-tsun Wu

Abstract elided by the publisher.

A Typeful and Tagless Representation for XML Documents

Dengping Zhu, Hongwei Xi

Abstract elided by the publisher.

Extending Sized Type with Collection Analysis

Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu

Data Flow Analysis of Secure Information-Flow

Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi

An Improved Differential Fixpoint Iteration Method for Program Analysis

Hyunjun Eo, Kwangkeun Yi

On Quasi-Open Bisimulation

Yuxi Fu

Relaxing the Value Restriction

Jacques Garrigue

An Automatic Program Inverter for Lisp: Potential and Limitations

Robert Glück, Masahiko Kawabe

Specification based on Backus-Naur Formalism and Programming Language

Guoyong, Peimin Deng, Jiali Feng

Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem

Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi

Recursion Removal from Recursive Programs with One Descent Function

Yusuke Ichikawa, Zenjiro Konishi, Yoshihiko Futamura