• Publications
  • Influence
Syntactic accidents in program analysis: on the impact of the CPS transformation
We show that a non-duplicating CPS transformation has no effect on control-flow analysis and that it has a positive effect on binding-time analysis: a monovariant control-flow analysis yieldsExpand
  • 30
  • 1
On Static and Dynamic Control-Flow Information in Program Analysis and Transformation
This thesis addresses several aspects of static and dynamic control-flow information in programming languages, by investigating its interaction with program transformation and program analysis.Expand
  • 9
  • 1
Letters to patients: improving communication in cancer care
Numerous studies have shown that patients are usually dissatisfied with the information they receive during clinical consultations with medical specialists. Therefore, a randomised study design hasExpand
  • 103
CPS transformation of flow information, Part II: administrative reductions
We characterize the impact of a linear $\beta$-reduction on the result of a control-flow analysis. (By ‘a linear $\beta$-reduction’ we mean the $\beta$-reduction of a linear $\lambda$-abstraction,Expand
  • 21
A Simple CPS Transformation of Control-Flow Information
We build on Danvy and Nielsen’s first-order program transformation into continuation-passing style (CPS) to design a new CPS transformation of flow information that is simpler and more efficient thanExpand
  • 14
A Simple Cps Transformation Of Control-flow Information
We build on Danvy and Nielsen's first-order program transformation into continuation-passing style (CPS) to design a new CPS transformation of flow information that is simpler and more efficient thanExpand
  • 7
CPS Transformation of Flow Information, Part II: Administrative Reductions
We characterize the impact of a linear beta-reduction on the result of a control-flow analysis. (By "a linear beta-reduction'' we mean the beta-reduction of a linear lambda-abstraction, i.e., of aExpand
  • 8
Syntactic accidents in program analysis: on the impact of the CPS transformation
We show that a non-duplicating transformation into Continuation-Passing Style (CPS) has no effect on control-flow analysis, a positive effect on binding-time analysis for traditional partialExpand
  • 6
Time Stamps for Fixed-Point Approximation
Abstract Time stamps were introduced in Shivers's PhD thesis for approximating the result of a control-flow analysis. We show them to be suitable for computing program analyses where the space ofExpand
  • 2
Partial Evaluation for Program Analysis
Preface This report documents the scientific work carried out during the part A of the Ph.D. studies of author at BRICS 1. The main topic of interest is programming languages, focusing on partialExpand
  • 4