File /home/thiemann/tex/bib/own.bib last modified on Wed Jun 21 10:52:12 1995.

**** ISSN 0946-3852
@STRING{WSI = "Berichte des Wilhelm-Schickard-Instituts"}



@UNPUBLISHED{Thi89,
	AUTHOR = "Peter Thiemann",
	TITLE = {{Behandlung geschachtelter CASEs in Semantik und Übersetzung von SRDL}},
	NOTE = {{Arbeitstreffen: Effiziente Implementierung funktionaler Programmiersprachen, Heinrich-Fabri-Institut, Blaubeuren}},
	MONTH = sep,
	YEAR = "1989"
}

@techreport{KT89,
	author={Herbert Klaeren and Peter Thiemann},
	title={A Clean {Modula-2} Interface to Abstract Data Types},
	institution={{Tübingen} University},
	number={WSI-89-9},
	type={Berichte des Wilhelm-Schickard-Instituts},
	year=1989}

@article{KT1990,
	author={Herbert Klaeren and Peter Thiemann},
	title={A Clean {Modula-2} Interface to Abstract Data Types},
	journal={Structured Programming},
        volume  ={11},
        month   = apr,
	pages   ={69-77},
	year	= 1990}

@INPROCEEDINGS{Thi90:Honnef,
	AUTHOR = "Peter Thiemann",
	TITLE = "{Transparente Integration funktionaler und imperativer Konzepte}",
	BOOKTITLE = {{Alternative Konzepte für Sprachen und Rechner}},
	ADDRESS = {Bad Honnef},
	YEAR = "1990",
	MONTH = may,
	EDITOR = {Jürgen Ebert},
	PAGES = "152-155",
	ORGANIZATION = {Universität Koblenz-Landau},
	NOTE = "{Bericht} 8/90"
}


@INPROCEEDINGS{Thiemann1991:Honnef,
	BOOKTITLE = {{Alternative Konzepte für Sprachen und Rechner}},
	AUTHOR = {Peter Thiemann},
	TITLE = {Natural Programs for Functions Defined by Recursive Pattern Matching},
	YEAR = 1991,
	EDITOR = {W.-M. Lippe},
	PAGES = {1-14},
	ORGANIZATION = {Universi{ä}t M{ü}nster},
	ADDRESS = {Bad Honnef},
	MONTH = apr,
	NOTE = {Bericht 8/91-I}
}

@TECHREPORT{Thiemann:wsi,
	AUTHOR = {Peter Thiemann},
	TITLE = {Tabulating Recursive Functions Without Descent Laws},
	INSTITUTION = {Universit{ä}t T{ü}bingen},
	YEAR = {1991},
	TYPE = {Berichte des Wilhelm-Schickard-Instituts},
	NUMBER = {{WSI}-91-1},
	MONTH = mar
}

@techreport{Thiemann1991,
	author ={Peter Thiemann},
	title={Konzepte zur effizienten {Implementierung} strukturell rekursiver {Programme}},
	institution={Fakultät für Informatik, Universität {Tübingen}},
	TYPE = {Dissertation},
	year={1991},
	myNOTE=ig
}



@TECHREPORT{Thiemann:1991a,
	AUTHOR = {Peter Thiemann},
	TITLE = {Optimizing Structural Recursion in Functional Programs},
	INSTITUTION = {Wilhelm-Schickard-Institut},
	YEAR = 1991,
	NOTE = {Submitted to IEEE conference on computer languages}
}

@INPROCEEDINGS{Thiemann1992,
	CROSSREF = {ICCL1992},
	AUTHOR = {Peter Thiemann},
	TITLE = {Optimizing Structural Recursion in Functional Programs},
	YEAR = 1992,
	PAGES = {76-85}
}

*** was Thiemann:1993intro

@ARTICLE{Thiemann1993,
	AUTHOR = {Peter Thiemann},
	TITLE = {Efficient Implementation of Structural Recursive Programs},
	JOURNAL = {Journal of Programming Languages},
	ISSN = {0963-9306},
	YEAR = 1993,
	VOLUME = {1},
	NUMBER = {1},
	PAGES = {41-70},
	MONTH = mar
}


@TECHREPORT{Thiemann1991:IMPL1,
	AUTHOR = {Peter Thiemann},
	TITLE = {Efficient implementation of structural recursive programs},
	INSTITUTION = {Universität Tübingen},
	NUMBER = {WSI-91-12},
	TYPE = {Berichte des Wilhelm-Schickard-Instituts},
	YEAR = 1991
}

@TECHREPORT{Thiemann1991:IMPL2-wsi,
	AUTHOR = {Peter Thiemann},
	TITLE = {Simultaneous structural recursion},
	INSTITUTION = {Universität Tübingen},
	TYPE = {},
	YEAR = 1991,
	NOTE = {in preparation}
}

@UNPUBLISHED{Thiemann1991:IMPL2,
	AUTHOR = {Peter Thiemann},
	TITLE = {Bottom-up Evaluation and Mutual Recursion},
	NOTE = {in preparation},
	YEAR = 1992
}

@UNPUBLISHED{Thiemann1991:IMPL3,
	AUTHOR = {Peter Thiemann},
	TITLE = {Extensions of structural recursion},
	NOTE = {in preparation},
	YEAR = 1992
}

@INPROCEEDINGS{Thiemann1992:latoki,
	CROSSREF = {PLILP1992},
	AUTHOR = {Peter Thiemann},
	TITLE = {{LaToKi}: A Language Toolkit for Bottom-Up Evaluation of Functional Programs},
	YEAR = 1992,
	PAGES = {481f}
}

@TECHREPORT{Thiemann1992:safety,
	AUTHOR = {Peter Thiemann},
	TITLE = {A Safety Analysis for Functional Languages},
	INSTITUTION = {Wilhelm-Schickard-Institut},
	YEAR = 1992,
	NUMBER = {WSI-92-13},
	ADDRESS = {Tübingen, Germany},
	MONTH = dec
}

@INPROCEEDINGS{Thiemann1993:safety,
	CROSSREF = {PEPM1993},
	AUTHOR = {Peter Thiemann},
	TITLE = {A Safety Analysis for Functional Programs},
	YEAR = 1993,
	PAGES = {133-144}
}

@INPROCEEDINGS{Thiemann1993:soda:party,
	CROSSREF = {AMAST1993:party},
	AUTHOR = {Peter Thiemann},
	TITLE = {An Overview of the {SODA} System},
	YEAR = 1993,
	PAGES = {217-220}
}

@INPROCEEDINGS{Thiemann1993:soda,
	CROSSREF = {AMAST1993},
	AUTHOR = {Peter Thiemann},
	TITLE = {An Overview of the {SODA} System},
	YEAR = 1993,
	PAGES = {185-192}
}

@INPROCEEDINGS{Thiemann1993:avoid,
	CROSSREF = {WSA1993},
	AUTHOR = {Peter Thiemann},
	TITLE = {Avoiding Repeated Tests in Pattern Matching},
	YEAR = 1993,
	PAGES = {141-152}
}

@UNPUBLISHED{Thiemann1993:principles,
	AUTHOR = {Peter Thiemann},
	TITLE = {Prinzipien der funktionalen Programmierung},
	NOTE = {Skriptum zur Vorlesung},
	MONTH = aug,
	YEAR = 1993
}

@TECHREPORT{Thiemann1993:safe-sequencing,
	AUTHOR = {Peter Thiemann},
	TITLE = {Safe Sequencing of Assignments in Purely Functional Programming Languages},
	INSTITUTION = {Wilhelm-Schickard-Institut},
	YEAR = 1993,
	NUMBER = {WSI-93-16},
	ADDRESS = {Tübingen, Germany},
	MONTH = nov,
	URL = {Available through URL {\texttt{http://www-pu.informatik.uni-tuebingen.de/\tttilde{}thiemann/safesequencer.ps.gz}}}
}

@INPROCEEDINGS{Thiemann1994:implementing-the-fim,
	CROSSREF = {CC1994-poster},
	AUTHOR = {Peter Thiemann},
	TITLE = {Implementing the Functional Iterative Machine},
	YEAR = 1994,
	PAGES = {143-152}
}

@INPROCEEDINGS{Thiemann1994:eliminating,
	BOOKTITLE = {Semantikgest{ü}tzte Analyse, Entwicklung und Generierung von Programmen},
	AUTHOR = {Peter Thiemann},
	TITLE = {Eliminating Redundant Tests in Pattern Matching},
	YEAR = 1994,
	EDITOR = {Gregor Snelting and Uwe Meyer},
	PAGES = {131-142},
	PUBLISHER = {Justus-Liebig-Universit{ä}t Giessen},
	ADDRESS = {Schlo{\ss} Rauischholzhausen},
	MONTH = mar,
	NOTE = {Arbeitsgruppe Informatik, Bericht Nr. 9402}
}

@INPROCEEDINGS{Thiemann1994:safe-sequencing,
	BOOKTITLE = {Alternative Konzepte für Sprachen und Rechner},
	AUTHOR = {Peter Thiemann},
	TITLE = {Safe Sequencing of Assignments in Purely Functional Programming Languages},
	YEAR = 1994,
	EDITOR = {F. Simon},
	PAGES = {121-124},
	PUBLISHER = {Christian-Albrechts-Universität Kiel},
	ADDRESS = {Bad Honnef},
	MONTH = may,
	NOTE = {Bericht Nr.~9412}
}

@INPROCEEDINGS{Thiemann1994,
	CROSSREF = {FPRW1994},
	AUTHOR = {Peter Thiemann},
	TITLE = {Towards Software Tools in {Haskell}},
	YEAR = 1994
}


@INPROCEEDINGS{Thiemann1994:higher-order-redundancy-elimination,
	CROSSREF = {PEPM1994},
	AUTHOR = {Peter Thiemann},
	TITLE = {Higher-Order Redundancy Elimination},
	YEAR = 1994,
	PAGES = {73-84},
	ADDRESS = {Orlando, Fla.},
	MONTH = jun
}

@BOOK{Thiemann1994:gfp,
	AUTHOR = {Peter Thiemann},
	TITLE = {Grundlagen der funktionalen Programmierung},
	PUBLISHER = {Teubner Verlag, Stuttgart},
	YEAR = 1994,
	ISBN = {3-519-02137-4}
}

@INPROCEEDINGS{Thiemann1995:termination,
	CROSSREF = {SIPL1995},
	AUTHOR = {Peter Thiemann},
	TITLE = {  Terminated References and Automatic Parallelization
  for State Transformers},
	YEAR = 1995
}

@INPROCEEDINGS{KT1995,
	CROSSREF = {ICSEFM1995},
	AUTHOR = {Herbert Klaeren and Peter Thiemann},
	TITLE = {Merging Formal Methods  With  Rapid Prototyping},
	YEAR = 1995
}

@INPROCEEDINGS{SperberThiemann1995,
	CROSSREF = {PEPM1995},
	AUTHOR = {Michael Sperber and Peter Thiemann},
	TITLE = {The Essence of {LR} Parsing},
	PAGES = {146-155},
	YEAR = 1995
}

@INPROCEEDINGS{Thiemann1995:boxing,
	CROSSREF = {FPCA1995},
	AUTHOR = {Peter Thiemann},
	TITLE = {Polymorphic Typing and Unboxed Values Revisited},
	PAGES = {24-35},
	YEAR = 1995
}

@inproceedings{Thiemann1995:fallstudie,
	CROSSREF = {HASKELL1995},
	AUTHOR = {Peter Thiemann},
	TITLE = {Data Compression in {Haskell} with Imperative Extensions---A Case Study},
	PAGES = {137-150},
	YEAR = 1995
}

@inproceedings{Thiemann1995:concurrent,
	CROSSREF = {Fuji1995},
	AUTHOR = {Peter Thiemann},
	TITLE = {Towards a Denotational Semantics for Concurrent State Transformers},
	PAGES = {19-33},
	YEAR = 1995
}

@inproceedings{SperberGlueckThiemann1996,
	CROSSREF = {SAC1996},
	AUTHOR = {Michael Sperber and Robert Glück  and Peter Thiemann},
	TITLE = {Bootstrapping Higher-Order Program Transformers
       from Interpreters},
        PAGES = {408-413},
	MONTH = feb,
	YEAR = 1996
}

@inproceedings{ThiemannGlueck1995,
	CROSSREF = {Fuji1995},
	AUTHOR = {Peter Thiemann and Robert Glück},
	TITLE = {The Generation of a Higher-Order Online Partial Evaluator},
	YEAR = 1995,
	PAGES = {239-253}
}

@InProceedings{ThiemannGlueck:95:HOspec,
  AUTHOR       = {Thiemann, Peter and Gl{\"u}ck, Robert},
  YEAR         = {1995},
  TITLE        = {The Generation of a Higher-Order Online Partial Evaluator},
  BOOKTITLE    = {Fuji International Workshop on Functional and Logic
                  Programming},
  editor       = {Takeichi, Masato and Ida, Tetsuo},
  publisher    = {World Scientific},
  organization = {},
  address      = {},
  series       = {},
  volume       = {},
  pages        = {239-253},
  month        = nov,
  keywords     = {partial evaluation, program generation, specializer projections,
                  self-application, interpreter, termination},
  summary      = {We address the problem of generating an online partial evaluator
                  for a higher-order, functional language from an appropriate
                  interpreter using a state-of-the-art offline partial evaluator.
                  To ensure termination of the generated online specializer the
                  interpreter computes a self-embedding property on closure values
                  and data structures. This guarantees termination whenever there
                  is no static loop in the program to be specialized. We obtain a
                  transformer for higher-order removal and higher-order arity
                  raising (redundancy elimination) for free, by running the online
                  specializer on a program with completely dynamic inputs.},
  supersedes   = {},
  SEMNO        = {D-245},
  PUF          = {Artikel i proceedings (med censur)},
  ID           = {KonR},
  ISBN	       = {981-02-2437-0}
 }

@TechReport{Thiemann1995:type-based-termination,
  author = 	 "Peter Thiemann",
  title = 	 "Type-Based Termination Analysis for Partial Evaluation",
  institution =  "Universität Tübingen",
  year = 	 1995,
  number =	 "WSI-95-XX",
  month =	 sep
}

@TechReport{Thiemann1995-cogen-in-six-lines,
  author = 	 "Peter Thiemann",
  title = 	 "Cogen in Six Lines",
  institution =  "Universität Tübingen",
  year = 	 1995,
  number =	 "WSI-95-XX",
  month =	 oct
}

@TechReport{Thiemann1995-full-scheme,
  author = 	 "Peter Thiemann",
  title = 	 "Towards Partial Evaluation of Full {Scheme}",
  institution =  "Universität Tübingen",
  year = 	 1995,
  number =	 "WSI-95-XX",
  month =	 nov
}

@InProceedings{Thiemann1996-icfp,
  author = 	 "Peter Thiemann",
  title = 	 "Cogen in Six Lines",
  crossref =	 "ICFP1996",
  pages =	 "180-189"
}

@InProceedings{SperberThiemann1996-pldi,
  author = 	 "Michael Sperber and Peter Thiemann",
  title = 	 "Realistic Compilation by Partial Evaluation",
  crossref =	 "PLDI1996",
  pages =	 "206-214"
}

@InProceedings{Thiemann1996-reflection,
  author = 	 "Peter Thiemann",
  title = 	 "Towards Partial Evaluation of Full {Scheme}",
  crossref =	 "Reflection1996",
  pages =	 "95-106" 
}


@InProceedings{ThiemannSperber1996-psi,
  author = 	 "Peter Thiemann and Michael Sperber",
  title = 	 "Polyvariant Expansion and Compiler Generators",
  crossref =	 "PSI1996",
  pages = 	 "285-296"
}

@InProceedings{Thiemann1996-plilp,
  author = 	 "Peter Thiemann",
  title = 	 "Implementing Memoization for Partial Evaluation",
  crossref =	 "PLILP1996",
  pages =	 "198-212"
}

@InProceedings{ThiemannDussart1996-gfpw,
  author = 	 "Peter Thiemann and Dirk Dussart",
  title = 	 "Partial Evaluation Using Monads",
  crossref =	 "GFPW1996"
}

@TechReport{DussartThiemann1996,
  author = 	 "Dirk Dussart and Peter Thiemann",
  title = 	 "Imperative Functional Specialization",
  institution =  "Universität Tübingen",
  year = 	 1996,
  type =	 {Berichte des Wilhelm-Schickard-Instituts},
  number =	 "WSI-96-28",
  month =	 jul,
  annote =	 "http://www-pu.informatik.uni-tuebingen.de/users/thiemann/papers/imperative.ps.gz"
}

@InProceedings{ChinKhooThiemann1996,
  author = 	 "Wei-Ngan Chin and Siau-Cheng Khoo and Peter Thiemann",
  title = 	 "Synchronization Analyses for Multiple Recursion Parameters",
  crossref =	 "PE1996",
  pages =	 "33-53"
}

@TechReport{ThiemannDussart1996,
  author = 	 "Peter Thiemann and Dirk Dussart",
  title = 	 "Combinator-Based Program Generation",
  institution =  "Universität Tübingen",
  year = 	 1996,
  type =	 "Berichte des Wilhelm-Schickard-Instituts",
  number =	 "WSI-96-29",
  month =	 oct,
  annote =	 "http://www-pu.informatik.uni-tuebingen.de/users/thiemann/papers/cbpg.ps.gz"
}

@Misc{Thiemann1996-habil,
  author =	 "Peter Thiemann",
  title =	 "Foundations of Offline Partial Evaluation",
  howpublished = "Habilitationsschrift der Universität Tübingen",
  year =	 1996,
  month =	 may
}

@TechReport{DussartHughesThiemann1996-submitted,
  author = 	 "Dirk Dussart and John Hughes and Peter Thiemann",
  title = 	 "Type Specialisation for Imperative Languages",
  institution =  "Universität Tübingen",
  Year = 	 1996,
  type =	 "Berichte des Wilhelm-Schickard-Instituts",
  number =	 "WSI-96-??",
  month =	 nov
}

@TechReport{DussartThiemann1996-submitted,
  author = 	 "Peter Thiemann and Dirk Dussart",
  title = 	 "Partial Evaluation for Higher-Order Languages with State",
  institution =  "Universität Tübingen",
  year = 	 1997,
  type =	 "Berichte des Wilhelm-Schickard-Instituts",
  number =	 "WSI-97-XX",
  month =	 apr,
  url = "http://www-pu.informatik.uni-tuebingen.de/users/thiemann/papers/mlpe.ps.gz"
}

@Article{Thiemann1996-spe,
  author = 	 "Peter Thiemann",
  title = 	 "Drawing Syntax Diagrams in {Haskell}",
  journal =	 "Software---Practice and Experience",
  year =	 "To appear"
}

@InProceedings{Thiemann1997-fase,
  author = 	 "Peter Thiemann",
  title = 	 "A Unified Framework for Binding-Time Analysis",
  crossref =	 "FASE1997",
  pages =	 "742-756"
}

@InProceedings{DussartHughesThiemann1997,
  author = 	 "Dirk Dussart and John Hughes and Peter Thiemann",
  title = 	 "Type Specialisation for Imperative Languages",
  crossref =	 "ICFP1997",
  pages =	 "204-216",
  url = "http://www-pu.informatik.uni-tuebingen.de/users/thiemann/papers/icfp97.ps.gz"
}

@InProceedings{SperberThiemann1997-pldi,
  author = 	 "Michael Sperber and Peter Thiemann",
  title = 	 "Two for the Price of One: Composing Partial Evaluation and Compilation",
  crossref =	 "PLDI1997",
  pages =	 "215-225"
}

@inproceedings{LawallThiemann1997,
  author = 	 "Julia Lawall and Peter Thiemann",
  title = 	 "Sound Specialization in the Presence of Computational Effects",
  crossref = 	 "TACS1997",
  pages = 	 "To appear"
}

@InProceedings{Thiemann1997-mfps,
  author = 	 "Peter Thiemann",
  title = 	 "Correctness of a Region-Based Binding-Time Analysis",
  crossref =	 "MFPS1997",
  pages =	 "To appear"
}

@InProceedings{SperberKlaerenThiemann1997,
  author = 	 "Michael Sperber and Herbert Klaeren and Peter Thiemann",
  title = 	 "Distributed Partial Evaluation",
  crossref =	 "PASCO1997",
  pages =	 "To appear"
}

@InProceedings{ThiemannSperber1997,
  author = 	 "Peter Thiemann and Michael Sperber",
  title = 	 "Program Generation With Class",
  crossref =	 "ATP1997",
  pages =	 "To appear"
}

@Unpublished{BartheHatcliffThiemann1997-submitted,
  author = 	 "Gilles Barthe and John Hatcliff and Peter Thiemann",
  title = 	 "Monadic Type Systems",
  note = 	 "Submitted for publication",
  year =	 1997,
  month =	 jul
}