proglang-seminar.bib

% -*- BibTeX -*-
% Papers from Microsoft Research programming languages reading group,
% starting summer 1993.


@InProceedings{Kiczales92,
  author = 	 "Gregor Kiczales",
  title = 	 "Towards a new model of abstraction in software engineering",
  booktitle =	 "Proceedings of the International Workshop on Reflection
		  and Meta-Level Architecture",
  pages =	 "1--11",
  year =	 1993,
  address =	 "Tama-City, Tokyo",
  month =	 nov # "~4--7,"
}

@InProceedings{AdamsCS93,
  author = 	 "Norman Adams and Pavel Curtis and Mike Spreitzer",
  title = 	 "First-class Data-type Representations in {\sc SchemeXerox}",
  crossref =     "PLDI93",
  pages =	 "139--146",
}

@Article{BurkeT93,
  author = 	 "Michael Burke and Linda Torczon",
  title = 	 "Interprocedural optimization:  eliminating unnecessary
		  recompilation",
  journal =	 toplas,
  year =	 1993,
  volume =	 15,
  number =	 3,
  pages =	 "367--399",
  month =	 Jul
}

@Manual{NewtonScript,
  title = 	 "The {NewtonScript} programming language",
  organization = "Apple Computer, Inc.",
  year =	 1993,
  month =	 Jul # "~17,",
  note =	 "Alpha draft 1.0"
}

@Unpublished{TofteT93,
  author = 	 "Mads Tofte and Jean-Pierre Talpin",
  title = 	 "Implementation of the typed call-by-value
		  $\lambda$-calculus using a stack of regions",
  note = 	 "Submitted to POPL '93 (and, I think, accepted)"
}




@Article{KamU76,
  author = 	 "John B. Kam and Jeffrey D. Ullman",
  title = 	 "Global data flow analysis and iterative algorithms",
  journal =	 jacm,
  year =	 1976,
  volume =	 23,
  number =	 1,
  pages =	 "158--171",
  month =	 jan
}


@Article{DybvigHB93,
  author = 	 "R. Kent Dybvig and Robert Hieb and Carl Bruggeman",
  title = 	 "Syntactic abstraction in {S}cheme",
  journal =	 lsc,
  year = 	 "1993",
  volume =	 5,
  pages =	 "295--326"
}


% Boehm93
% Hans-Juergen Boehm
% Space efficient conservative garbage collection
% See gc.bib.


@Article{Baker93,
  author = 	 "Henry G. Baker",
  title = 	 "Equal rights for functional objects or, the more things
		  change, the more they are the same",
  journal =	 "OOPS Messenger",
  year =	 1993,
  volume =	 4,
  number =	 4,
  pages =	 "2--27",
  month =	 Oct
}


@InProceedings{Lamping93,
  author = 	 "John Lamping",
  title = 	 "Typing the Specialization Interface",
  booktitle =	 "OOPSLA93",
  pages =	 "201--214",
  year =	 1993,
  month =	 Sep
}

@InProceedings{SabryF93,
  author = 	 "Amr Sabry and John Field",
  title = 	 "Reasoning about explicit and implicit representations of state",
  crossref = 	 "SIPL93",
  pages =	 "17--30",
  note =	 "Technical report YALEU/DCS/RR-968"
}

@InProceedings{BurnellH93,
  author = 	 "Lisa J. Burnell and Eric J. Horvitz",
  title = 	 "A synthesis of logical and probabilistic reasoning for
		  program understanding and debugging",
  booktitle =	 "CUAI '93",
  pages =	 "285--291",
  year =	 1993
}

@Article{PierceT94,
  author = 	 "Benjamin C. Pierce and David N. Turner",
  title = 	 "Simple type-theoretic foundations for object-oriented
		  programming",
  journal = 	 "Journal of Functional Programming",
  year = 	 1994,
  volume = 	 4,
  number = 	 2,
  pages = 	 "207--247",
  month = 	 apr
}

@Unpublished{AustinBS93,
  author = 	 "Todd M. Austin and Scott E. Breach and Gurindar S. Sohi",
  title = 	 "Efficient detection of all pointer and array access errors",
  note = 	 "Draft distributed via Internet",
  year =	 1993,
  month =	 Dec # "~1,"
}

@InProceedings{DuesterwaldGS93,
  author = 	 "Evelyn Duesterwald and Rajiv Gupta and Mary Lou Soffa",
  title = 	 "A practical data flow framework for array reference
		  analysis and its use in optimizations",
  crossref =     "PLDI93",
  pages =	 "68--77",
}




@Article{DetlefsD94,
  author = 	 "David Detlefs and Al Dosser",
  title = 	 "Memory allocation costs in large {C} and {C++} programs",
  journal =	 "SPE",
  year =	 1994,
  volume =	 24,
  number =	 6,
  pages =	 "527--542",
  month =	 Jun
}


@Article{BoehmW88,
  author = 	 "Hans-Juergen Boehm and Mark Weiser",
  title = 	 "Garbage collection in an uncooperative environment",
  journal =	 "SPE",
  year =	 1988,
  volume =	 18,
  number =	 9,
  pages =	 "807--820",
  month =	 Sep
}