#### Filter Results:

- Full text PDF available (11)

#### Publication Year

1998

2016

- This year (0)
- Last 5 years (3)
- Last 10 years (3)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Daniel Damian, Olivier Danvy
- ICFP
- 2000

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 yields equivalent results on a direct-style program and on its CPS counterpart, and a monovariant binding-time analysis yields more precise results on a CPS program than on… (More)

- Adina-Elena Segneanu, Ioan Grozescu, +5 authors Mircea Leabu
- Molecules
- 2015

There is a strong drive worldwide to discover and exploit the therapeutic potential of a large variety of plants. In this work, an alcoholic extract of Helleborus purpurascens (family Ranunculaceae) was investigated for the identification of amino acids and peptides with putative antiproliferative effects. In our work, a separation strategy was developed… (More)

- Daniel Damian
- 2001

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. Control-flow information indicates for each point in a program the possible program points to be executed next. Control-flow information in a program may be static,… (More)

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 partial evaluation and program transformation. One of the ideas explored in the period was to assess the impact of partial evaluation on program analysis. The present… (More)

- Daniel Damian, Olivier Danvy
- J. Funct. Program.
- 2003

We characterize the impact of a linear β-reduction on the result of a control-flow analysis. (By “a linear β-reduction” we mean the β-reduction of a linear λ-abstraction, i.e., of a λ-abstraction whose parameter occurs exactly once in its body.) As a corollary, we consider the administrative reductions of a Plotkinstyle transformation into… (More)

- Daniel Damian, Olivier Danvy
- Logic Journal of the IGPL
- 2002

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 than what has been presented in previous work. The key to simplicity and efficiency is that our CPS transformation constructs the flow information in one go,… (More)

- Daniel Damian
- Electr. Notes Theor. Comput. Sci.
- 2001

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 of results (e.g., control-flow graphs) is large. We formalize time-stamping as a top-down, fixed-point approximation algorithm which maintains a single copy of intermediate… (More)

We characterize the impact of a linear β-reduction on the result of a control-flow analysis. (By ‘a linear β-reduction’ we mean the β-reduction of a linear λ-abstraction, i.e., of a λabstraction whose parameter occurs exactly once in its body.) As a corollary, we consider the administrative reductions of a Plotkin-style transformation into… (More)

- Daniel Damian, Olivier Danvy
- SAIG
- 2001

Starting from an operational specification of a translation from a structured to an unstructured imperative language, we point out how a compositional and context-insensitive translation gives rise to static chains of jumps. Taking an inspiration from the notion of continuation, we state a new compositional and context-sensitive specification that provably… (More)

- Zhe Yang, Olivier Danvy, +24 authors Christian Ungureanu
- 2016

This dissertation develops programming languages and associated techniques for sound and eÆcient implementations of algorithms for program generation. First, we develop a framework for practical two-level languages. In this framework, we demonstrate that two-level languages are not only a good tool for describing program-generation algorithms, but a good… (More)