Search the dblp DataBase

Publications of Author

1. Dariusz Biernacki, Olivier Danvy
   From Interpreter to Logic Engine by Defunctionalization. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2003, pp:143-159 [Conf]
   
2. Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard
   A functional correspondence between evaluators and abstract machines. [Citation Graph (0, 0)][DBLP]
   PPDP, 2003, pp:8-19 [Conf]
   
3. Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan
   On the dynamic extent of delimited continuations. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 2005, v:96, n:1, pp:7-17 [Journal]
   
4. Dariusz Biernacki, Olivier Danvy
   Theoretical Pearl: A simple proof of a folklore theorem about delimited control. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2006, v:16, n:3, pp:269-280 [Journal]
   
5. Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy
   An Operational Foundation for Delimited Continuations in the CPS Hierarchy. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2005, v:1, n:2, pp:- [Journal]
   
6. Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan
   On the static and dynamic extents of delimited continuations. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2006, v:60, n:3, pp:274-297 [Journal]
   
7. 
   Clock-directed modular code generation for synchronous data-flow languages. [Citation Graph (, )][DBLP]
   
   
8. 
   Context-based proofs of termination for typed delimited-control operators. [Citation Graph (, )][DBLP]
   
   
9. 
   An Operational Foundation for Delimited Continuations in<br><br> the<br><br><br> CPS<br><br> Hierarchy [Citation Graph (, )][DBLP]
   
   
10. 
    A Context-based Approach to Proving Termination of Evaluation. [Citation Graph (, )][DBLP]