home *** CD-ROM | disk | FTP | other *** search
/ The Datafile PD-CD 5 / DATAFILE_PDCD5.iso / utilities / b / binprolog / docs / local_bib < prev    next >
Text File  |  1995-02-06  |  6KB  |  224 lines
  1. @inproceedings{tdb95,
  2.   author = {Tarau, Paul and Demoen, Bart and De Bosschere, Koen},
  3.   title = "The Power of Partial Translation: an Experiment with 
  4.            the C-ification of Binary Prolog",
  5.   booktitle = "Proceedings of the 1995 ACM Symposium on Applied
  6.                Computing",
  7.   publisher = "ACM Press",
  8.   address = "Nashville/TN",
  9.   month = feb,
  10.   year = 1995
  11. }
  12.  
  13.  
  14. @TECHREPORT{Tarau92:WAMOpt,
  15.    author={Tarau, Paul},
  16.    title = {WAM-optimizations in {B}in{P}rolog: towards a realistic Continuation Passing Prolog Engine},
  17.    institution = {Dept. d'Informatique, Universit\'{e} de Moncton},
  18.    number = "92-3",
  19.    year = 1992,
  20.    month = jul,
  21.    note = "available by ftp from clement.info.umoncton.ca"
  22. }
  23.  
  24. @InProceedings{Tarau93:GULP,
  25. title={Language issues and programming techniques in {B}in{P}rolog },
  26. author={Tarau, Paul},
  27. editor={Sacca, Domenico},
  28. booktitle={Proceeding of the GULP'93 Conference},
  29. year=1993,
  30. month=Jun,
  31. address = {Gizzeria Lido, Italy}
  32. }
  33.  
  34. @inproceedings{Tarau92:ECO,
  35.    author={Tarau, Paul},
  36.    title = {{E}cological {M}emory {M}anagment in a {C}ontinuation {P}assing
  37.  {P}rolog {E}ngine},
  38. pages = {344--356},
  39. editor = {Y. Bekkers and J. Cohen},
  40. booktitle = {Memory Management International Workshop IWMM 92 Proceedings},
  41. year = 1992,
  42. month = Sep,
  43. publisher = {Springer},
  44. series = {Lecture Notes in Computer Science},
  45. keywords = {Logic Programming},
  46. number = 637}
  47. }
  48.  
  49. @inproceedings{Tarau90:PLILP,
  50. title={{E}lementary {L}ogic {P}rograms},
  51. author={Tarau, Paul and Boyer, Michel},
  52. pages={159--173},
  53. editor={P. Deransart and J. Ma{\l}uszy{\'n}ski},
  54. booktitle={Proceedings of Programming Language Implementation and
  55.            Logic Programming},
  56. year=1990,
  57. month=Aug,
  58. publisher={Springer},
  59. series={Lecture Notes in Computer Science},
  60. keywords={Logic Programming},
  61. number=456}
  62.  
  63.  
  64. @inproceedings{Tarau91:JAP,
  65. title={A  {S}implified {A}bstract  {M}achine for  the Execution of
  66.    {B}inary  {M}etaprograms},
  67. author={Paul Tarau},
  68. pages={119--128},
  69. booktitle={Proceedings of the Logic Programming Conference'91},
  70. year=1991,
  71. month=7,
  72. publisher={ICOT, Tokyo}}
  73.  
  74.  
  75. @inproceedings{Tarau91:RU,
  76. title={{P}rogram {T}ransformations  and  {WAM}-support  for  the
  77.    {C}ompilation of  {D}efinite {M}etaprograms},
  78. author={Paul Tarau},
  79. pages={462--473},
  80.   booktitle = {Logic Programming, RCLP Proceedings},
  81.   year =        {1992},
  82.   editor =      {Voronkov, Andrei},
  83.   publisher =   {Springer-Verlag},
  84.   series = {Lecture Notes in Artificial Intelligence},
  85.   number = {592},
  86.   address =     {Berlin, Heidelberg},
  87. }
  88.  
  89. @inproceedings{Tarau93a,
  90.   class = "int-conference",
  91.   author = "Tarau, P",
  92.   title = "An Efficient Specialization of the WAM for Continuation Passing Binary Programs",
  93.   booktitle = "Proceedings of the 1993 ILPS Conference",
  94.   address = "Vancouver, Canada",
  95.   year = 1993,
  96.   note = "poster"
  97. }
  98.  
  99. @inproceedings{kdb93f,
  100.   class = "int-conference",
  101.   author = "De Bosschere, K. and Tarau, P",
  102.   title = "Blackboard-Based Logic Programming",
  103.   booktitle = "Proceedings of the 1993 ILPS Conference",
  104.   address = "Vancouver, Canada",
  105.   year = 1993,
  106.   note = "poster"
  107. }
  108.  
  109. @inproceedings{Demoen91:RU,
  110. title={{I}mplementation of {P}rolog as binary definite {P}rograms},
  111. author={Demoen, Bart and Mari\"{e}n, Andr\'{e}},
  112. pages={165--176},
  113.   booktitle = {Logic Programming, RCLP Proceedings},
  114.   year =        {1992},
  115.   editor =      {Voronkov, Andrei},
  116.   publisher =   {Springer-Verlag},
  117.   series = {Lecture Notes in Artificial Intelligence},
  118.   number = {592},
  119.   address =     {Berlin, Heidelberg},
  120. }
  121.  
  122.  
  123. @TECHREPORT{Demoen90:KUL,
  124.    author={Demoen, Bart},
  125.    title = {On the {T}ransformation of a {P}rolog Program to a more efficient 
  126.     {B}inary Program},
  127.    institution = "K.U.Leuven",
  128.    number = "130",
  129.    month = dec,
  130.    year = 1990,
  131. }
  132.  
  133. @inproceedings{LOPSTR93:Neumerkel,
  134. author="Ulrich Neumerkel",
  135. title= "A Transformation Based on the Equality between Terms",
  136. booktitle= "Logic Program Synthesis and Transformation, LOPSTR 1993",
  137. publisher = "Springer-Verlag",
  138. year = "1993"
  139. }
  140.  
  141.  
  142. @PHDTHESIS{Neum92,
  143.   author =      "Neumerkel, Ulrich",
  144.   title =       "Specialization of {Prolog} Programs with Partially
  145.          Static Goals and Binarization",
  146.    type={PhD thesis},
  147.    school={Technische Universit\"{a}t Wien},
  148.    year = 1992,
  149. }
  150.  
  151. @Misc{lindgren,
  152.   author = "Lindgren, T.",
  153.   title = "Compiling Logic Programs Using a Binary Continuation Style",
  154.   month = dec,
  155.   year = 1992,
  156.   note = "draft, Uppsala University"
  157. }
  158.      
  159. @TECHREPORT{WA83,
  160.    author={Warren, D. H. D.},
  161.    title =  "An  {A}bstract  {P}rolog  {I}nstruction  {S}et",
  162.    institution = "SRI International",
  163.    type="Technical Note",
  164.    number=309,
  165.    month = Oct,
  166.    year = 1983,
  167. }
  168.  
  169. @inproceedings{TD94:WE,
  170.    author={Tarau, Paul and Demoen, Bart},
  171.    title = {Language Embedding by Dual Compilation and State Mirroring},
  172. booktitle = {Proceedings of 6-th Workshop on Logic Programming Environments, Santa Margherita Ligure, 1994},
  173. year = 1994,
  174. month = Jun,
  175. comment = "describes the BinProlog Tcl/Tk interface and its design principles"
  176. }
  177.  
  178. @inproceedings{TA94:JFPL,
  179.    author={Tarau, Paul},
  180.    title = {Low Level Issues in Implementing a High-Performance Continuation Passing Binary Prolog Engine},
  181. booktitle = {Proceedings of JFPL'94},
  182. year = 1994,
  183. month = jun,
  184. editor = {M.-M. Corsini}
  185. }
  186.  
  187. @inproceedings{TN94:PLILP,
  188.    author={Tarau, Paul and Neumerkel, Ulrich},
  189.    title = {A {N}ovel {T}erm {C}ompression {S}cheme and {D}ata 
  190.    {R}epresentation in the
  191.    {B}in{WAM}},
  192. booktitle = {Proceedings of Programming Language Implementation and
  193.            Logic Programming},
  194. year = 1994,
  195. month = sep,
  196. publisher = {Springer},
  197. series = {Lecture Notes in Computer Science},
  198. keywords = {Logic Programming},
  199. }
  200.  
  201. @inproceedings{kdb93j,
  202.   author = "De Bosschere, K. and Tarau, P.",
  203.   title = "{H}igh {P}erformance {C}ontinuation {P}assing {S}tyle
  204.             {P}rolog-to-{C} {M}apping",
  205.   booktitle = "Proceedings of the 1994 ACM Symposium on Applied
  206.                Computing",
  207.   publisher = "ACM Press",
  208.   editor = "Deaton, E. and Oppenheim, D. and Urban, J. and Berghel, H.",
  209.   address = "Phoenix/AZ",
  210.   pages = "383--387",
  211.   month = mar,
  212.   year = 1994
  213. }
  214.  
  215. @inproceedings{kdb93d,
  216.   class = "int-conference",
  217.   author = "De Bosschere, K. and Tarau, P.",
  218.   title = "{B}lackboard {C}ommunication in {L}ogic {P}rogramming",
  219.   booktitle = "Proceedings of the PARCO'93 Conference",
  220.   address = "Grenoble, France",
  221.   month = sep,
  222.   year = 1993
  223. }
  224.