Daniel Damian

Learn More
  • Morten Rhiger, Morten Rhiger Brics, Ph D Dissertation, Brics Brics, Ph D School, Daniel Damian +4 others
  • 2001
This dissertation addresses the challenges of embedding programming languages, specializing generic programs to specific parameters, and generating specialized instances of programs directly as executable code. Our main tools are higher-order programming techniques and automatic program generation. It is our thesis that they synergize well in the(More)
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)
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)
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)
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)
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)
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)
Alcoholic extracts of blueberries, Vaccinium myrtillus (bilberry), were analyzed by electrospray ionization-mass spectrometry (ESI-MS), in order to identify the anthocyanins in these extracts. The anthocyanin aglycons, cyanidin, peonidin, petunidin and some glycosides such as petunidin 3-rutinoside, peonidin 6-acethyl-3-glucoside, malvidin 3-arabinoside,(More)
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)