Bibliography
techreport{Jac96,
author = "B.P.F. Jacobs",
title = "Objects and classes, coalgebraically",
number = "CS-R9536",
month = "june",
year = "1996",
institution = "CWI"
}
@inproceedings{JP93,
key = {JP93},
author = {R. Johnson and K. Pingali},
title = {Dependence-Based Program Analysis},
booktitle = {Proceedings of the ACM 1989 Conference on
Programming Language
Design and Implementation},
pages = {78--89},
address = {Albuquerque},
year = {1993},
note = {SIGPLAN Notices 28(6)}
}
@inproceedings{JZR91,
key = {JZR91},
author = {J. Jiang and X. Zhou and D.J. Robson},
title = {Program Slicing for {C} - The Problems In
Implementation},
booktitle = {Proceedings of the Conference on Software
Maintenance},
pages = {182--190},
year = {1991}
}
@techreport{JJWW90,
key = {JJWW90},
author = {Jager, P. de and W. Jonker and A. Wammes and J.
Wester},
title = {{O}n the generation of interactive programming
environments
- {A} {LOTOS} case study},
institution = {PTT Research Tele-informatics},
address = {Groningen},
year = {1990},
note = {To appear in Proceedings of the Third
International Workshop
Software Engineering and its Applications}}
@techreport{JJWW91,
key = {JJWW91},
author = {Jager, P. de and W. Jonker and A. Wammes and J.
Wester},
title = {An interactive programming environments for
{LOTOS}},
institution = {PTT Research Tele-informatics},
address = {Groningen},
year = {1991},
note = {To appear in Proceedings of the Third
International
Conference on Formal Description Techniques}}
@misc{Jan83,
key = {Jan83},
author = {T.M.V. Janssen},
title = {{F}oundations and {A}pplications of {M}ontague
{G}rammar},
address = {Amsterdam},
year = {1983},
note = {Ph.D. Thesis}}
@article{Jan86,
key = {Jan86},
author = {M. Jantzen},
title = {{C}onfluent string rewriting and congruences},
journal = {Bulletin of the European Association for
Theoretical Computer Science},
volume = {28},
pages = {52-72},
year = {1986}}
@article{Jon90,
key = {Jon90},
author = {L.G. Jones },
title = {{E}fficient evaluation of circular attribute
grammars},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {12},
number = {3},
pages = {429-462},
year = {1990}}
@inproceedings{JSS85,
key = {JSS85},
author = {N.D. Jones and P. Sestoft and H.
S{\o}ndergaard},
title = {{A}n experiment in partial evaluation: the
generation of a compiler generator},
booktitle = {Proceedings of the First International
Conference on Rewriting Techniques and Applications},
series = {Lecture Notes in Computer Science},
editor = {J.-P. Jouannaud},
volume = {202},
pages = {124-140},
organization = {Springer-Verlag},
year = {1985}}
@techreport{JK84,
key = {JK84},
author = {J.-P. Jouannaud and H. Kirchner},
title = {{C}ompletion of a set of rules modulo a set of
equations},
institution = {SRI International},
type = {{CSL} {T}echnical {N}ote},
address = {Menlo Park, California},
year = {1984}}
@article{JL82,
key = {JL82},
author = {J.-P. Jouannaud and P. Lescanne},
title = {{O}n multiset orderings},
journal = {Information Processing Letters},
volume = {15},
number = {2},
pages = {57-63},
year = {1982}}
@incollection{JW87, key = {JW87}, author = {J.-P.
Jouannaud and B. Waldmann}, title = {{R}eductive conditional term
rewriting systems}, booktitle = {Proceedings of the Third IFIP Working
Conference on Formal Description of Programming Concepts}, editor = {M.
Wirsing}, pages = {223-244}, publisher = {Elsevier}, year = {1987}}
@inproceedings{Jou84,
key = {Jou84},
author = {M. Jourdan},
title = {{S}trongly non-circular attribute grammars and
their recursive evaluation},
booktitle = {Proceedings of the ACM SIGPLAN '84 Symposium on
Compiler Construction},
pages = {81-93},
organization = {ACM},
year = {1984},
note = {Appeared as {\it SIGPLAN Notices} 19(6)}}
@inproceedings{JLP90,
key = {JLP90},
author = {M. Jourdan and C. Le Bellec and D. Parigot},
title = {{T}he {O}lga attribute grammar description
language: design, implementation and evaluation},
booktitle = {Attribute grammars and their applications -
Proceedings of the WAGA conference},
series = {Lecture Notes in Computer Science},
editor = {P.Deransart M. Jourdan },
volume = {461},
pages = {222-237},
organization = {Springer-Verlag},
year = {1990}}
@techreport{JP90,
key = {JP90},
author = {C. Juli{\'{e}} and D. Parigot},
title = {{S}pace optimization in the {FNC}-2 attribute
grammar system},
institution = {INRIA},
type = {{R}apports de {R}echerche 1165},
address = {Rocquencourt},
year = {1990}}
@techreport{Joo90,
key = {Joo90},
author = {H. Joosten},
title = {A transformation tool for {B}asic {LOS}
developed with the
Interactive programming environment generator {CENTAUR}},
type = {Report PTL-AF-90-5001},
institution = {PTT Research Tele-informatics},
address = {Groningen},
year = {1990}}
@inproceedings{JF85.nonlocal,
key = {JF85},
author = {G.F. Johnson and C.N. Fischer},
title = {A meta-language and system for nonlocal
incremental
attribute-evaluation in language-based editors},
booktitle = {Conference Record of the Twelfth ACM Symposium
on
Principles of Programming Languages},
editor = {B. Reid},
pages = {141-151},
organization = {ACM},
year = {1985}
}
@incollection{Joh91,
author = {Johnson, M.},
title = {The computational complexity of {GLR} parsing},
pages = {33-42},
editor = {Tomita, M.},
booktitle = {Generalized {LR} Parsing},
year = {1991},
publisher = {Kluwer Academic Publishers},
}
@phdthesis{Jeu93.thesis,
author = "J. Jeuring",
title = "Theories for Algorithm Calculation",
school = "Rijksuniversiteit Utrecht",
year = 1993
}
@inproceedings{Jeu91,
author = {J. Jeuring},
title = {Incremental algorithms on lists},
booktitle = {Conference Proceedings of Computing Science in
the
Netherlands, CSN'91},
editor = {Leeuwen, J. van},
pages = {315-335},
organization = {SION},
year = {1991}}
@book{JW86,
key = "JW86",
author = "K. Jensen and N. Wirth",
title = "Pascal User Manual and Report, ISO Pascal
Standard",
publisher = "Springer-Verlag",
year = 1986,
edition = "third"
}
@incollection{Jan88,
key = {Jan88},
author = {M. Jantzen},
title = {{C}onfluent {S}tring {R}ewriting},
booktitle = {EATCS Monographs on Theoretical Computer
Science},
editor = {W. Brauer and G. Rozenberg and A. Salomaa},
publisher = {Springer-Verlag},
year = {1988}}
@manual{Joh86,
key = {Joh86},
author = {S.C. Johnson},
title = {{YACC}: yet another compiler-compiler},
note = {UNIX Programmer's Supplementary Documents,
Volume 1 (PS1)},
organization = {Bell Laboratories},
year = {1986}}
@techreport{Jon88,
key = {Jon88},
author = {Jong, V.J. de},
title = {{C}onductor: a multilingual programming
environment for statistical software},
institution = {University of Groningen},
year = {1988},
note = {Ph.D. Thesis}}
@techreport{JP88,
key = {JP88},
author = {M. Jourdan and D. Parigot},
title = {{T}he {FNC}-2 system: advances in attribute
grammar technology},
institution = {INRIA},
type = {{R}apports de {R}echerche 834},
address = {Rocquencourt},
year = {1988}}
@inproceedings{JG90,
key = "JG90",
author = "Pierre Jouvelot and David K. Gifford",
title = "Algebraic Reconstruction of Types and Effects",
booktitle = "ACM Symposium on Principles Of Programming Languages (POPL)",
year = "1990",
pages = "303--310"
}
@inproceedings{JW93,
key = "JW93",
author = "Simon L. Peyton Jones and Philip Wadler",
title = "Imperative functional programming",
booktitle = "ACM Symposium on Principles Of Programming Languages (POPL)",
year = "1993",
pages = "71--84"
}
@article{JD94,
key = "JD94",
author = "Gregory F. Johnson and Dominic Duggan",
title = "First-class stores and partial continuations in a programming
language and environment",
journal = "Computer Languages",
volume = "20",
number = "1",
pages = "53-68",
year = "1994"
}
@article{JS89b,
key = "JS89b",
author = "S.B. Jones and A.F. Sinclair",
title = "Functional Programming and Operating Systems",
journal = "The Computer Journal",
volume = "32",
number = "2",
year = "1989"
}
@inproceedings{JL91,
key = "JL91",
author = "Simon L Peyton Jones and John Launchbury",
title = "Unboxed Values as first class citizens in a
non-strict functional language",
month = "September",
year = "1991",
booktitle = "Proceedings of the 1991 Conference on Functional
Programming Languages and Computer Architecture",
address = "Cambridge"
}
@inproceedings{Joh85,
key = "Joh85",
author = "Thomas Johnsson",
title = "Lambda Lifting: Transforming Programs to Recursive
Equations",
year = "1985",
booktitle = "Conference on Functional Programming Languages
and Computer Architecture",
address = "Nancy",
editor = "Springer",
month = "September"
}
@inproceedings{JS89,
key = "JS89",
author = "Simon L Peyton Jones and Jon Salkild",
title = "The {S}pineless {T}agless {G}-machine",
booktitle = "Functional Programming and Computer Architecture",
year = "1989",
publisher = "ACM",
pages = "184--201"
}
@techreport{JS91,
key = {JS91},
author = {B. Johansson and R. Storlind},
title = {Generic Environment for Application Oriented
Languages},
institution = {Asea Brown Boveri Corporate Research},
type = {{T}echnical {R}eport {SERES} {KL/TR}-90-015},
address = {Lund},
year = {1991}
}
@TechReport{JM91,
author = "Ralph~E.~Johnson and Carl~D.~McConnell",
title = "The {RTL} System: A Framework for Code Optimization",
institution = "Department of Computer Science,
University of Illinois at Urbana-Champaign",
year = "1991",
key = "JM91",
note = "Available by anonymous ftp from speedy.cs.uiuc.edu,
file /pub/papers/RTL-System.ps"
}