Search the dblp DataBase

Publications of Author

1. Arne J. Glenstrup, Neil D. Jones
   BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation. [Citation Graph (0, 0)][DBLP]
   Ershov Memorial Conference, 1996, pp:273-284 [Conf]
   
2. Neil D. Jones, Arne J. Glenstrup
   Program Generation, Termination, and Binding-Time Analysis. [Citation Graph (0, 0)][DBLP]
   GPCE, 2002, pp:1-31 [Conf]
   
3. Neil D. Jones, Arne J. Glenstrup
   Program generation, termination, and binding-time analysis. [Citation Graph (0, 0)][DBLP]
   ICFP, 2002, pp:283- [Conf]
   
4. Villy Bæk Iversen, Arne J. Glenstrup
   Resource Allocation in Cellular Wireless Systems (invited paper). [Citation Graph (0, 0)][DBLP]
   PWC, 2000, pp:123-132 [Conf]
   
5. Arne J. Glenstrup, Henning Makholm, Jens P. Secher
   C-MIX: Specialization of C Programs. [Citation Graph (0, 0)][DBLP]
   Partial Evaluation, 1998, pp:108-154 [Conf]
   
6. Neil D. Jones, Arne J. Glenstrup
   Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis. [Citation Graph (0, 0)][DBLP]
   PPDP, 2002, pp:1- [Conf]
   
7. Christian Fenger, Arne J. Glenstrup
   Performance evaluation of multirate time division multiplexed wavelength routed optical networks. [Citation Graph (0, 0)][DBLP]
   Computer Communications, 2003, v:26, n:14, pp:1644-1650 [Journal]
   
8. Arne J. Glenstrup, Neil D. Jones
   Termination analysis and specialization-point insertion in offline partial evaluation. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2005, v:27, n:6, pp:1147-1215 [Journal]
   
9. Lars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner
   Matching of Bigraphs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:3-19 [Journal]
   
10. 
    Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs. [Citation Graph (, )][DBLP]