Collberg's Complete Reference List
@ARTICLE{Abadi91,
AUTHOR = "Martin Abadi and Luca Cardelli and Benjamin Pierce
and Gordon Plotkin",
TITLE = "Dynamic Typing in a Statically Typed Language",
JOURNAL = TOPLAS,
VOLUME = 13,
NUMBER = 2,
PAGES = {237--268},
MONTH = apr,
YEAR = 1991,
KEYWORDS = "PROGLANG, THEORY"
}
@ARTICLE{Ackerman89,
AUTHOR = "A. Frank Ackerman and Lynne S. Buchwald and Frank H. Lewski",
TITLE = "Aoftware Inspectionms: {An} Effective Verification Process",
JOURNAL = SOFTWARE,
PAGES = {31--36},
MONTH = may,
YEAR = 1989,
KEYWORDS = "SOFTENG, INSPECTIONS, VERIFICATION"
}
@CONFERENCE{Adams89,
AUTHOR = "Rolf Adams and Annette Weinert and Walter Tichy",
TITLE = "Software Change Analysis {\em or}
{H}alf of all {A}da Compilations are Redundant",
BOOKTITLE = "2nd European Software Engineering Conference",
ADDRESS = "Coventry, UK",
MONTH = sep,
PAGES = {203--221},
YEAR = 1989,
KEYWORDS = "SMART RECOMPILATION, ADA"
}
@ARTICLE{Aho76,
AUTHOR = "A. V. Aho and S. C. Johnson",
TITLE = "Optimal Code Generation for Expression Trees",
JOURNAL = JACM,
VOLUME = 23,
NUMBER = 3,
PAGES = {488--501},
MONTH = jul,
YEAR = 1976,
KEYWORDS = "COMPILERS, CODE GENERATION"
}
@ARTICLE{Aho77,
AUTHOR = "A. V. Aho and S. C. Johnson and J. D. Ullman",
TITLE = "Code Generation for Expressions with Common Subexpressions",
JOURNAL = JACM,
VOLUME = 24,
NUMBER = 1,
PAGES = {146--160},
MONTH = jan,
YEAR = 1977,
KEYWORDS = "COMPILERS, CODE GENERATION"
}
@BOOK{Aho86,
AUTHOR = "Alfred V. Aho and Ravi Sethi and Jeffrey D. Ullman",
TITLE = "Compilers, Principles, Techniques, and Tools",
PUBLISHER = Addison,
NOTE = "ISBN 0-201-10088-6",
YEAR = 1986,
KEYWORDS = "COMPILERS"
}
@MISC{Alencar,
AUTHOR = "Antonio J. Alencar",
TITLE = "{OOZE:} An Object Oriented {Z} Environment",
KEYWORDS = "SOFTENG, FORMAL SPECIFICATION, Z, ZED"
}
@ARTICLE{Allen80,
AUTHOR = "F. E. Allen and J. L. Carter and J. Fabri and J. Ferrante
and W. H. Harrison and P. G. Loewner and L. H. Trevillyan",
TITLE = "The Experimental Compiling System",
JOURNAL = "IBM Journal of Research and Development",
VOLUME = 24,
NUMBER = 6,
MONTH = nov,
PAGES = {695--715},
YEAR = 1980,
KEYWORDS = "COMPILER, CODE GENERATION, OPTIMIZATION,
INTERMEDIATE CODE, INLINE, PL/1"
}
@CONFERENCE{Allen88,
AUTHOR = "Randy Allen and Steve Johnson",
TITLE = "Compiling {C} for Vectorization, Parallelization, and
Inline Expansion",
BOOKTITLE = "SIGPLAN '88 Conference on Programming Language Design and
Implementation",
ADDRESS = "Atlanta, Georgia",
MONTH = jun,
PAGES = {241--249},
YEAR = 1988,
KEYWORDS = "COMPILER, CODE GENERATION, OPTIMIZATION"
}
@CONFERENCE{Alpern88,
AUTHOR = "Bowen Alpern and Mark N. Wegman and F. Kenneth Zadeck",
TITLE = "Detecting Equalities of Variables in Programs",
BOOKTITLE = "15th Annual ACM Symposium on Principles of Programming Languages",
ADDRESS = "San Diego, California",
MONTH = jan,
PAGES = {1--11},
YEAR = 1988,
KEYWORDS = "COMPILER, CODE GENERATION, OPTIMIZATION, INTERMEDIATE CODE"
}
@CONFERENCE{Alpern90,
AUTHOR = "Bowen Alpern and Roger Hoover and Barry K. Rosen
and Peter F. Sweeney F. Kenneth Zadeck",
TITLE = "Incremental Evaluation of Computational Circuits",
BOOKTITLE = "First Annual acm-siam Symposium on Discrete Algorithms",
ADDRESS = "San Francisco, California",
MONTH = jan,
PAGES = {32--42},
YEAR = 1990,
KEYWORDS = "COMPILER, EXPRESSION, INCREMENTAL"
}
@TECHREPORT{Ambler76,
AUTHOR = "Allen A. Ambler and Charles G. Hoch",
TITLE = "A Study of Protection in Programming Languages",
INSTITUTION = "University of Texas at Austin",
NUMBER = "ICSCA-CMP-3",
YEAR = 1976,
KEYWORDS = "PROGLANG, PROTECTION, EUCLID, CLU, PASCAL, CONCURRENT PASCAL,
GYPSY"
}
@ARTICLE{Ambler77,
AUTHOR = "Allen L. Ambler and Donald I Good and James C. Brown and
Wilhelm F. Burger and Richard M. Cohen and Charles G.
Hoch and Robert E. Wells",
TITLE = "{GYPSY}: A Language for Specification and Implementation
of Verifiable Programs",
JOURNAL = SIGPLAN,
NOTE = "ACM Conference on Language Design for Reliable Software",
NUMBER = 3,
VOLUME = 12,
MONTH = mar,
PAGES = {1--10},
YEAR = 1977,
KEYWORDS = "PROGLANG, GYPSY, PROTECTION, VERIFICATION"
}
@ARTICLE{Ambler92,
AUTHOR = "Allen L. Ambler and Margaret M. Burnett and Betsy A. Zimmerman",
TITLE = "Operational Versus Definitional: A Perspective on
Programming Paradigms",
JOURNAL = "IEEE Computer",
VOLUME = 25,
NUMBER = 9,
PAGES = {28--43},
MONTH = sep,
YEAR = 1992,
KEYWORDS = "PROGLANG, PARADIGMS, SURVEY, OBJECT-ORIENTED, LOGIC,
FUNCTIONAL, IMPERATIVE, ASYNCHRONOUS, SYNCHRONOUS,
TRANSFORMATIONAL, DATAFLOW, CONSTRAINT"
}
@ARTICLE{AmericaXX,
AUTHOR = "Pierre America",
TITLE = "Object-Oriented Programming: A Theoretician's Approach",
JOURNAL = "XXX",
YEAR = 1900,
KEYWORDS = "PROGLANG, THEORY, OOP"
}
@ARTICLE{Amman83,
AUTHOR = "Ueli Ammann",
TITLE = "Modula-2: Eine Maschinennahe, Modulare, Programmiersprache",
JOURNAL = "Elektronik",
VOLUME = 9,
NUMBER = 6,
YEAR = 1983,
KEYWORDS = "PROGLANG, MODULA-2"
}
@CONFERENCE{Ancona84,
AUTHOR = "M. Ancona and L. De Floriani and D. Dodero and P. Thea",
TITLE = "Program Development by Using a Source Linker",
BOOKTITLE = "4th Jerusalem Conference on Information technology (JCIT).
Next Decade in Information Technology",
PAGES = {251--259},
ADDRESS = "Jerusalem, Israel",
MONTH = may,
YEAR = 1984,
KEYWORDS = "COMPILER, LINKER"
}
@ARTICLE{Anderson93,
AUTHOR = "Ronald E. Anderson and Deborah G. Johnson and Donald
Gotterbarn and Judith Perrolle",
TITLE = "Using the New {ACM} Code of Ethics in Decision Making",
JOURNAL = CACM,
VOLUME = 36,
NUMBER = 2,
PAGES = {98--107},
MONTH = feb,
YEAR = 1993,
KEYWORDS = "SOFTENG, ETHICS"
}
@BOOK{Anklam82,
AUTHOR = "Patricia Anklam and David Cutler and
Roger {Heinen Jr}. and M. Donald MacLaren",
TITLE = "Engineering a Compiler. {VAX-11} Code Generation
and Optimization",
PUBLISHER = "Digital",
NOTE = "ISBN 0-932376-19-3",
YEAR = 1982,
KEYWORDS = "COMPILER, OPTIMIZATION, CODE GENERATION"
}
@MISC{Appel,
AUTHOR = "Andrew W. Appel and David B. MacQueen",
TITLE = "Standard {ML} of {New Jersey}",
KEYWORDS = "PROGLANG, COMPILER, ML, SML"
}
@CONFERENCE{Archer86,
AUTHOR = "James E. Archer and Michael T. Devlin",
TITLE = "{Rational's} Experience Using {Ada} for Very Large Systems",
BOOKTITLE = "Proceedings of the First International Conference on
{Ada} Programming Language Applications for the {NASA}
Space Station",
PAGES = {251--259},
ADDRESS = "Houston, Texas, USA",
MONTH = jun,
YEAR = 1986,
KEYWORDS = "SOFTENG, COMPILER, ENVIRONMENT, ADA, RATIONAL"
}
@ARTICLE{Atkinson78,
AUTHOR = "Russell R. Atkinson and Barbara H. Liskov
and Robert W. Scheifler",
TITLE = "Aspects of Implementing {CLU}",
JOURNAL = "Proceedings ACM National Conference",
PAGES = {123--129},
MONTH = dec,
YEAR = 1978,
KEYWORDS = "PROGLANG, COMPILER, CLU"
}
@ARTICLE{Atkinson85,
AUTHOR = "Malcolm P. Atkinson and Ronald Morrison",
TITLE = "Procedures as Persistent Data Objects",
JOURNAL = TOPLAS,
VOLUME = 7,
NUMBER = 4,
PAGES = {539--559},
MONTH = oct,
YEAR = 1985,
KEYWORDS = "PROGLANG, PERSISTENCE"
}
@CONFERENCE{Baalbergen86,
AUTHOR = "Erik H. Baalbergen",
TITLE = "Parallel and Distributed Compilations in
Loosely-Coupled Systems: A Case Study",
BOOKTITLE = "Proc. Workshop on Large Grain Parallelism",
YEAR = "1986",
KEYWORDS = "DISTPROG, MAKE"
}
@ARTICLE{Baalbergen88,
AUTHOR = "Erik H. Baalbergen",
TITLE = "Design and Implementation of Parallel Make",
JOURNAL = "Computing Systems",
PAGES = {135--158},
VOLUME = 1,
YEAR = 1988,
KEYWORDS = "DISTPROG, MAKE"
}
@ARTICLE{Baalbergen89,
AUTHOR = "Erik H. Baalbergen and Kees Verstoep and Andrew S. Tanenbaum",
TITLE = "On the Design of the Amoeba Configuration Manager",
JOURNAL = "ACM SIGSOFT Software Engineering Notes",
NOTE = "Proc. 2nd ACM International Workshop on Software Configuration
Management",
VOLUME = 17,
MONTH = nov,
YEAR = 1989,
KEYWORDS = "DISTPROG, MAKE"
}
@CONFERENCE{Bal87,
AUTHOR = "Henri. E. Bal and R. van Renesse and Andrew. S. Tanenbaum",
TITLE = "Implementing Distributed Algorithms Using
Remote Procedure Calls",
BOOKTITLE = "Proc. National Computer Conference, AFIPS",
PAGES = {499--505},
YEAR = 1987,
KEYWORDS = "DISTPROG, RPC"
}
@ARTICLE{Bal92,
AUTHOR = "Henri. E. Bal and Frans Kaashoek and Andrew. S. Tanenbaum",
TITLE = "{Orca: A} Language for Parallel Programming of
Distributed Systems",
BOOKTITLE = SOFTWARE,
VOLUME = 18,
NUMBER = 3,
PAGES = {190--205},
MONTH = mar,
YEAR = 1992,
KEYWORDS = "DISTPROG, RPC"
}
@CONFERENCE{Ball79,
AUTHOR = "J. Eugene Ball",
TITLE = "Predicting the Effects of Optimization on a Procedure Body",
BOOKTITLE = "Proceedings of the '79 Symposium on Compiler Construction",
PAGES = {214--220},
YEAR = 1979,
KEYWORDS = "COMPILER, OPTIMIZATION, INLINE"
}
@ARTICLE{Barringer79,
AUTHOR = "H. Barringer and P.C. Capon and R. Philips",
TITLE = "The Portable Compiling Systems of {MUSS}",
JOURNAL = SPE,
VOLUME = 9,
PAGES = {645--655},
YEAR = 1979,
KEYWORDS = "COMPILER, PORTABLE, MUSS"
}
@ARTICLE{Bates90,
AUTHOR = "Rodney M. Bates",
TITLE = "Two Limitations of {Modula-2}",
JOURNAL = MODUS,
NUMBER = 10,
PAGES = {22--27},
MONTH = jul,
YEAR = 1990,
KEYWORDS = "PROGLANG, MODULA-2"
}
@ARTICLE{Bauer72,
AUTHOR = {F. L. Bauer and H. W\"ossner},
TITLE = {The ``Plankalk\"ul'' of {Konrad Zuse}: {A} Forerunner
of Today's Programming Languages},
JOURNAL = CACM,
VOLUME = 15,
NUMBER = 7,
PAGES = {678--685},
MONTH = jul,
YEAR = 1972,
KEYWORDS = "PROGLANG, HISTORY, PLANKALKUL"
}
@BOOK{Beck90,
AUTHOR = "Leland L. Beck",
TITLE = "System Software -- An Introduction to
Systems Programming",
EDITION = "second",
PUBLISHER = Addison,
NOTE = "ISBN 0-201-50945-8",
YEAR = 1990,
KEYWORDS = "PROGRAMMING, LINKER, LOADER, ASSEMBLER"
}
@CONFERENCE{Belkhatir86,
AUTHOR = "N. Belkhatir and J. Estublier",
TITLE = "Experience with a Database of Programs",
BOOKTITLE = "ACM SIGSOFT/SIGPLAN Software Engineering Symposium on
Practical Software Development Environments",
ADDRESS = "Palo Alto, California, USA",
PAGES = {84--90},
MONTH = dec,
YEAR = 1986,
KEYWORDS = "COMPILER, LIBRARY, ENVIRONMENT, PROTECTION, VISIBILITY, ADELE,
MODULE, INTERFACE"
}
@ARTICLE{Bender86,
AUTHOR = "E. A. Bender and L. B. Richmond and R. W Robinson and
N. C. Wormald",
TITLE = "The Asymptotic Number of Acyclic Digraphs. I.",
JOURNAL = "Combinatorica",
VOLUME = 6,
NUMBER = 1,
PAGES = {15-22},
YEAR = 1986,
KEYWORDS = "MATH, DAG"
}
@CONFERENCE{Benitez88,
AUTHOR = "Manuel E. Benitez and Jack W. Davidson",
TITLE = "A Portable Global Optimizer and Linker",
BOOKTITLE = "Proceedings of the SIGPLAN'88 Conference
on Programming Language Design and Implementation",
PAGES = {329--338},
ADDRESS = "Atlanta, Georgia, USA",
MONTH = jun,
YEAR = 1988,
KEYWORDS = "COMPILER, LINKER, GLOBAL OPTIMIZATION, INTERMEDIATE CODE, RTL,
REGISTER ALLOCATION"
}
@TECHREPORT{Benveniste90,
AUTHOR = "Marc Benveniste",
TITLE = "Operational Semantics of a Distributed Object-Oriented
Language and its {Z} Formal Specification",
INSTITUTION = "INRISA/INRIA-Rennes",
TYPE = "Publication Interne",
NUMBER = 532,
ADDRESS = "Rennes Cedex, France",
MONTH = apr,
YEAR = 1990,
KEYWORDS = "PROGLANG, DISTCOMP, SEMANTICS, Z"
}
@TECHREPORT{BenvenistesXX,
AUTHOR = "Marc Benvenistes and Valerie Issarny",
TITLE = "Concurrent Programming Notations in the
Object-Oriented Language {Arche}",
INSTITUTION = "IRISA/INRIA-RENNES",
NUMBER = "??",
YEAR = 1900,
KEYWORDS = "PROGLANG, PARALLEL, OBJECT-ORIENTED"
}
@ARTICLE{Berry85,
AUTHOR = "R. E. Berry and B. A. E. Meekings",
TITLE = "A Style Analysis of {C} Programs",
JOURNAL = CACM,
VOLUME = 28,
NUMBER = 1,
PAGES = {80--88},
MONTH = jan,
YEAR = 1991,
KEYWORDS = "PROGLANG, STATISTICS, SURVEY, C"
}
@ARTICLE{Bertolino91,
AUTHOR = "Antonia Bertolino",
TITLE = "An Overview of Automated Software Testing",
JOURNAL = "Journal of Systems Software",
NUMBER = 15,
PAGES = {133--138},
YEAR = 1991,
KEYWORDS = "SOFTENG, TESTING, SURVEY"
}
@BOOK{Bertsekas89,
AUTHOR = "Dimitri P. Bertsekas and John N. Tsitsiklis",
TITLE = "Parallel and Distributed Computation -- Numerical Methods",
PUBLISHER = PrenticeHall,
NOTE = "ISBN 0-13-648759-9",
YEAR = 1989,
KEYWORDS = "DISTCOMP, NUMERICS"
}
@CONFERENCE{Berztiss86,
AUTHOR = "Alfs T. Berztiss",
TITLE = "Data Abstraction in the Specification of Information Systems",
BOOKTITLE = "Information Processing (IFIP) '86",
PUBLISHER = "Elsevier Science Publishers B. V.",
YEAR = 1986,
KEYWORDS = "SOFTENG, ABSTRACTION"
}
@ARTICLE{Bilbe85,
AUTHOR = "Charles R. Bilbe",
TITLE = "Using the Heap for {Modula-2} Opaque Types",
JOURNAL = MODUS,
VOLUME = 4,
NUMBER = 6,
PAGES = {24--30},
MONTH = nov,
YEAR = 1985,
KEYWORDS = "PROGLANG; PROGRAMMING, MODULA-2, OPAQUE TYPE"
}
@ARTICLE{Birrell84,
AUTHOR = "Andrew D. Birrell and Bruce Jay Nelson",
TITLE = "Implementing Remote Procedure Calls",
JOURNAL = TOCS,
VOLUME = 2,
NUMBER = 1,
PAGES = {39--59},
MONTH = feb,
YEAR = 1984,
KEYWORDS = "DISTPROG, RPC"
}
@BOOK{Birtwistle73,
AUTHOR = "G. Birtwistle AND OTHERS",
TITLE = "Simula Begin",
PUBLISHER = "Auerbach",
ADDRESS = "Pennsauken, N.J.",
YEAR = 1973,
KEYWORDS = "PROGLANG, SIMULA"
}
@ARTICLE{Bischofberger89,
AUTHOR = "W. Bischofberger and R. Keller",
TITLE = "Enhancing the Software Life Cycle by Prototyping",
JOURNAL = "Structured Programming",
NUMBER = 1,
PAGES = {47--59},
YEAR = 1989,
KEYWORDS = "SOFTENG, PROTOTYPING"
}
@BOOK{Bishop86,
AUTHOR = "Judy M. Bishop",
TITLE = "Data Abstraction in Programming Languages",
PUBLISHER = Addison,
NOTE = "ISBN 0-201-14222-8",
YEAR = 1986,
KEYWORDS = "PROGLANG, ABSTRACTION"
}
@ARTICLE{Bishop90,
AUTHOR = "Judy M. Bishop",
TITLE = "The Effect of Data Abstraction on Loop Programming Techniques",
JOURNAL = SOFTENG,
VOLUME = 16,
NUMBER = 4,
PAGES = {389--402},
MONTH = apr,
YEAR = 1990,
KEYWORDS = "PROGRAMMING, ABSTRACTION, ITERATION, ADA, GENERIC"
}
@ARTICLE{Bivens90,
AUTHOR = "Mary P. Bivens and Mary Lou Soffa",
TITLE = "Incremental Register Reallocation",
JOURNAL = SPE,
PAGES = {1015--1047},
VOLUME = 20,
NUMBER = 10,
MONTH = oct,
YEAR = 1990,
KEYWORDS = "COMPILER, LINKER, CODE GENERATION, REGISTER ALLOCATION"
}
@BOOK{Bjorner80,
AUTHOR = {Dines Bj\"orner and O. N. Oest},
TITLE = "Towards a Formal Description of {Ada}",
SERIES = "LNCS 98",
PUBLISHER = Springer,
NOTE = "ISBN 3-540-10283-1",
YEAR = 1980,
KEYWORDS = "PROGLANG, DENOTATIONAL SEMANTICS, ADA, VDM"
}
@BOOK{Bjorner82,
AUTHOR = {Dines Bj\"orner and Cliff B. Jones},
TITLE = "Formal Specification \& Software Development",
PUBLISHER = PrenticeHall,
NOTE = "ISBN 0-13-329003-4",
YEAR = 1982,
KEYWORDS = "PROGLANG, DENOTATIONAL SEMANTICS, SPECIFICATION, VDM"
}
@ARTICLE{Blaschek89,
AUTHOR = {G\"unter Blaschek and Gustav Pomberger and Alois Stritzinger},
TITLE = "A Comparison of Object-Oriented Programming Languages",
JOURNAL = "Structured Programming",
VOLUME = 4,
NUMBER = 10,
PAGES = {187--197},
YEAR = 1989,
KEYWORDS = "PROGLANG, OOP, SURVEY"
}
@ARTICLE{Blum87,
AUTHOR = "E. K. Blum and Herbert Ehrig and F. Parisi-Presicce",
TITLE = "Algebraic Specification of Modules and Their
Basic Interconnections",
JOURNAL = JCSS,
NUMBER = 34,
PAGES = {293--339},
YEAR = 1987,
KEYWORDS = "SOFTENG, MODULE, SPECIFICATION"
}
@CONFERENCE{Boehm87,
AUTHOR = "Hans-Juergen Boehm and Willy Zwaenepoel",
TITLE = "Parallel Attribute Grammar Evaluation",
BOOKTITLE = "International Conference on Distributed Computing Systems",
EDITOR = "R. Popescu-Zeletin",
PAGES = {347--354},
ADDRESS = "Berlin, West Germany",
MONTH = sep,
YEAR = 1987,
KEYWORDS = "COMPILER, DISTPROG, ATTRIBUTE GRAMMAR"
}
@BOOK{Booch87,
AUTHOR = "Grady Booch",
TITLE = "Software Engineering with {Ada}",
NOTE = "ISBN 0-8053-0604-8",
PUBLISHER = "The Benjamin/Cummings Publishing Company",
YEAR = 1987,
KEYWORDS = "SOFTENG, PROGLANG, ADA"
}
@BOOK{Booch91,
AUTHOR = "Grady Booch",
TITLE = "Object Oriented Design with Applications",
NOTE = "ISBN 0-8053-0091-0",
PUBLISHER = "The Benjamin/Cummings Publishing Company",
YEAR = 1991,
KEYWORDS = "SOFTENG, OOP, ABSTRACTION, HIDING"
}
@PHDTHESIS{Borison89,
AUTHOR = "Ellen Ariel Borison",
TITLE = "Program Changes and the Cost of Selective Recompilation",
DEPARTMENT = "Computer Science",
SCHOOL = "Carnegie Mellon University",
YEAR = 1989,
EMAIL = "eab+@zog.cs.cmu.edu",
KEYWORDS = "PROGLANG, MODULES, COMPILER, SMART RECOMPILATION",
ABSTRACT = {$\cdots$ Not all effects of modularity are beneficial.
This research suggests that most of the recompilations
performed after a change to an interface are redundant
and that this redundancy is a direct consequence of
how we modularize software systems. $\cdots$
\par
$\cdots$ we would expect between 6 and 9 out of every 10
compilations to be unnecessary. $\cdots$
\par
$\cdots$ tying together a collection of disparate evidence
into a coherent picture of software manufacture. It
validates the approach $\cdots$ to use an underlying flat
(i.e. non-modular) representation of program objects, and
to the extent that recompilation costs reflect general
program complexity, leads us to question some basic
assumptions about modularization.}
}
@ARTICLE{Bracha87,
AUTHOR = "Gabriel Bracha and Sam Toueg",
TITLE = "Distributed Deadlock Detection",
JOURNAL = "Distributed Computing",
VOLUME = 2,
PAGES = {127--138},
YEAR = 1987,
KEYWORDS = "DISTPROG, DEADLOCK"
}
@CONFERENCE{Bracha90,
AUTHOR = "Gilad Bracha and William Cook",
TITLE = "Mixin-Based Inheritance",
BOOKTITLE = "ECOOP/OOPSLA '90",
PAGES = {303--311},
YEAR = 1990,
KEYWORDS = "PROGLANG, OOP, INHERITANCE"
}
@BOOK{Branquart82,
AUTHOR = {Paul Branquart and Georges Louis and Pierre Wodon},
TITLE = "An Analytical Description of {CHILL},
the {CCITT} High Level Language",
SERIES = "LNCS 128",
PUBLISHER = Springer,
NOTE = "ISBN 3-540-11196-4",
YEAR = 1982,
KEYWORDS = "PROGLANG, SEMANTICS, CHILL"
}
@ARTICLE{Bray84,
AUTHOR = "Gary Bray",
TITLE = "Sharing Code Among Instances of {Ada} Generics",
JOURNAL = SIGPLAN,
VOLUME = 19,
NUMBER = 6,
NOTE = "ACM Sigplan '84 Symposium on Compiler Construction",
PAGES = {276--284},
MONTH = jun,
YEAR = 1984,
KEYWORDS = "COMPILER, OPTIMIZATION, PROGLANG, ADA, GENERIC"
}
@TECHREPORT{Briggs90,
AUTHOR = "Preston Briggs and Keith D. Cooper and Mary W. Hall and
Linda Torczon",
TITLE = "Goal-Directed Interprocedural Optimization",
INSTITUTION = "Rice University",
TYPE = "Technical Report",
NUMBER = "TR90-147",
ADDRESS = "Houston, Texas, USA",
MONTH = nov,
YEAR = 1990,
KEYWORDS = "COMPILER, GLOBAL OPTIMIZATION"
}
@ARTICLE{BrinchHansen75,
AUTHOR = "Per Brinch Hansen",
TITLE = "The Programming Language {Concurrent Pascal}",
JOURNAL = SOFTENG,
VOLUME = 1,
NUMBER = 2,
PAGES = {199--207},
MONTH = jun,
YEAR = 1975,
KEYWORDS = "PROGLANG, CONCURRENT PASCAL"
}
@ARTICLE{Bron85,
AUTHOR = "C. Bron and E. J. Dijkstra and T. J. Rossingh",
TITLE = "A Note on the Checking of Interfaces Between
Separately Compiled Modules",
JOURNAL = SIGPLAN,
VOLUME = 20,
NUMBER = 8,
PAGES = {60--63},
MONTH = aug,
YEAR = 1985,
KEYWORDS = "COMPILER, INTERFACES, SEPARATE COMPILATION"
}
@TECHREPORT{Burstall84,
TITLE = "A Kernel Language for Modules and Abstract Data Types",
AUTHOR = "R. Burstall and B. Lampson",
ORGANIZATION = "DEC SRC",
PAGES = {1--51},
MONTH = sep,
NUMBER = 1,
YEAR = 1984,
NOTE = "http://www.research.digital.com/SRC/publications/src-rr.html",
URL = { Burstall84 },
ABSTRACT = "
A small set of constructs can simulate a wide variety of apparently
distinct features in modern programming languages. Using a kernel
language called Pebble based on the typed lambda calculus with
bindings, declarations, and types as first-class values, we show how to
build modules, interfaces and implementations, abstract data types,
generic types, recursive types, and unions. Pebble has a concise
operational semantics given by inference rules.",
ANNOTATE = "
Programming-language designers have invented a variety of language
extensions and special notations to deal with several problems that
arise in programming in the large. Some of the differences among such
features in Ada, CLU, Euclid, Mesa, ML, Modula, Russell, SML, et al.
are superficial; others are fundamental. Without a uniform semantic
framework it is difficult to compare and evaluate these features, or to
determine which choices are arbitrary and which are tightly
constrained. Pebble is a simpler language, intended for the precise
description of language constructs. It is used to explain strongly
typed module interconnection languages, abstract data types, and
procedures that are parameterized with respect to the types of
operands. It is based on the typed lambda calculus, extended to
encompass the linking together of separately checked modules into a
program. Bindings, declarations, and types -- as well as functions --
are all treated as first-class values; the type system includes
dependent types. This paper presents an informal overview of why the
approach can be expected to work. But the precise definition of the
features of existing languages in terms of Pebble is left as ``an
exercise for the reader.'' The semantics of Pebble are presented both
informally and formally. Representative cases are presented in great
detail, to illustrate the workings of the formalism. Jim Horning",
KEYWORDS = "LINKING, ADA, CLU, EUCLID, MESA, ML, MODULA, RUSSEL, SML,
PEBBLE"
}
@BOOK{Businger85,
AUTHOR = "Arnold Businger",
TITLE = "{PORTAL} Language Description",
SERIES = "LNCS 198",
PUBLISHER = Springer,
YEAR = 1985,
KEYWORDS = "PROGLANG, MODULE, PORTAL"
}
@CONFERENCE{Callahan86,
AUTHOR = "David Callahan and Keith D. Cooper and Ken Kennedy and
Linda Torczon",
TITLE = "Interprocedural Constant Propagation",
BOOKTITLE = "Proceedings of the SIGPLAN '86 Symposium On Compiler
Construction",
PUBLISHER = "ACM",
MONTH = jun,
YEAR = 1986,
KEYWORDS = "COMPILER, GLOBAL OPTIMIZATION"
}
@ARTICLE{Calliss89,
AUTHOR = "Frank W. Calliss and Barry J. Cornelius",
TITLE = "Two Module Factoring Techniques",
JOURNAL = "Software Maintenance: Research and Practice",
VOLUME = 1,
PAGES = {81--89},
YEAR = 1989,
KEYWORDS = "SOFTENG, MAINTENANCE, MODULES"
}
@CONFERENCE{Calliss90,
AUTHOR = "Frank W. Calliss amd Barry J. Cornelius",
TITLE = "Potpourri Module Detection",
BOOKTITLE = "Conference on Software Maintenance",
ADDRESS = "San Diego, California",
MONTH = nov,
YEAR = 1990,
KEYWORDS = "SOFTENG, MAINTENANCE, MODULES"
}
@ARTICLE{Calliss91a,
AUTHOR = "Frank W. Calliss",
TITLE = "A Comparison of Module Constructs in Programming Languages",
JOURNAL = SIGPLAN,
PAGES = {38--46},
VOLUME = 26,
NUMBER = 1,
MONTH = jan,
COMMENT = "Used to be Calliss91",
YEAR = 1991,
KEYWORDS = "PROGLANG, MODULE, SURVEY"
}
@CONFERENCE{Calliss91b,
AUTHOR = "Frank W. Calliss",
TITLE = "Assessing the Quality of Object-Oriented Designed Systems",
BOOKTITLE = "IEEE Global Telecommunications Conference",
ADDRESS = "Phoenix, Arizona",
MONTH = dec,
YEAR = 1991,
KEYWORDS = "SOFTENG, MAINTENANCE, MODULES, OBJECT-ORIENTED"
}
@ARTICLE{Calliss92,
AUTHOR = "Fran W. Calliss and Barry J. Cornelius",
TITLE = "Techniques for Factoring Program Modules",
YEAR = 1992,
KEYWORDS = "MODULES, PROGLANG, MODULA-2, SOFTENG"
}
@ARTICLE{Cameron89,
AUTHOR = "Robert D. Cameron",
TITLE = "Efficient High-Level Iteration with Accumulators",
JOURNAL = TOPLAS,
VOLUME = 11,
NUMBER = 2,
PAGES = {194--211},
MONTH = apr,
YEAR = 1989,
KEYWORDS = "PROGLANG, PROGRAMMING, MODULA-2, ITERATOR, GENERATOR"
}
@CONFERENCE{Canning89,
AUTHOR = "Peter S. Canning and William R. Cook and Walter L. Hill
and Walter G. Olthoff",
TITLE = "Interfaces for Strongly-Typed Object-Oriented Programming",
BOOKTITLE = "OOPSLA '89",
PAGES = {457--467},
MONTH = oct,
YEAR = 1989,
KEYWORDS = "PROGLANG, OOP, INTERFACES"
}
@ARTICLE{Cardelli85,
AUTHOR = "Luca Cardelli and Peter Wegener",
TITLE = "On Understanding Types, Data Abstraction, and Polymorphism",
JOURNAL = CS,
VOLUME = 17,
NUMBER = 4,
PAGES = {471--522},
MONTH = dec,
YEAR = 1985,
KEYWORDS = "PROGLANG, THEORY, TYPE, ABSTRACTION, POLYMORPHISM"
}
@TECHREPORT{Cardelli89a,
AUTHOR = "Luca Cardelli and James Donahue and Mick Jordan and
Bill Kalsow and Greg Nelson",
TITLE = "{Modula-3} Report (revised)",
INSTITUTION = "DEC SRC",
NUMBER = 52,
MONTH = nov,
YEAR = 1989,
KEYWORDS = "PROGLANG, TYPE, MODULE, INTERFACE, MODULA-3"
}
@CONFERENCE{Cardelli89b,
AUTHOR = "Luca Cardelli and James Donahue and Mick Jordan and
Bill Kalsow and Greg Nelson",
TITLE = "The {Modula-3} Type System",
BOOKTITLE = "Sixteenth Annual ACM Symposium on Principles
of Programming Languages",
PAGES = {202--212},
ADDRESS = "Austin, Texas",
MONTH = jan,
YEAR = 1989,
KEYWORDS = "PROGLANG, TYPE, MODULE, INTERFACE, MODULA-3"
}
@ARTICLE{Cardelli92,
AUTHOR = "Luca Cardelli and James Donahue and Lucille Glassman and
Mick Jordan and Bill Kalsow and Greg Nelson",
TITLE = "{Modula-3} Language Definition",
JOURNAL = SIGPLAN,
VOLUME = 27,
NUMBER = 8,
PAGES = {15--42},
MONTH = aug,
YEAR = 1992,
KEYWORDS = "PROGLANG, TYPE, MODULE, INTERFACE, MODULA-3"
}
@UNPUBLISHED{CardelliXX,
TITLE = "Program Fragments, Linking, and Modularization",
AUTHOR = "Luca Cardelli",
ANNOTATE = "
Luca Cardelli has written a paper $\cdots$ which is a
systematic account of linking. The paper explores
the view that linking is cut elimination. As far as
I know it has not been published. Robert Harper in comp.compilers",
KEYWORDS = "LINKING"
}
@ARTICLE{Carle87,
AUTHOR = "Alan Carle and Keith D. Cooper and Robert T. Hood
and Ken Kennedy and Linda Torczon and Scott K. Warren",
TITLE = "A Practical Environment for Scientific Programming",
JOURNAL = SOFTWARE,
VOLUME = 20,
NUMBER = 11,
PAGES = {75--89},
MONTH = nov,
YEAR = 1987,
KEYWORDS = "COMPILER, ENVIRONMENT, FORTRAN, INCREMENTAL, MODULE"
}
@CONFERENCE{Cashin81,
AUTHOR = "P. M. Cashin and M. L. Joliat and R. F. Kamel and
D. M. Lasker",
TITLE = "Experience with a Modular Typed Language: {Protel}",
BOOKTITLE = "5th International Conference on Software Engineering",
ADDRESS = "San Diego, California, USA",
PAGES = {136--143},
MONTH = mar,
YEAR = 1981,
KEYWORDS = "PROGLANG, PROTEL, MODULE"
}
@MISC{Cate,
AUTHOR = "Vincent Cate",
TITLE = "{Alex} -- a Global Filesystem",
KEYWORDS = "OPERATING SYSTEMS, FILE SYSTEMS"
}
@ARTICLE{Cattell80,
AUTHOR = "R. G. G. Cattell",
TITLE = "Automatic Derivation of Code Generators from
Machine Descriptions",
JOURNAL = TOPLAS,
PAGES = {173--190},
VOLUME = 2,
NUMBER = 2,
MONTH = apr,
YEAR = 1980,
KEYWORDS = "COMPILER, CODE GENERATION"
}
@CONFERENCE{Celentano78,
AUTHOR = "A. Celentano and P. Della Vigna and C. Ghezzi and D. Mandrioli",
TITLE = "Modularization of Block-structured Languages:
The Case of {Pascal}",
BOOKTITLE = "Workshop on Reliable Software",
ADDRESS = "Bonn, Germany",
PAGES = {167--79},
MONTH = sep,
YEAR = 1978,
KEYWORDS = "PROGLANG, COMPILER, LINKER, INTERFACES, MODULE,
SEPARATE COMPILATION"
}
@ARTICLE{Celentano80a,
AUTHOR = "A. Celentano and P. Della Vigna and C. Ghezzi and D. Mandrioli",
TITLE = "Separate Compilation and Partial Specification in {Pascal}",
JOURNAL = SOFTENG,
VOLUME = 6,
PAGES = {320--328},
MONTH = jul,
YEAR = 1980,
COMMENT = "Used to be Celentano80",
KEYWORDS = "PROGLANG, COMPILER, LINKER, INTERFACES, MODULE,
SEPARATE COMPILATION"
}
@ARTICLE{Celentano80b,
AUTHOR = "A. Celentano and S. Crespi Reghezzi and P. Della Vigna
and C. Ghezzi and G. Granata and F. Savoretti",
TITLE = "Compiler Testing using a Sentence Generator",
JOURNAL = SPE,
VOLUME = 10,
PAGES = {897--918},
YEAR = 1980,
KEYWORDS = "COMPILERS, TESTING"
}
@PHDTHESIS{Chambers92,
AUTHOR = "Craig Chambers",
TITLE = "The Design and Implementation of the {SELF} Compiler,
an Optimizing Compiler for Object-Oriented Programming
Languages",
SCHOOL = "Stanford University",
NUMBER = "STAN-CS-92-1420",
NOTE = "Available via anonymous ftp from {\tt self.stanford.edu}",
MONTH = mar,
YEAR = 1992,
KEYWORDS = "COMPILER, PROGLANG, SELF, INLINE, OOP"
}
@ARTICLE{Chang91,
AUTHOR = "Pohua P. Chang and Scott A. Mahlke
and Wen-Mei W. Hwu",
TITLE = "Using Profile Information to Assist Classic
Code Optimizations",
JOURNAL = SPE,
VOLUME = 21,
NUMBER = 12,
PAGES = {1301--1321},
MONTH = dec,
YEAR = 1991,
KEYWORDS = "COMPILER, PROFILE, COAGULATING OPTIMIZATION"
}
@ARTICLE{Chang92,
AUTHOR = "Pohua P. Chang and Scott A. Mahlke and
William Y. Chen and Wen-Mei W. Hwu",
TITLE = "Profile-guided Automatic Inline Expansion for {C} Programs",
JOURNAL = SPE,
VOLUME = 22,
NUMBER = 5,
PAGES = {349--369},
MONTH = may,
YEAR = 1992,
KEYWORDS = "COMPILER, PROFILE, COAGULATING OPTIMIZATION, INLINE, LINKER"
}
@CONFERENCE{Chow86,
AUTHOR = "F. Chow and M. Himelstein and E. Killian and L. Weber",
TITLE = "Engineering a {RISC} Compiler System",
BOOKTITLE = "IEEE COMPCON 1986",
PAGES = {132--137},
YEAR = 1986,
KEYWORDS = "COMPILER, RISC, GLOBAL OPTIMIZATION, UCODE, LINKER, INLINE"
}
@CONFERENCE{Chow88,
AUTHOR = "Fred C. Chow",
TITLE = "Minimizing Register Usage Penalty at Procedure Calls",
BOOKTITLE = "Proceedings of the SIGPLAN '88 Conference on Programming
Language Design and Implementation",
PAGES = {85--94},
ADDRESS = "Atlanta, Georgia, USA",
MONTH = jun,
YEAR = 1988,
KEYWORDS = "COMPILER, CODE GENERATION, REGISTER ALLOCATION,
GLOBAL OPTIMIZATION"
}
@ARTICLE{Chow90,
AUTHOR = "Fred C. Chow and John L. Hennessy",
TITLE = "The Priority-Based Coloring Approach to Register Allocation",
JOURNAL = TOPLAS,
PAGES = {501--536},
VOLUME = 12,
NUMBER = 4,
MONTH = oct,
YEAR = 1990,
KEYWORDS = "COMPILER, CODE GENERATION, REGISTER ALLOCATION"
}
@ARTICLE{Clark92,
AUTHOR = "Henry Clark and Bruce McMillin",
TITLE = "{DAWGS} -- A Distributed Compute Server Utilizing
Idle Workstations",
JOURNAL = "Journal of Parallel and Distributed Computing",
VOLUME = 14,
PAGES = {175--186},
YEAR = 1992,
KEYWORDS = "DISTRIBUTED-COMPUTING, WORKSTATIONS"
}
@ARTICLE{CoenPorisini91,
AUTHOR = "Alberto Coen-Porisini and Flavio De Paoli and Carlo Ghezzi
and Dino Mandrioli",
TITLE = "Software Specialization Via Symbolic Execution",
JOURNAL = SOFTENG,
VOLUME = 17,
NUMBER = 9,
PAGES = {884--899},
MONTH = sep,
YEAR = 1991,
KEYWORDS = "SOFTENG, SPECIFICATION"
}
@ARTICLE{Cohen81,
AUTHOR = "Jaques Cohen",
TITLE = "Garbage Collection of Linked Data Structures",
JOURNAL = CS,
VOLUME = 13,
NUMBER = 3,
PAGES = {341--367},
MONTH = sep,
YEAR = 1981,
KEYWORDS = "PROGLANG, COMPILER, GARBAGE COLLECTION, MEMORY ALLOCATION"
}
@ARTICLE{Cohen91a,
AUTHOR = "Norman H. Cohen",
TITLE = "Type-Extension Type Tests Can Be Performed in Constant Time",
JOURNAL = TOPLAS,
VOLUME = 13,
NUMBER = 4,
PAGES = {626--629},
MONTH = oct,
YEAR = 1991,
KEYWORDS = "COMPILER, OOP"
}
@TECHREPORT{Cohen91b,
AUTHOR = "Robert F. Cohen and Roberto Tamassia",
TITLE = "Dynamic Expression Trees",
INSTITUTION = "Department of Computer Science, Brown University",
TYPE = "Technical Report",
NUMBER = "CS-90-35",
MONTH = dec,
YEAR = 1991,
KEYWORDS = "ALGORITHM, EXPRESSIONS"
}
@TECHREPORT{Collberg86,
AUTHOR = "Christian S. Collberg and Magnus G. Krampell",
TITLE = "Pasters: Linkers in a Modular World",
INSTITUTION = CSLund,
TYPE = "Technical Report",
NUMBER = "LUNDFD6/NFCS-7002",
YEAR = 1986,
KEYWORDS = "PROGLANG, MODULE, LINKER, MODULA-2"
}
@CONFERENCE{Collberg87a,
AUTHOR = "Christian S. Collberg and Magnus G. Krampell",
TITLE = "Design and Implementation of Modular Languages
Supporting Information Hiding",
BOOKTITLE = "Proceedings of the Sixth International Phoenix Conference
on Computers and Communications",
PAGES = {224--228},
ADDRESS = "Scottsdale, AZ, USA",
MONTH = feb,
YEAR = 1987,
KEYWORDS = "PROGLANG, MODULE, LINKER, MODULA-2"
}
@CONFERENCE{Collberg87b,
AUTHOR = "Christian S. Collberg and Magnus G. Krampell",
TITLE = "A Property-Based Method for Selecting Among
Multiple Implementations of Modules",
BOOKTITLE = "Lecture Notes in Computer Science No. 289",
PUBLISHER = Springer,
ORGANIZATION = "AFCET",
MONTH = feb,
YEAR = 1987,
KEYWORDS = "PROGLANG, MODULE, LINKER, MODULA-2, MODULE SELECTION"
}
@CONFERENCE{Collberg89,
AUTHOR = "Christian S. Collberg",
TITLE = "Data Structures, Algorithms, and Software Engineering",
BOOKTITLE = "Lecture Notes in Computer Science No. 376",
ORGANIZATION = "3rd SEI Conference on Software Engineering Education",
PUBLISHER = Springer,
MONTH = jul,
YEAR = 1989,
KEYWORDS = "EDUCATION, SOFTENG, MODULA-2"
}
@PHDTHESIS{Collberg92,
AUTHOR = "Christian S. Collberg",
TITLE = "Flexible Encapsulation",
SCHOOL = "Lund University",
MONTH = dec,
YEAR = 1992,
ABSTRACT = "
Most modular programming languages provide an encapsulation concept.
Such concepts are used to protect the representational details of the
implementation of an abstraction from abuse by its clients. Unfortunately,
strict encapsulation is hindered by the separate compilation
facilities provided by modern languages. The goal of the work presented here
is to introduce techniques which allow modular languages to support both
separate compilation and strict encapsulation without undue translation-time
or execution-time cost.
\par
The Zuse design applies the principle of orthogonality to
encapsulation: every aspect of every exported item may be either hidden or
revealed. Specifically, Zuse supports three types of exported items:
abstract, semi-abstract, and concrete. These differ in the
amount of implementation information revealed to client modules: concrete
items reveal all representational details, semi-abstract items some, and
abstract items none. Exported items can also be paired with a
protection clause that restricts the ways in which they may be manipulated
by particular clients.
\par
The four translation system designs presented in the third part of the
thesis assure -- through the use of intermediate code module binding -- that
the cost (in terms of execution-time and storage) of using an abstract or
semi-abstract item will be no greater than if the same item had been
concrete. In addition to performing the tasks of traditional system link
editors the sequential binder checks deferred context
conditions, performs inter-modular optimizations, and generates code for
deferred procedures. A deferred procedure is one for which the
compiler is unable to generate code because of references to imported
abstract items. Similarly, a deferred context condition is a static semantic
check which could not be performed at compile-time. The other translation
systems discussed in the thesis perform the same actions as the sequential
binder, but apply different techniques to improve performance: the
distributed binder distributes its actions over the sites of a distributed
system such as a network of workstations, the incremental binder
inserts the code of modified modules in-place in the executable program, and
the hierarchical binder binds collections of modules into
libraries which themselves cantake part in later binds.",
KEYWORDS = "COMPILER, SOFTENG, PROGLANG, DISTPROG, DISTCOMP, INCREMENTAL"
}
@CONFERENCE{Collberg94,
AUTHOR = "Christian S. Collberg",
TITLE = "Distributed High-Level Module Binding for Flexible Encapsulation
and Fast Inter-Modular Optimization",
BOOKTITLE = "Lecture Notes in Computer Science No. 782",
PUBLISHER = Springer,
ORGANIZATION = "International Conference on Programming Languages and
Systems Architectures",
ADDRESS = "Zurich, Switzerland",
NOTE = "http://cs.aukuni.ac.nz/$\sim$collberg/Research/collberg94.ps",
URL = { Collberg94 },
MONTH = mar,
YEAR = 1994,
ABSTRACT = "
We present a new modular object-oriented language with
orthogonal encapsulation facilities. The language
provides full support for encapsulation and separate
compilation which makes it difficult to compile
using standard techniques. We present new distributed
translating techniques which overcome these difficulties by
allowing inter-modular information to be exchanged at
link-time. The same techniques may also be
used with other modular and object-oriented languages
to facilitate fast inter-modular optimizations such as
inline expansion.",
KEYWORDS = "COMPILER, LINKING, SOFTENG, PROGLANG, DISTPROG, DISTCOMP"
}
@TECHREPORT{Conradi83,
AUTHOR = "Reidar Conradi",
TITLE = "Inter-Procedural Optimization of Object Code",
INSTITUTION = "Division of Computer Systems and Telematics.
University of Trondheim, Norway",
NUMBER = "25/83",
MONTH = sep,
YEAR = 1983,
KEYWORDS = "PROGLANG, COMPILER, MODULE, SEPARATE COMPILATION,
GLOBAL OPTIMIZATION"
}
@TECHREPORT{Conradi85,
AUTHOR = "Reidar Conradi and Dag Heiraas Wanvik",
TITLE = "Mechanisms and Tools for Separate Compilation",
NOTE = "Presented at IFIP WG.2, Maine, Oct 7-11, 1985",
INSTITUTION = "Division of Computer Systems and Telematics.
University of Trondheim, Norway",
NUMBER = "25/85",
YEAR = 1985,
KEYWORDS = "PROGLANG, COMPILER, MODULE, SEPARATE COMPILATION"
}
@ARTICLE{Cook89,
AUTHOR = "Robert P. Cook",
TITLE = "An Empirical Analysis of the Lilith Instruction Set",
JOURNAL = IEEECOMPUTER,
VOLUME = 38,
NUMBER = 1,
PAGES = {156--158},
MONTH = jan,
YEAR = 1989,
KEYWORDS = "COMPILER, MODULA-2, LILITH"
}
@CONFERENCE{Cooper86a,
AUTHOR = "Keith D. Cooper and Ken Kennedy and Linda Torczon",
TITLE = "Interprocedural Optimization: Eliminating
Unnecessary Recompilations",
BOOKTITLE = "Proceedings of the SIGPLAN 86 Symposium of Compiler
Construction",
MONTH = jun,
YEAR = 1986,
KEYWORDS = "COMPILER, OPTIMIZATION, SMART RECOMPILATION"
}
@ARTICLE{Cooper86b,
AUTHOR = "Keith D. Cooper and Ken Kennedy and Linda Torczon",
TITLE = "The Impact of Interprocedural Analysis
and Optimization in the {$R^n$} Programming Environment",
JOURNAL = TOPLAS,
VOLUME = 8,
NUMBER = 4,
PAGES = {491--523},
MONTH = oct,
YEAR = 1986,
KEYWORDS = "COMPILER, GLOBAL OPTIMIZATION"
}
@TECHREPORT{Cooper90a,
AUTHOR = "Keith D. Cooper and Mary W. Hall and Linda Torczon",
TITLE = "An Experiment with Inline Substitution",
INSTITUTION = "Rice University",
TYPE = "Technical Report",
NUMBER = "TR90-128",
ADDRESS = "Houston, Texas, USA",
MONTH = sep,
YEAR = 1990,
KEYWORDS = "COMPILER, GLOBAL OPTIMIZATION, INLINE"
}
@TECHREPORT{Cooper90b,
AUTHOR = "Keith D. Cooper and Mary W. Hall and Linda Torczon",
TITLE = "The Perils of Interprocedural Knowledge",
INSTITUTION = "Rice University",
TYPE = "Technical Report",
NUMBER = "TR90-132",
ADDRESS = "Houston, Texas, USA",
MONTH = sep,
YEAR = 1990,
KEYWORDS = "COMPILER, GLOBAL OPTIMIZATION"
}
@ARTICLE{Cooper91,
AUTHOR = "Keith D. Cooper and Mary W. Hall and Linda Torczon",
TITLE = "An Experiment with Inline Substitution",
JOURNAL = SPE,
VOLUME = 21,
NUMBER = 6,
MONTH = jun,
YEAR = 1991,
KEYWORDS = "COMPILER, GLOBAL OPTIMIZATION, INLINE"
}
@ARTICLE{Cordy90,
AUTHOR = "James R. Cordy and Richard C. Holt",
TITLE = "Code Generation Using an Orthogonal Model",
JOURNAL = SPE,
VOLUME = 20,
NUMBER = 3,
PAGES = {301--320},
MONTH = mar,
YEAR = 1990,
KEYWORDS = "COMPILER, CODE GENERATION, INTERMEDIATE CODE"
}
@ARTICLE{CorradiXX,
AUTHOR = "Antonio Corradi and Letizia Leonardi",
TITLE = "The Role of Opaque Types to Build Abstractions",
JOURNAL = SIGPLAN,
VOLUME = 23,
NUMBER = 12,
PAGES = {24--37},
YEAR = 1900,
KEYWORDS = "PROGLANG, MODULA-2, OPAQUE TYPE"
}
@BOOK{Coupland91,
AUTHOR = "Douglas Campbell Coupland",
TITLE = "Generation {X}",
PUBLISHER = "Abacus",
YEAR = 1991,
NOTE = "ISBN 0-349-10331-3",
KEYWORDS = "FICTION"
}
@ARTICLE{Cowling86,
AUTHOR = "A. J. Cowling",
TITLE = "Type Checking in Polymorphic Languages",
JOURNAL = "The Computer Journal",
VOLUME = 29,
NUMBER = 6,
YEAR = 1986,
KEYWORDS = "PROGLANG, POLYMORPHISM, TYPE"
}
@ARTICLE{Crawford78,
AUTHOR = "John H. Crawford and Mehdi Jazayeri",
TITLE = "Engineering a Program Optimizer",
JOURNAL = "XXX",
PAGES = {247-253},
YEAR = 1978,
KEYWORDS = "COMPILER, OPTIMIZATION"
}
@CONFERENCE{Cusack,
AUTHOR = "Elspeth Cusack",
TITLE = "Inheritance in Object Oriented {Z}",
BOOKTITLE = "XXX",
PAGES = {25--35},
ADDRESS = "",
MONTH = "",
YEAR = 1989,
KEYWORDS = "SOFTENG, OOP, Z, ZED"
}
@CONFERENCE{Cutts94,
TITLE = "An Execution Driven Approach to Code Optimization",
AUTHOR = "Q.I. Cutts and R.C.H. Connor and
G.N.C Kirby and R. Morrison",
NOTE = "ftp://ftp\_fide.dcs.st-andrews.ac.uk/pub/persistence.papers/code.optimization.ps.Z",
URL = { Cutts94 },
BOOKTITLE = " 17th Australasian Computer Science Conference",
ADDRESS = "Christchurch, New Zealand",
YEAR = 1994,
PAGES = {83--92},
KEYWORDS = "LINKING, CODE_OPTIMIZATION"
}
@CONFERENCE{Cytron89,
AUTHOR = "Ron Cytron and Jeanne Ferrante and Barry K. Rosen and
Mark K. Wegman and F. Kenneth Zadeck",
TITLE = "An Efficient Method of Computing Static Single
Assignment Form",
BOOKTITLE = "16th Annual ACM Symposium on Principles of Programming Languages",
PAGES = {25--35},
ADDRESS = "",
MONTH = "",
YEAR = 1989,
KEYWORDS = "COMPILER, INTERMEDIATE CODE, OPTIMIZATION, CODE GENERATION"
}
@ARTICLE{Czyzowicz85,
AUTHOR = "Jurek Czyzowicz and Michal Iglewski",
TITLE = "Implementing Generic Types In {Modula-2}",
JOURNAL = SIGPLAN,
VOLUME = 20,
NUMBER = 12,
PAGES = {26--32},
MONTH = jun,
YEAR = 1985,
KEYWORDS = "PROGLANG, MODULA-2, PROGRAMMING, GENERIC"
}
@ARTICLE{Dart87,
AUTHOR = "Susan A. Dart and Robert J. Ellison and
Peter H. Feiler and A. Nico Haberman",
TITLE = "Software Development Environments",
JOURNAL = SOFTWARE,
VOLUME = 20,
NUMBER = 11,
PAGES = {18--28},
MONTH = nov,
YEAR = 1987,
KEYWORDS = "COMPILER, ENVIRONMENT, EDITOR, SURVEY"
}
@ARTICLE{Davidson84,
AUTHOR = "Jack W. Davidson and Christopher W. Fraser",
TITLE = "Code Selection through Object Code Optimization",
JOURNAL = TOPLAS,
VOLUME = 6,
NUMBER = 4,
PAGES = {505--526},
MONTH = oct,
YEAR = 1984,
KEYWORDS = "COMPILER, CODE GENERATION, OPTIMIZATION"
}
@ARTICLE{Davidson92,
AUTHOR = "Jack W. Davidson and Anne M. Holler",
TITLE = "Subprogram Inlining: A Study of its Effects on Program
Execution Time",
JOURNAL = SOFTENG,
VOLUME = 18,
NUMBER = 2,
PAGES = {89--102},
MONTH = feb,
YEAR = 1992,
KEYWORDS = "COMPILERS, OPTIMIZATION, INLINING"
}
@ARTICLE{Davis88,
AUTHOR = "Alan M. Davis",
TITLE = "A Comparison of Techniques for the Specification of
External System Behavior",
JOURNAL = CACM,
VOLUME = 31,
NUMBER = 9,
PAGES = {1098--1115},
MONTH = sep,
YEAR = 1988,
KEYWORDS = "SOFTENG, SPECIFICATION"
}
@MISC{Day91,
AUTHOR = "Mark Day",
NOTE = "Personal communication",
INSTITUTION = "MIT Laboratory for Computer Science",
YEAR = 1991,
KEYWORDS = "PROGLANG, CLU, MODULES"
}
@ARTICLE{DeRemer76,
AUTHOR = "Frank DeRemer and Hans H. Kron",
TITLE = "Programming-in-the-Large versus Programming-in-the-Small",
JOURNAL = SOFTENG,
VOLUME = 2,
NUMBER = 2,
PAGES = {80--86},
MONTH = jun,
YEAR = 1976,
KEYWORDS = "SOFTENG, MODULE"
}
@PHDTHESIS{Dearle88,
TITLE = "On the Construction of Persistent Programming Environments",
AUTHOR = "A. Dearle",
YEAR = 1988,
ORGANIZATION = "University of St Andrews",
ABSTRACT = "
This thesis presents research into the construction of persistent
programming systems. Much of the thesis is concerned with the design and
implementation of persistent programming languages, in particular
PS-algol and Napier. Both languages support machine independent vector
and raster graphics data types. Napier provides an environment
mechanism that enables the incremental construction and binding of
programs. Napier has a powerful type system featuring parametric
polymorphism and abstract data types. The machine supporting Napier, the
Persistent Abstract Machine, is investigated. The machine supports an
efficient implementation of parametric polymorphism and abstract data
types.The Persistent Abstract Machine has a layered architecture in
which permits experimentation into language implementation and store
design. The construction of compilers in a persistent environment is
explored. A flexible compiler architecture is developed. With it, a
family of compilers may be constructed at relatively little cost. One
such compiler is the callable compiler; this is a first class data
object in the persistent environment. The uses of such a compiler are
explored, in particular in the construction of an object browser. The
persistent object browser introduces a new software architecture that
permits adaptive programs to be constructed incrementally. This is
achieved by writing, compiling and linking new procedures into an
executing program. The architecture has been sucessfully applied to the
construction of adaptive databases and bootstrap compilers",
KEYWORDS = "PERSISTENCE, ENVIRONMENTS"
}
@ARTICLE{Delft89,
AUTHOR = "A. J. E. Delft",
TITLE = "Comments on {Oberon}",
JOURNAL = SIGPLAN,
VOLUME = 24,
NUMBER = 3,
PAGES = {23--30},
MONTH = mar,
YEAR = 1989,
KEYWORDS = "PROGLANG, OOP, OBERON"
}
@TECHREPORT{DharapXX,
AUTHOR = "Sanjeev Dharap and K. T. Narayana",
TITLE = "Multiuser, distributed Specification Environments
for {Z}",
INSTITUTION = "??",
NUMBER = "??",
YEAR = 1900,
KEYWORDS = "ENVIRONMENT, SPECIFICATION, ENG, ZED"
}
@CONFERENCE{Dietz82,
AUTHOR = "Paul F. Dietz",
TITLE = "Maintaining Order in a Linked List",
BOOKTITLE = "Proceedings of the 14th Annual ACM Symposium on
Theory of Computing",
ADDRESS = "San Francisco, California",
PAGES = {122--127},
MONTH = may,
YEAR = 1982,
KEYWORDS = "ALGORITHM, OOP"
}
@ARTICLE{Dijkstra80,
AUTHOR = "Edsger W. Dijkstra",
TITLE = "Termination Detection For Diffusing Computation",
JOURNAL = "Information Processing Letters",
VOLUME = 11,
NUMBER = 1,
PAGES = {1--4},
YEAR = 1980,
KEYWORDS = "DISTPROG, TERMINATION"
}
@ARTICLE{Dijkstra89,
AUTHOR = "Edsger W. Dijkstra and W. H. Feijen",
TITLE = "The Linear Search Revisited",
JOURNAL = "Structured Programming",
NUMBER = 1,
PAGES = {5--9},
YEAR = 1989,
KEYWORDS = "ALGORITHM, LINEAR SEARCH, SPECIFICATION, VERIFICATION"
}
@BOOK{Diller90,
AUTHOR = "Antoni Diller",
TITLE = "{Z}: {An} Introduction to Formal Methods",
PUBLISHER = JohnWiley,
NOTE = "ISBN 0-471-92489 X",
YEAR = 1990,
KEYWORDS = "SPECIFICATION, Z"
}
@CONFERENCE{Ditt86,
AUTHOR = "W. Ditt",
TITLE = "Mapping an Algebraic Specification Onto A {Modula-2}
Program",
BOOKTITLE = "IFAC Real Time Programming",
ADDRESS = "Lake Balaton, Hungary",
PAGES = {11--18},
YEAR = 1986,
KEYWORDS = "SOFTENG, ALGEBRAIC SPECIFICATION, MODULA-2"
}
@CONFERENCE{Donahue85,
AUTHOR = "James Donahue",
TITLE = "Integration Mechanisms in {Cedar}",
BOOKTITLE = "SIGPLAN '85 Symposium on Language Issues in
Programming Environments",
PUBLISHER = "ACM",
ADDRESS = "Seattle, Washington",
PAGES = {245--251},
MONTH = jun,
YEAR = 1985,
KEYWORDS = "PROGRAMMING ENVIRONMENTS, CEDAR"
}
@TECHREPORT{Douglas93,
AUTHOR = "Craig C. Douglas and Timothy G. Mattson and Martin
H. Schultz",
TITLE = "Parallel Programming Systems for Workstation Clusters",
INSTITUTION = "Yale",
NUMBER = "TR-975",
NOTE = "ftp from casper.cs.yale.edu in pub/tr975.ps",
YEAR = 1993,
KEYWORDS = "PARCOMP, COMMUNICATION, LINDA, P4, POSYBL, PVM, TCGMSG"
}
@ARTICLE{Duke87a,
AUTHOR = "Roger Duke and D. Johnston and G. A. Rose",
TITLE = "Specifying the Static Semantics of
Block Structured Languages",
JOURNAL = "The Australian Computer Journal",
VOLUME = 19,
NUMBER = 2,
PAGES = {99--104},
MONTH = may,
YEAR = 1987,
KEYWORDS = "PROGLANG, SEMANTICS, PASCAL, Z"
}
@TECHREPORT{Duke87b,
AUTHOR = "Roger Duke",
TITLE = "Predicate Rules for {Pascal} Static Semantics",
INSTITUTION = "Department of Computer Science, The University of Queensland",
ADDRESS = "St. Lucia, Queensland, Australia",
NUMBER = 86,
MONTH = sep,
YEAR = 1987,
KEYWORDS = "PROGLANG, SEMANTICS, PASCAL, Z"
}
@TECHREPORT{Duke91,
AUTHOR = "Roger Duke and Paul King and Gordon Rose and Graeme Smith",
TITLE = "Predicate Rules for {Pascal} Static Semantics",
INSTITUTION = "Software Verification Research Centre,
Department of Computer Science,
The University of Queensland",
ADDRESS = "St. Lucia, Queensland, Australia",
NUMBER = "91-1",
MONTH = may,
YEAR = 1991,
KEYWORDS = "SOFTENG, SPECIFICATION, VERIFICATION, OOP, OBJECT-Z, Z"
}
@TECHREPORT{Duke91a,
AUTHOR = "Roger Duke and Paul King and Gordon Rose and Graeme Smith",
TITLE = "The {Object-Z} Specification Langauge, Version 1",
INSTITUTION = "Software Verification Research Centre, Department
of Computer Science, The University of Queensland, Australia",
NUMBER = "91-1",
YEAR = 1991,
KEYWORDS = "SOFTENG, SPECIFICATION, OBJECT-Z, ZED"
}
@UNPUBLISHED{Edenbrandt90,
AUTHOR = "Anders Edenbrandt",
TITLE = "{RMC} - a Remote Procedure Call Facility",
NOTE = "Unpublished manuscript, Department of Computer Science, Lund University",
INSTITUTION = CSLund,
YEAR = 1990,
KEYWORDS = "DISTPROG, RPC"
}
@CONFERENCE{Ehrig86,
AUTHOR = "H. Ehrig and H. Weber",
TITLE = "Programming in Large with Algebraic Module Specifications",
BOOKTITLE = "Information Processing '86",
PUBLISHER = "Elsevier Science Publishers B.V.",
PAGES = {675--684},
YEAR = 1986,
KEYWORDS = "SOFTENG, MODULE, ALGEBRAIC SPECIFICATION"
}
@CONFERENCE{Emmelmann89,
AUTHOR = "Helmut Emmelmann and Friedrich-Wilhelm {Schr\"oer} and
Rudolf Landwehr",
TITLE = "BEG - A Generator for Efficient Back Ends",
BOOKTITLE = "SIGPLAN 89 Conference on Programming Language
Design and Implementation",
PAGES = {227--237},
YEAR = 1989,
KEYWORDS = "COMPILER, CODE GENERATION, GENERATOR"
}
@INBOOK{Engelmore88,
AUTHOR = "R. S. Engelmore and A. J. Morgan",
TITLE = "Blackboard Systems",
PUBLISHER = Addison,
CHAPTER = 30,
NOTE = "ISBN 0-201-17431-6",
YEAR = 1988,
KEYWORDS = "AI, BLACKBOARD, DISTPROG"
}
@INBOOK{Ensor88,
AUTHOR = "J. Robert Ensor and John D. Gabbe",
TITLE = "Blackboard Systems",
PUBLISHER = Addison,
CHAPTER = 24,
NOTE = "ISBN 0-201-17431-6",
YEAR = 1988,
KEYWORDS = "AI, BLACKBOARD, DISTPROG"
}
@ARTICLE{Er83,
AUTHOR = "M. C. Er",
TITLE = "A Parallel Computation Approach to Topological Sorting",
JOURNAL = "The Computer Journal",
VOLUME = 26,
NUMBER = 4,
PAGES = {293--295},
YEAR = 1983,
KEYWORDS = "DISTPROG, TOPOLOGICAL SORT, GRAPH"
}
@ARTICLE{Ernst80,
AUTHOR = "George W. Ernst and William F. Ogden",
TITLE = "Specification of Abstract Data Types in {Modula}",
JOURNAL = TOPLAS,
VOLUME = 2,
NUMBER = 4,
PAGES = {522--543},
MONTH = oct,
YEAR = 1980,
KEYWORDS = "SOFTENG, SPECIFICATION, MODULA-2"
}
@INCOLLECTION{Eulenstein82,
AUTHOR = "M. Eulenstein",
TITLE = "An Extension to {Pascal} for Modular Programming and a Proposal
of a Conceptionally Machine Independent Linker",
BOOKTITLE = "Implementierung {Pascal}-artiger Programmiersprachen",
EDITOR = "H. Langmaack and B. Schlender and J.W. Schmidt",
ADDRESS = "Stuttgart",
PUBLISHER = "B.G. Teubner",
YEAR = 1982,
KEYWORDS = "COMPILER, LINKER, PASCAL, MODULE"
}
@TECHREPORT{Feiler88,
AUTHOR = "Peter H. Feiler and Susan A. Dart and Grace Downey",
TITLE = "Evaluation of the {Rational} Environment",
INSTITUTION = "Software Engineering Institute",
NUMBER = "CMU/SEI-88-TR-15",
MONTH = jul,
YEAR = 1988,
KEYWORDS = "COMPILER, ADA, RATIONAL, INCREMENTAL"
}
@ARTICLE{Feldman79,
AUTHOR = "Stuart I. Feldman",
TITLE = "{Make} - A Program for Maintaining Computer Programs",
JOURNAL = SPE,
VOLUME = 9,
NUMBER = 4,
PAGES = {255--265},
MONTH = apr,
YEAR = 1979,
KEYWORDS = "SOFTENG, PROGRAMMING, MAKE"
}
@ARTICLE{Feldman86,
AUTHOR = "Michael B. Feldman",
TITLE = "{Ada} v.s {Modula-2}: A Response from the Ivory Tower",
JOURNAL = SIGPLAN,
VOLUME = 21,
NUMBER = 5,
PAGES = {39--44},
MONTH = may,
YEAR = 1986,
KEYWORDS = "PROGLANG, ADA, MODULA-2"
}
@BOOK{Feldman88,
AUTHOR = "Michael B. Feldman",
TITLE = "Data Structures with {Modula-2}",
PUBLISHER = PrenticeHall,
NOTE = "ISBN 0-13-197666-4",
YEAR = 1988,
KEYWORDS = "PROGLANG, MODULA-2"
}
@TECHREPORT{Fernandez94,
TITLE = "Simple and Effective Link-Time Optimization
of Modula-3 Programs",
AUTHOR = "Mary Fernandez",
INSTITUTION = "Department of Computer Science, Princeton University",
NUMBER = "TR-474-94",
NOTE = "ftp://ftp.cs.princeton.edu/reports/1994/474.ps.Z",
URL = { Fernandez94 },
YEAR = 1994,
KEYWORDS = "COMPILER, MODULA-3, LINKER, GLOBAL OPTIMIZATION"
}
@ARTICLE{Ferrante87,
AUTHOR = "Jeanne Ferrante and Karl J. Ottenstein and Joe D. Warren",
TITLE = "The Program Dependence Graph and its Use in Optimization",
JOURNAL = TOPLAS,
VOLUME = 9,
NUMBER = 3,
PAGES = {319--349},
MONTH = jul,
YEAR = 1987,
KEYWORDS = "COMPILER, OPTIMIZATION, INTERMEDIATE CODE"
}
@BOOK{Ford85,
AUTHOR = "Gary A. Ford and Richard S. Wiener",
TITLE = "{Modula-2} -- A Software Development Approach",
PUBLISHER = JohnWiley,
NOTE = "ISBN 0-471-87834-0",
YEAR = 1985,
KEYWORDS = "PROGLANG, MODULA-2"
}
@ARTICLE{Ford90,
AUTHOR = "Ray Ford and Mary Pfreundschuh Wagner",
TITLE = "Incremental Concurrent Builds for Modular Systems",
JOURNAL = "Journal of Systems Software",
PAGES = {157--176},
VOLUME = 13,
YEAR = 1990,
KEYWORDS = "SOFTENG, LINKER, MODULE SELECTION"
}
@ARTICLE{Foster86,
AUTHOR = "David G. Foster",
TITLE = "Separate Compilation in A {Modula-2} Compiler",
JOURNAL = SPE,
VOLUME = 16,
NUMBER = 2,
PAGES = {101--106},
MONTH = feb,
YEAR = 1986,
KEYWORDS = "COMPILER, SEPARATE COMPILATION, MODULA-2, INTERFACE"
}
@ARTICLE{Francez80,
AUTHOR = "Nissim Francez",
TITLE = "Distributed Termination",
JOURNAL = TOPLAS,
VOLUME = 2,
NUMBER = 1,
PAGES = {42--55},
MONTH = jan,
YEAR = 1980,
KEYWORDS = "DISTPROG, TERMINATION"
}
@ARTICLE{Fraser82,
AUTHOR = "Christopher W. Fraser and David R. Hansson",
TITLE = "A Machine-Independent Linker",
JOURNAL = SPE,
VOLUME = 12,
PAGES = {351--366},
YEAR = 1982,
KEYWORDS = "LINKER"
}
@CONFERENCE{Fraser89,
AUTHOR = "Christopher W. Fraser",
TITLE = "A Language for Writing Code Generators",
BOOKTITLE = "SIGPLAN '89 Conference on Programming Language Design
and Implementation",
PAGES = {238--245},
YEAR = 1989,
KEYWORDS = "COMPILER, CODE GENERATION"
}
@ARTICLE{Fraser91,
AUTHOR = "Christopher W. Fraser and Robert R. Henry",
TITLE = "Hard-coding Bottom-up Code Generation
Tables to Save Time and Space",
JOURNAL = SPE,
VOLUME = 21,
NUMBER = 1,
PAGES = {1--12},
MONTH = jan,
YEAR = 1991,
KEYWORDS = "COMPILER, CODE GENERATION, VAX"
}
@ARTICLE{French85,
AUTHOR = "Carl French and Richard Mitchell",
TITLE = "Opaque types in {Modula-2}",
JOURNAL = SIGPLAN,
PAGES = {12--28},
MONTH = mar,
YEAR = 1985,
KEYWORDS = "PROGLANG, PROGRAMMING, MODULA-2, OPAQUE TYPE, LINKER"
}
@CONFERENCE{Fritzon84,
AUTHOR = "Peter Fritzon",
TITLE = "Preliminary Experience from the {DICE} System, a
Distributed Incremental Compiling Environment",
BOOKTITLE = "Proceedings of the ACM/SIGPLAN Software Engineering
Symposium on Practical Software Development
Environments",
ADDRESS = "Pittsburgh, Pennsylvania, USA",
PAGES = {113--123},
MONTH = apr,
YEAR = 1984,
KEYWORDS = "COMPILER, SOFTENG, ENVIRONMENT"
}
@ARTICLE{Ganapathi82,
AUTHOR = "Mahadevan Ganapathi and Charles N. Fischer
and John L. Hennessy",
TITLE = "Retargetable Compiler Code Generation",
JOURNAL = CS,
VOLUME = 14,
NUMBER = 4,
PAGES = {573--592},
MONTH = dec,
YEAR = 1982,
KEYWORDS = "COMPILER, CODE GENERATION, SURVEY"
}
@ARTICLE{Ganapathi84,
AUTHOR = "Mahadevan Ganapathi and Charles N. Fischer",
TITLE = "Attributed Linear Intermediate Representations
for Retargetable Code Generators",
JOURNAL = SPE,
VOLUME = 14,
NUMBER = 4,
PAGES = {347--364},
YEAR = 1984,
KEYWORDS = "COMPILER, INTERMEDIATE CODE"
}
@ARTICLE{Ganapathi89,
AUTHOR = "Mahadevan Ganapathi and Geoffrey O. Mendal ",
TITLE = "Issues in Ada Compiler Technology",
JOURNAL = "Computer",
PAGES = {52--60},
MONTH = feb,
YEAR = 1989,
KEYWORDS = "COMPILER, ADA"
}
@ARTICLE{Gantenbein91,
AUTHOR = "Rex E. Gantenbein",
TITLE = "Dynamic Binding in Strongly Typed Programming Languages",
JOURNAL = "Journal of Systems Software",
VOLUME = 14,
PAGES = {31--38},
YEAR = 1991,
KEYWORDS = "PROGLANG, TYPE"
}
@TECHREPORT{Garland90,
AUTHOR = "Stephen J. Garland and John V. Guttag and James J. Horning",
TITLE = "Debuggin Larch Shared Language Specifications",
NUMBER = 60,
INSTITUTION = "DEC Systems Research Center",
ADDRESS = "130 Lytton Avenue, Palo Alto, California 94301",
MONTH = jul,
YEAR = 1990,
KEYWORDS = "SOFTENG, SPECIFICATION, LARCH"
}
@CONFERENCE{Garret93,
TITLE = "Linking Shared Segments",
AUTHOR = "W.E. Garrett and M.L. Scott and R. Bianchini and
L.I. Kontothanassis and R.A. McCallum and J.A. Thomas and
R. Wisniewski and S. Luk",
BOOKTITLE = "Winter USENIX",
YEAR = 1993,
NOTE = "ftp://ftp.cs.rochester.edu/pub/papers/systems/93.USENIX.Linking\_shared\_segments.ps.Z",
URL = { Garret93 },
ADDRESS = "San Diego, CA, USA",
KEYWORDS = "LINKING"
}
@ARTICLE{Gelernter85,
AUTHOR = "David Gelernter",
TITLE = "Generative Communication in {Linda}",
JOURNAL = TOPLAS,
PAGES = {80--112},
MONTH = jan,
VOLUME = 7,
NUMBER = 1,
YEAR = 1985,
KEYWORDS = "DISTPROG, LINDA"
}
@ARTICLE{Gerrard90,
AUTHOR = "Christopher Paul Gerrard and Derek Coleman and
Robin M. Gallimore",
TITLE = "Formal Specification and Design Time Testing",
JOURNAL = SOFTENG,
VOLUME = 16,
NUMBER = 1,
PAGES = {1--11},
MONTH = jan,
YEAR = 1990,
KEYWORDS = "SOFTENG, SPECIFICATION, TESTING, OBJ"
}
@ARTICLE{Geschke77,
AUTHOR = "Charles M. Geschke and James H. {Morris Jr}.
and Edwin H. Satterthwaite",
TITLE = "Early Experience with {Mesa}",
JOURNAL = CACM,
VOLUME = 20,
NUMBER = 8,
PAGES = {540--553},
MONTH = aug,
YEAR = 1977,
KEYWORDS = "PROGLANG, MESA"
}
@BOOK{Ghezzi87,
AUTHOR = "Carlo Ghezzi and Mehdi Jazayeri",
TITLE = "Programming Language Concepts",
PUBLISHER = JohnWiley,
EDITION = "second",
NOTE = "ISBN 0-471-82173-X",
YEAR = 1987,
KEYWORDS = "PROGLANG"
}
@MISC{Ghezzi91,
AUTHOR = "Carlo Ghezzi",
NOTE = "Personal communication",
YEAR = 1991,
INSTITUTION = "Dipartimento di Elettronica, Politecnico di Milano",
KEYWORDS = "PROGLANG, MILANO-PASCAL, LINKING"
}
@CONFERENCE{Gibbons86,
AUTHOR = "Alan Gibbons and Wojciech Rytter",
TITLE = "An Optimal Parallel Algorithm for Dynamic Expression
Evaluation and its Applications",
BOOKTITLE = "Foundations of Software Technology and Theoretical Computer
Science, Sixth Conference",
PUBLISHER = Springer,
NOTE = "LNCS 241",
ADDRESS = "New Delhi, India",
PAGES = {454--467},
MONTH = dec,
YEAR = 1986,
KEYWORDS = "DISTCOMP, EXPRESSION EVALUATION, TREE"
}
@CONFERENCE{Gillett80,
AUTHOR = "Will Gillett",
TITLE = "The Anatomy of a Project Oriented Second Course for
Computer Science Majors",
BOOKTITLE = "11th SIGCSE Technical Symposium on Computer Science Education",
PUBLISHER = ACM,
PAGES = {25--31},
MONTH = feb,
YEAR = 1980,
KEYWORDS = "EDUCATION"
}
@TECHREPORT{Godfrey90,
AUTHOR = "Michael W. Godfrey and Richard C. Holt",
TITLE = "{Spectur} -- A Specification Language for the Programmer",
INSTITUTION = "Computer Systems Research Institute. University of Toronto",
NOTE = "ISSN 0834-1648",
NUMBER = "CSRI-241",
MONTH = jun,
YEAR = 1990,
KEYWORDS = "SOFTENG, SPECIFICATION"
}
@ARTICLE{Goguen86,
AUTHOR = "Joseph A. Goguen",
TITLE = "Reusing and Interconnecting Software Components",
JOURNAL = "Computer",
PAGES = {16--28},
MONTH = feb,
YEAR = 1986,
KEYWORDS = "SOFTENG, SPECIFICATION, MODULE"
}
@BOOK{Goldberg83,
AUTHOR = "A. Goldberg AND D. Robson",
TITLE = "Smalltalk-80: The Language and Its Implementation",
PUBLISHER = Addison,
ADDRESS = "Reading, Mass.",
YEAR = 1983,
KEYWORDS = "PROGLANG, SMALLTALK"
}
@ARTICLE{Goldsby86,
AUTHOR = "Michael E. Goldsby",
TITLE = "Concurrent Use of Generic Types in {Modula-2}",
JOURNAL = SIGPLAN,
VOLUME = 21,
NUMBER = 6,
PAGES = {28--29},
MONTH = jun,
YEAR = 1986,
KEYWORDS = "PROGLANG, PROGRAMMING, GENERIC, MODULA-2"
}
@ARTICLE{GoosXX,
AUTHOR = "Gerhard Goos",
TITLE = "Problems Compiling {Ada}",
JOURNAL = "XXX",
YEAR = 1900,
KEYWORDS = "COMPILER, ADA"
}
@CONFERENCE{Graham72,
AUTHOR = "G. Scott Graham and Peter J. Denning",
TITLE = "Protection -- Principles and Practice",
BOOKTITLE = "Proceedings of the Spring Joint Computer Conference",
PAGES = {417--429},
YEAR = 1972,
KEYWORDS = "SOFTENG, PROTECTION"
}
@CONFERENCE{Granlund92,
AUTHOR = {Torbj\"orn Granlund and Richard Kenner},
TITLE = "Eliminating Branches using a Superoptimizer and the
{GNU} {C} Compiler",
BOOKTITLE = "ACM SIGPLAN '92 Conference on Programming Language
Design and Implementation",
YEAR = 1992,
KEYWORDS = "COMPILER, OPTIMIZATION, CODE GENERATION,
SUPEROPTIMIZER, GNU"
}
@ARTICLE{Greenwood86,
AUTHOR = "James R. Greenwood",
TITLE = "Comments on {"A View from the Trenches"}. {Ada} vs
{Modula-2} vs Praxis",
JOURNAL = SIGPLAN,
VOLUME = 21,
NUMBER = 5,
PAGES = {45--49},
MONTH = may,
YEAR = 1986,
KEYWORDS = "PROGLANG, ADA, MODULA-2"
}
@CONFERENCE{Gross89,
AUTHOR = "Thomas Gross and Angelika Zobel and Markus Zolg",
TITLE = "Parallel Compilation for a Parallel Machine",
BOOKTITLE = "Proceedings of the SIGPLAN '89 Conference on
Programming Language Design and Implementation",
ADDRESS = "Portland, Oregon",
PAGES = {91--99},
MONTH = jun,
YEAR = 1989,
KEYWORDS = "COMPILER, OPTIMIZATION, INLINE, C"
}
@CONFERENCE{Gupta90,
AUTHOR = "Rajiv Gupta and Lori Pollock and Mary Lou Soffa",
TITLE = "Parallelizing Data Flow Analysis",
BOOKTITLE = "Proceedings of the Workshop on Parallel Compilation",
ADDRESS = "Kingston, Ontario, Canada",
MONTH = may,
YEAR = 1990,
KEYWORDS = "COMPILER, DISTPROG, ATTRIBUTE GRAMMAR"
}
@ARTICLE{Gupta92,
AUTHOR = "Manish Gupta and Prithviraj Banjeree",
TITLE = "Demonstration of Automatic Data Partitioning
Techniques for Parallelizing Compilers on Multicomputers",
JOURNAL = "IEEE Transaction on Parallel and Distributed Systems",
VOLUME = 3,
NUMBER = 2,
PAGES = {179--193},
MONTH = mar,
YEAR = 1992,
KEYWORDS = "PARALLEL, PARALELLIZING-COMPILERS, DATA-PARTITIONING"
}
@ARTICLE{Gutknecht86,
AUTHOR = {J\"urg Gutknecht},
TITLE = "Separate Compilation in {Modula-2}: An Approach
to Efficient Symbol Files",
JOURNAL = SOFTWARE,
PAGES = {29--38},
MONTH = nov,
YEAR = 1986,
KEYWORDS = "COMPILER, MODULA-2, INTERFACE"
}
@ARTICLE{Gutknecht89,
AUTHOR = {J\"urg Gutknecht},
TITLE = "Variations on the Role of Module Interfaces",
JOURNAL = "Structured Programming",
NUMBER = 1,
PAGES = {40--46},
YEAR = 1989,
KEYWORDS = "PROGRAMMING, MODULA-2, INTERFACE"
}
@ARTICLE{Guttag85,
AUTHOR = "John V. Guttag and James J. Horning and Jeannette M. Wing",
TITLE = "The {Larch} Family of Specifications Languages",
JOURNAL = SOFTWARE,
PAGES = {24--36},
MONTH = sep,
YEAR = 1985,
KEYWORDS = "SOFTENG, SPECIFICATION, LARCH, ALGEBRAIC"
}
@TECHREPORT{Guttag90,
AUTHOR = "John V. Guttag and James J. Horning and Andr{\'e} Modet",
TITLE = "Report on the Larch Shared Language: Version 2.3",
NUMBER = 58,
INSTITUTION = "DEC Systems Research Center",
ADDRESS = "130 Lytton Avenue, Palo Alto, California 94301",
MONTH = apr,
YEAR = 1990,
KEYWORDS = "SOFTENG, SPECIFICATION, LARCH"
}
@ARTICLE{Hall90a,
AUTHOR = "Anthony Hall",
TITLE = "Seven Myths of Formal Methods",
JOURNAL = SOFTWARE,
MONTH = sep,
YEAR = 1990,
KEYWORDS = "SOFTENG, SPECIFICATION"
}
@PHDTHESIS{Hall91,
AUTHOR = "Mary Wolcott Hall",
TITLE = "Managing Interprocedural Optimization",
SCHOOL = "Rice University",
ADDRESS = "Houston, Texas, USA",
NUMBER = "CRPC-TR91150",
MONTH = apr,
YEAR = 1991,
KEYWORDS = "COMPILER, GLOBAL OPTIMIZATION, INLINE"
}
@ARTICLE{Hamlet76,
AUTHOR = "Richard G. Hamlet",
TITLE = "High-Level Binding with Low-Level Linkers",
JOURNAL = CACM,
VOLUME = 19,
NUMBER = 11,
PAGES = {642--644},
MONTH = nov,
YEAR = 1976,
KEYWORDS = "COMPILER, LINKER, MODULE"
}
@ARTICLE{Hansen75,
AUTHOR = "Per Brinch Hansen",
TITLE = "The Programming Language {Concurrent Pascal}",
JOURNAL = SOFTENG,
VOLUME = 1,
NUMBER = 2,
PAGES = {199--207},
MONTH = jun,
YEAR = 1975,
KEYWORDS = "PROGRAMMING-LANGUAGE, PASCAL, PARALLEL"
}
@ARTICLE{Harbison90,
AUTHOR = "Samuel P. Harbison",
TITLE = "{Modula-3}",
JOURNAL = BYTE,
PAGES = {385--392},
MONTH = nov,
YEAR = 1990,
KEYWORDS = "PROGLANG, MODULA-3"
}
@BOOK{Harbison92,
AUTHOR = "Samuel P. Harbison",
TITLE = "{Modula-3}",
PUBLISHER = "Prentice Hall",
NOTE = "ISBN 0-13-596369-6",
YEAR = 1992,
KEYWORDS = "PROGLANG, MODULA-3"
}
@TECHREPORT{Harper86a,
AUTHOR = "Robert Harper and David MacQueen and Robin Milner",
TITLE = "{Standard ML}",
INSTITUTION = "Laboratory for Foundations of Computer Science,
Department of Computer Science,
University of Edinburgh",
NUMBER = "ECS-LFCS-86-2",
MONTH = mar,
YEAR = 1986,
KEYWORDS = "PROGLANG, ML"
}
@TECHREPORT{Harper86b,
AUTHOR = "Robert Harper",
TITLE = "Introduction to {Standard ML}",
INSTITUTION = "Laboratory for Foundations of Computer Science,
Department of Computer Science,
University of Edinburgh",
NUMBER = "ECS-LFCS-86-14",
MONTH = nov,
YEAR = 1986,
KEYWORDS = "PROGLANG, ML"
}
@ARTICLE{Harris91,
AUTHOR = "Warren Harris",
TITLE = "Contravariance for the Rest of Us",
JOURNAL = "JOOP",
PAGES = {10--18},
MONTH = nov,
YEAR = 1991,
KEYWORDS = "PROGLANG, OOP"
}
@CONFERENCE{Harrison90,
AUTHOR = "William Harrison and Harlod Ossher",
TITLE = "Subdivided Procedures: A Language Extension
Supporting Extensible Programming",
BOOKTITLE = "IEEE International Conference on Computer Languages",
ADDRESS = "New Orleans, Louisiana, USA",
MONTH = mar,
YEAR = 1990,
KEYWORDS = "PROGLANG, PROCEDURE, EXTENSION"
}
@PHDTHESIS{Hedin92,
AUTHOR = {G\"orel Hedin},
TITLE = "Incremental Semantic Analysis",
SCHOOL = CSLund,
ADDRESS = "Lund, Sweden",
NUMBER = "LUTEDX/(TECS-1003)/1-276/(1992)",
MONTH = mar,
YEAR = 1992,
KEYWORDS = "COMPILER, SEMANTICS, ATTRIBUTE GRAMMAR, INCREMENTAL"
}
@CONFERENCE{Heinz93,
AUTHOR = "Ernst A. Heinz",
TITLE = "Modula-3*: An Efficiently Compilable Extension of
Modula-3 for Problem-Oriented Explicitly Parallel Programming",
BOOKTITLE = "Joint Symposium on Parallel Processing",
ADDRESS = "Waseda University, Tokyo",
MONTH = may,
YEAR = 1993,
PAGES = {269--276},
KEYWORDS = "PROGLANG, PARALLEL, MODULA-3"
}
@CONFERENCE{Helary87,
AUTHOR = {Jean-Michel H\`elary and Claude Jard and No\"el Plouzeau
and Michel Raynal},
TITLE = "Detection of Stable Properties in Distributed Applications",
BOOKTITLE = "Proceedings of the 6th Annual ACM Symposium on
Principles of Distributed Computing",
PAGES = {52--63},
ADDRESS = "Vancouver, British Columbia, Canada",
MONTH = aug,
YEAR = 1987,
KEYWORDS = "DISTPROG, TERMINATION, DEADLOCK"
}
@ARTICLE{Heninger80,
AUTHOR = "Kathryn Heninger",
TITLE = "Specifying Software Requirements for Complex
Systems: New Techniques and Their Application",
JOURNAL = SOFTENG,
VOLUME = 6,
NUMBER = 1,
PAGES = {2--13},
MONTH = jan,
YEAR = 1980,
KEYWORDS = "SOFTENG, SPECIFICATION, NAVY A-7"
}
@UNPUBLISHED{Henry83,
AUTHOR = "Robert R. Henry",
TITLE = "The Intermediate Representation of the Portable {C}
Compiler, as used by the Portable {C} Compiler",
INSTITUTION = "Computer Science Division, Department of
Electrical Engineering and Computer Science,
University of California, Berkely, USA",
NOTE = "Limited Distribution -- {UNIX} Source Licensees Only",
KEYWORDS = "COMPILER, INTERMEDIATE CODE, C, PCC"
}
@CONFERENCE{Himelstein87,
AUTHOR = "Mark Himelstein and Fred C. Chow and Kevin Enderby",
TITLE = "Cross-module Optimizations: Its Implementation and
Benefits",
BOOKTITLE = "Proceedings of the Summer 1987 USENIX Conference",
PAGES = {347--356},
MONTH = jun,
YEAR = 1987,
KEYWORDS = "COMPILER, LINKER, GLOBAL OPTIMIZATION, INLINE"
}
@ARTICLE{Hiranandani92,
AUTHOR = "Seema Hiranandanai and Ken Kennedy and Chau=Wen Tseng",
TITLE = "Compiliong {FORTRAN D} for {MIMD} Distributed-Memory Machines",
JOURNAL = CACM,
VOLUME = 35,
NUMBER = 8,
PAGES = {66--80},
MONTH = aug,
YEAR = 1992,
KEYWORDS = "COMPILERS, CODE-GERNERATION, PARALLELIZATION"
}
@ARTICLE{Ho91,
TITLE = "An Approach to Genuine Dynamic Linking",
AUTHOR = "W. Wilson Ho and Rondald A Olsson",
JOURNAL = SPE,
VOLUME = 21,
NUMBER = 4,
MONTH = apr,
PAGES = {375--390},
KEYWORDS = "LINKING, DYNAMIC"
}
@ARTICLE{Hoare73,
AUTHOR = "C. A. R. Hoare and N. Wirth",
TITLE = "An Axiomatic Definition of the Programming Language
{Pascal} ",
JOURNAL = "Acta Informatica",
NUMBER = 2,
PAGES = {335--355},
YEAR = 1973,
KEYWORDS = "PROGLANG, SEMANTIC, PASCAL"
}
@ARTICLE{Hoffman88,
AUTHOR = "Daniel Hoffman and Richard Snodgrass",
TITLE = "Trace Specifications: Methodology and Models",
JOURNAL = SOFTENG,
VOLUME = 14,
NUMBER = 9,
PAGES = {1243--1255},
MONTH = sep,
YEAR = 1988,
KEYWORDS = "SOFTENG, SPECIFICATION, TRACES, INTERFACE"
}
@ARTICLE{Hoffman89,
AUTHOR = "Daniel Hoffman",
TITLE = "Practical Interface Specification",
JOURNAL = SPE,
VOLUME = 19,
NUMBER = 2,
PAGES = {127--148},
MONTH = feb,
YEAR = 1989,
KEYWORDS = "PROGLANG, SOFTENG, SPECIFICATION, INTERFACE, MODULE, TRACES"
}
@ARTICLE{Hoffman90,
AUTHOR = "Daniel Hoffman",
TITLE = "On Criteria for Module Interfaces",
JOURNAL = SOFTENG,
PAGES = {537--542},
VOLUME = 16,
NUMBER = 5,
MONTH = may,
YEAR = 1990,
KEYWORDS = "SOFTENG, SPECIFICATION, MODULE"
}
@ARTICLE{Holland90,
AUTHOR = "Ian M. Holland",
TITLE = "Cutting Through the Buzz Words --
Under the Knife: Encapsulation",
JOURNAL = "The C++ Insider",
PAGES = {3--16},
MONTH = dec,
YEAR = 1990,
KEYWORDS = "PROGLANG, ABSTRACTION, ENCAPSULATION, C++"
}
@PHDTHESIS{Holler91,
AUTHOR = "Anne M. Holler",
TITLE = "A Study of the Effects on Subprogram Inlining",
SCHOOL = "University of Virginia",
ADDRESS = "Charlottesville, Virginia, USA",
NOTE = "Computer Science Report No. TR-91-06",
MONTH = mar,
YEAR = 1991,
KEYWORDS = "COMPILER, GLOBAL OPTIMIZATION, INLINE"
}
@ARTICLE{Holt82,
AUTHOR = "Richard C. Holt and David B. Wortman",
TITLE = "A Model for Implementing {EUCLID} Modules and Prototypes",
JOURNAL = TOPLAS,
VOLUME = 4,
NUMBER = 4,
PAGES = {552--562},
YEAR = 1982,
KEYWORDS = "COMPILER, EUCLID, MODULE"
}
@TECHREPORT{Holt86a,
AUTHOR = "Richard C. Holt and Philip A. Matthews",
TITLE = "The Formal Semantics of {Turing} Programs",
INSTITUTION = "Computer Systems Research Institute. University of Toronto",
NOTE = "ISSN 0834-1648",
NUMBER = "CSRI-182",
MONTH = may,
YEAR = 1986,
KEYWORDS = "PROGLANG, SEMANTICS, SPECIFICATION, TURING"
}
@TECHREPORT{Holt86b,
AUTHOR = "Richard C. Holt and James R. Cordy",
TITLE = "The {Turing} Language Report",
INSTITUTION = "Computer Systems Research Institute. University of Toronto",
NUMBER = "CSRI-153",
MONTH = aug,
YEAR = 1986,
KEYWORDS = "PROGLANG, TURING"
}
@ARTICLE{Holt87,
AUTHOR = "Richard C. Holt",
TITLE = "Data Descriptors: A Compiler-Time Model of Data
and Addressing",
JOURNAL = TOPLAS,
VOLUME = 9,
NUMBER = 3,
PAGES = {367--389},
YEAR = 1987,
KEYWORDS = "COMPILER, INTERMEDIATE CODE"
}
@BOOK{Holt88a,
AUTHOR = "Richard C. Holt and Philip A. Matthews and
J. Alan Rosselet and James R. Cordy",
TITLE = "The {Turing} Programming Language. Design and Definition",
PUBLISHER = "Prentice Hall",
NOTE = "ISBN 0-13-933136-0",
YEAR = 1988,
KEYWORDS = "PROGLANG, TURING"
}
@TECHREPORT{Holt88b,
AUTHOR = "Richard C. Holt and James R. Cordy",
TITLE = "The {Turing} Plus Report",
INSTITUTION = "Computer Systems Research Institute. University of Toronto",
NUMBER = "CSRI-214",
MONTH = aug,
YEAR = 1988,
KEYWORDS = "PROGLANG, TURING PLUS"
}
@CONFERENCE{Hood86,
AUTHOR = {Robert Hood and Ken Kennedy and Hausi A. M\"uller},
TITLE = "Efficient Recompilation of Module Interfaces in a
Software Development Environment",
BOOKTITLE = "XXX",
YEAR = 1986,
KEYWORDS = "COMPILER, SMART RECOMPILATION"
}
@PHDTHESIS{Horowitz88,
AUTHOR = "Michael Lee Horowitz",
TITLE = "Automatically Achieving Elasticity in the Implementation
of Programming Languages",
DEPARTMENT = "Computer Science",
SCHOOL = "Carnegie Mellon University",
YEAR = 1988,
KEYWORDS = "PROGLANG, MODULES, COMPILER, LINKING, SMART RECOMPILATION"
}
@CONFERENCE{Huang89,
AUTHOR = "Shing-Tsaan Huang",
TITLE = "Detecting termination of Distributed Computations
by External Agents",
BOOKTITLE = "International Conference on Distributed Computing Systems",
ADDRESS = "Newport Beach, California",
PAGES = {79--84},
YEAR = 1989,
KEYWORDS = "DISTPROG, TERMINATION"
}
@CONFERENCE{Hwu89,
AUTHOR = "Wen-mei W. Hwu and Pohua P. Chang",
TITLE = "Inline Function Expansion for Compiling {C} Programs",
BOOKTITLE = "Proceedings of the SIGPLAN '89 Conference on
Programming Language Design and Implementation",
ADDRESS = "Portland, Oregon",
PAGES = {246--255},
MONTH = jun,
YEAR = 1989,
KEYWORDS = "COMPILER, OPTIMIZATION, INLINE, C"
}
@ARTICLE{Iannello90,
AUTHOR = "Giulio Iannello",
TITLE = "Programming Abstract Data Types: Iterators and
Generic Modules in {C}",
JOURNAL = SPE,
VOLUME = 20,
NUMBER = 3,
PAGES = {243--260},
MONTH = mar,
YEAR = 1990,
KEYWORDS = "PROGLANG, C, ITERATOR, GENERIC, PROGRAMMING"
}
@CONFERENCE{Ichbiah83,
AUTHOR = Ichbiah,
TITLE = "On the Design of {Ada}",
BOOKTITLE = "Information Processing 83",
PAGES = {1--10},
PUBLISHER = NorthHolland,
YEAR = 1983,
KEYWORDS = "PROGLANG, ADA"
}
@ARTICLE{Ieumwananonthachai92,
AUTHOR = "Arthur Ieumwananonthachai and Akiko N. Aizawa and
Steven R. Schwartz and Benjamin W. Wah and Jerry C. Yan ",
TITLE = "Intelligent Process Mapping through Systematic
Improvement of Heuristics",
JOURNAL = "Journal of Parallel and Distributed Computing",
VOLUME = 15,
PAGES = {118--142},
YEAR = 1992,
KEYWORDS = "PARALLEL, LOAD-BALANCING"
}
@BOOK{Ince88,
AUTHOR = "D. C. Ince",
TITLE = "An Introduction to Discrete Mathematics
and Formal System Specification",
PUBLISHER = "Oxford University Press",
NOTE = "ISBN 0-19-859667-7",
YEAR = 1988,
KEYWORDS = "SPECIFICATION, Z"
}
@CONFERENCE{Iqbal86,
AUTHOR = "M. A. Iqbal and J. H. Saltz and S. H. Bokhari",
TITLE = "A Comparative Analysis of Static and Dynamic Load
Balancing Strategies",
BOOKTITLE = "Proceedings of the 1986 International Conference
on Parallel Processing",
PAGES = {1040-1047},
YEAR = {1986},
KEYWORDS = "DISTPROG, LOAD BALANCING"
}
@TECHREPORT{Jones76a,
AUTHOR = "Anita K. Jones and Barbara H. Liskov",
TITLE = "An Access Control Facility for Programming Languages",
TYPE = "Computation Structures Group Memo",
INSTITUTION = "MIT",
NUMBER = 137,
MONTH = apr,
YEAR = 1976,
KEYWORDS = "PROGLANG, PROTECTION"
}
@ARTICLE{Jones76b,
AUTHOR = "Anita K. Jones and Barbara H. Liskov",
TITLE = "A Language Extension for Controlling Access to
Shared Data",
JOURNAL = SOFTENG,
VOLUME = 2,
NUMBER = 4,
PAGES = {277--285},
MONTH = dec,
YEAR = 1976,
KEYWORDS = "PROGLANG, PROTECTION"
}
@ARTICLE{Jones78,
AUTHOR = "Anita K. Jones and Barbara H. Liskov",
TITLE = "A Language Extension for Expressing Constraints on Data Access",
JOURNAL = CACM,
VOLUME = 21,
NUMBER = 5,
PAGES = {358--367},
MONTH = may,
YEAR = 1978,
KEYWORDS = "PROGLANG, PROTECTION"
}
@BOOK{Jones90a,
AUTHOR = "Cliff B. Jones",
TITLE = "Systematic Software Development Using {VDM}",
EDITION = "second",
PUBLISHER = "Prentice Hall",
NOTE = "ISBN 0-13-880733-7",
YEAR = 1990,
KEYWORDS = "SOFTENG, SPECIFICATION, VDM"
}
@BOOK{Jones90b,
AUTHOR = "Cliff B. Jones and Roger C. F. Shaw",
TITLE = "Case Studies in Systematic Software Development",
PUBLISHER = "Prentice Hall",
NOTE = "ISBN 0-13-116088-5",
YEAR = 1990,
KEYWORDS = "SOFTENG, SPECIFICATION, VDM"
}
@TECHREPORT{Jones91,
AUTHOR = "Kevin D. Jones",
TITLE = "{LM3}: A {Larch} Interface Language for {Modula-3}.
A Definition and Introduction. Version 1.0",
INSTITUTION = "Digital Systems Research Center",
NUMBER = "72",
MONTH = jun,
YEAR = 1991,
KEYWORDS = "PROGLANG, SOFTENG, SPECIFICATION, MODULA-3, LARCH"
}
@ARTICLE{Jordan90,
AUTHOR = "Mick Jordan",
TITLE = "An Extensible Programming Environment for {Modula-3}",
JOURNAL = "SIGSOFT '90",
VOLUME = 15,
NUMBER = 6,
PAGES = {66--76},
MONTH = dec,
YEAR = 1990,
KEYWORDS = "PROGLANG, SOFTENG, ENVIRONMENT, LINKER, MODULA-3"
}
@CONFERENCE{Jourdan91,
AUTHOR = "Martin Jourdan",
TITLE = "A Survey of Parallel Attribute Evaluation Methods",
BOOKTITLE = "Attribute Grammars, Applications and Systems",
NOTE = "LNCS 545",
PAGES = {234--255},
MONTH = jun,
YEAR = 1991,
KEYWORDS = "COMPILER, ATTRIBUTE GRAMMAR, DISTPROG"
}
@TECHREPORT{Junkin90,
AUTHOR = "Michael D. Junkin and David B. Wortman",
TITLE = "The Implementation of a Concurrent Compiler",
INSTITUTION = "Computer Systems Research Institute. University of Toronto",
NUMBER = "CSRI-235",
MONTH = dec,
YEAR = 1990,
KEYWORDS = "DISTPROG, COMPILER, MODULA-2+"
}
@ARTICLE{Kaiser87,
AUTHOR = "Gail E. Kaiser and Simon M. Kaplan and Josephine Micallef",
TITLE = "Multiuser, Distributed Language-Based Environments",
JOURNAL = SOFTWARE,
PAGES = {58--67},
MONTH = nov,
YEAR = 1987,
KEYWORDS = "DISTPROG, COMPILER, SOFTENG, ENVIRONMENT, ATTRIBUTE GRAMMAR"
}
@ARTICLE{Kamel87,
AUTHOR = "Ragui F. Kamel",
TITLE = "Effect of Modularity on System Evolution",
JOURNAL = SOFTWARE,
PAGES = {48--54},
MONTH = jan,
YEAR = 1987,
KEYWORDS = "PROGLANG, PROTEL, COMPILER, SMART RECOMPILATION, BNR-PASCAL"
}
@CONFERENCE{Kaplan86,
AUTHOR = "Simon M. Kaplan and Gail E. Kaiser",
TITLE = "Incremental Attribute Evaluation in Distributed
Language-Based Environments",
BOOKTITLE = "Proceedings of the 5th Annual ACM Symposium on Principles of
Distributed Computing",
ADDRESS = "New York, USA",
PAGES = {121--130},
YEAR = 1986,
KEYWORDS = "DISTPROG, COMPILER, SOFTENG, ENVIRONMENT, INCREMENTAL,
ATTRIBUTE GRAMMAR"
}
@CONFERENCE{Karr84,
AUTHOR = "Michael Karr",
TITLE = "Code Generation By Coagulation",
BOOKTITLE = "SIGPLAN '84 Symposium on Compiler Construction",
MONTH = jun,
YEAR = 1984,
NOTE = "SIGPLAN Notices, Vol. 19, No. 6",
KEYWORDS = "COMPILER, CODE-GENERATION, COAGULATION"
}
@ARTICLE{Katseff88,
AUTHOR = "Howard P. Katseff",
TITLE = "Using Data Partitioning to Implement a Parallel Assembler",
NOTE = "ACM/SIGPLAN Parallel Programming: Experience with
Applications, Languages, and Systems",
JOURNAL = SIGPLAN,
VOLUME = 23,
NUMBER = 9,
PAGES = {66--76},
MONTH = sep,
YEAR = 1988,
KEYWORDS = "DISTPROG, COMPILER, ASSEMBLER"
}
@CONFERENCE{Kennedy76,
AUTHOR = "Ken Kennedy and Scott K. Warren",
TITLE = "Automatic Generation of Efficient Evaluators
for Attribute Grammars",
BOOKTITLE = "3rd ACM Symposium on Principles of Programming Languages",
ADDRESS = "Atlanta, Georgia, USA",
PAGES = {32--49},
MONTH = jan,
YEAR = 1976,
KEYWORDS = "COMPILER, ATTRIBUTE GRAMMAR"
}
@ARTICLE{Kennedy79,
AUTHOR = "Ken Kennedy and Jayashree Ramanathan",
TITLE = "A Deterministic Attribute Grammar Evaluator
Based on Dynamic Sequencing",
JOURNAL = TOPLAS,
VOLUME = 1,
NUMBER = 1,
PAGES = {142--160},
MONTH = jul,
YEAR = 1979,
KEYWORDS = "COMPILER, ATTRIBUTE GRAMMAR"
}
@ARTICLE{Kennedy91,
AUTHOR = "Ken Kennedy and Kathryn S. McKinley and Chau-Wen Tseng",
TITLE = "Interactive Parallel Programming Using the {ParaScope} Editor",
JOURNAL = "IEEE Transactions on parallel and Distributed Systems",
VOLUME = 2,
NUMBER = 3,
PAGES = {329--341},
MONTH = jul,
YEAR = 1991,
KEYWORDS = "COMPILERS, ENVIRONMENTS, PARALLEL, EDITORS"
}
@TECHREPORT{Keppel91,
AUTHOR = "David Keppel and Susan J. Eggers and Robert R. Henry",
TITLE = "A Case for Runtime Code Generation",
INSTITUTION = "University of Washington",
ADDRESS = "Seattle, WA 98195, USA",
NOTE = "Available via anonymous ftp from {\tt cs.washington.edu}
(128.95.1.4) in {\tt pub/pardo/rtcg-case.ps.Z}",
NUMBER = "TR 91-11-04",
MONTH = nov,
YEAR = 1991,
KEYWORDS = "COMPILER, RUN-TIME, CODE GENERATION"
}
@ARTICLE{Kernighan70,
AUTHOR = "B. W. Kernighan and S. Lin",
TITLE = "An Efficient Heuristic Procedure for Partitioning Graphs",
JOURNAL = "The {Bell} System Technical Journal",
PAGES = {291--307},
MONTH = feb,
YEAR = 1970,
KEYWORDS = "ALGORITHMS, GRAPH, PARTITIONING"
}
@UNPUBLISHED{Kessler83,
AUTHOR = "Peter B. Kessler",
TITLE = "The Intermediate Representation of the Portable {C}
Compiler, as used by the Berkely {Pascal} Compiler",
INSTITUTION = "Computer Science Division, Department of
Electrical Engineering and Computer Science,
University of California, Berkely, USA",
NOTE = "Limited Distribution -- {UNIX} Source Licensees Only",
KEYWORDS = "COMPILER, INTERMEDIATE CODE, C, PCC, PASCAL"
}
@CONFERENCE{Khanna90,
AUTHOR = "S. Khanna and A. Ghafoor",
TITLE = "A Data Partitioning Technique for Parallel Compilation",
BOOKTITLE = "Proceedings of the Workshop on Parallel Compilation",
ADDRESS = "Kingston, Ontario, Canada",
MONTH = may,
YEAR = 1990,
KEYWORDS = "COMPILER, DISTPROG, PASCAL"
}
@CONFERENCE{Kieburtz78,
AUTHOR = "R.B. Kieburtz and W. Barabash and C.R. Hill",
TITLE = "A Type-Checking Program Linkage System for {Pascal}",
BOOKTITLE = "3rd International Conference on Software Engineering",
PAGES = {23--28},
ADDRESS = "Atlanta, GA, USA",
MONTH = may,
YEAR = 1978,
KEYWORDS = "COMPILER, LINKER, PASCAL"
}
@TECHREPORT{King91,
AUTHOR = "Paul King",
TITLE = "Printing {Z} and {Object-Z} {LaTeX} Documents",
INSTITUTION = "Software Verification Research Centre, Department
of Computer Science, The University of Queensland, Australia",
NUMBER = "????",
YEAR = 1991,
KEYWORDS = "SOFTENG, SPECIFICATION, OBJECT-Z, ZED"
}
@ARTICLE{Klaeren90,
AUTHOR = "Herbert Klaeren",
TITLE = "Embedding Functionally Described Abstract Data Types
into {Modula-2} Programs",
JOURNAL = "Microprocessors and Microsystems",
VOLUME = 14,
NUMBER = 3,
PAGES = {161--166},
MONTH = apr,
YEAR = 1990,
KEYWORDS = "PROGLANG, SOFTENG, SPECIFICATION, MODULA-2"
}
@CONFERENCE{Klein90a,
AUTHOR = "Eduard F. Klein and Kai Koskimies",
TITLE = "Parallel One-Pass Compilation",
BOOKTITLE = "International Workshop on Attribute Grammars and
their Applications (WAGA '90)",
NOTE = "LNCS 461",
ADDRESS = "Paris, France",
MONTH = sep,
YEAR = 1990,
KEYWORDS = "COMPILER, DISTPROG, ATTRIBUTE"
}
@CONFERENCE{Klein90b,
AUTHOR = "Eduard F. Klein",
TITLE = "Attribute Evaluation in Parallel",
BOOKTITLE = "Proceedings of the Workshop on Parallel Compilation",
ADDRESS = "Kingston, Ontario, Canada",
MONTH = may,
YEAR = 1990,
KEYWORDS = "COMPILER, DISTPROG, ATTRIBUTE GRAMMAR"
}
@TECHREPORT{Knudsen90,
AUTHOR = "J{\o}rgen Lindskov Knudsen and Ole Lehrmann Madsen
and Claus N{\o}rgaard and Lars Bak Petersen and
Elmer Sandvad",
TITLE = "An Overview of the {Mj{\o}lner BETA} System",
INSTITUTION = "Mj{\o}lner Informatics ApS",
ADDRESS = "Science Park Aarhus, Gustav Wiedersvej 10,
DK-8000 {\AA}rhus C, Denmark",
MONTH = mar,
YEAR = 1990,
KEYWORDS = "PROGLANG, BETA"
}
@ARTICLE{Knuth71,
AUTHOR = "Donald E. Knuth",
TITLE = "An Empirical Study of {FORTRAN} Programs",
JOURNAL = SPE,
VOLUME = 1,
PAGES = {105--133},
YEAR = 1971,
KEYWORDS = "PROGLANG, PROGRAMMING, FORTRAN, STATISTICS"
}
@ARTICLE{Koffman85,
AUTHOR = "Elliot B. Koffman and David Stemple and Caroline E. Wardle",
TITLE = "Recommended Curriculum for {CS2}, 1984",
JOURNAL = CACM,
VOLUME = 28,
NUMBER = 8,
PAGES = {815--818},
MONTH = aug,
YEAR = 1985,
KEYWORDS = "EDUCATION"
}
@CONFERENCE{Koffman88,
AUTHOR = "Elliot B. Koffman",
TITLE = "The Case for {Modula-2} in {CS1} and {CS2}",
BOOKTITLE = "19th SIGCSE Technical Symposium on Computer Science Education",
PUBLISHER = ACM,
PAGES = {49--53},
MONTH = feb,
YEAR = 1988,
KEYWORDS = "EDUCATION"
}
@ARTICLE{Kornerup80,
AUTHOR = "Peter Kornerup and Bent Bruun Kristensen
and Ole Lehrmann Madsen",
TITLE = "Interpretation and Code Generation Based on
Intermediate Languages",
JOURNAL = SPE,
VOLUME = 10,
PAGES = {635--658},
YEAR = 1980,
KEYWORDS = "COMPILER, INTERMEDIATE CODE, CODE GENERATION"
}
@TECHREPORT{Krampell87,
AUTHOR = "Magnus Krampell",
TITLE = "Inline Expansion in the {TURTLE} Translation System",
INSTITUTION = CSLund,
NUMBER = "LUNFD6/NFCS-3022",
PAGES = {1--22},
YEAR = 1987,
KEYWORDS = "COMPILER, INTERMEDIATE CODE, INLINE"
}
@TECHREPORT{Krampell87b,
AUTHOR = "Magnus Krampell",
TITLE = "{Information Hiding}: Design and Implementation of Modular
Programming Languages",
INSTITUTION = CSLund,
NUMBER = "LUNFD6/NFCS-1004/1-48/1987",
TYPE = "Licentiate Thesis",
PAGES = {1--48},
YEAR = 1987,
KEYWORDS = "COMPILER, MODULES, INTERMEDIATE CODE, INLINE"
}
@BOOK{Kreczmar90,
AUTHOR = "Antoni Kreczmar and Andrzej Salwicki and Marek Warpechowski",
TITLE = "{LOGLAN '88} -- Report on the Programming Language",
PUBLISHER = Springer,
SERIES = "LNCS 414",
YEAR = 1990,
KEYWORDS = "PROGLANG, OOP, LOGLAN"
}
@INCOLLECTION{KriegXX,
AUTHOR = "Bernd Krieg-Brueckner",
TITLE = "Types in the Programming Language {Ada}",
BOOKTITLE = "On Conceptual Modeling",
PUBLISHER = Springer,
CHAPTER = 14,
PAGES = {385--410},
YEAR = 1900,
KEYWORDS = "PROGLANG, ADA, SPECIFICATION, ANNA"
}
@TECHREPORT{Kristensen90,
AUTHOR = "Bent Bruun Kristensen and Ole Lehrmann Madsen and
Birger Moller-Pedersen and Kristen Nygaard",
TITLE = "Object Oriented Programming in the {Beta} Programming
Language",
INSTITUTION = "Datalogisk Afdeling, Aarhus Universitet",
NUMBER = "32",
MONTH = jan,
YEAR = 1990,
KEYWORDS = "PROGLANG, OOP, BETA"
}
@TECHREPORT{Krueger89,
AUTHOR = "Charles W. Krueger",
TITLE = "Models of Reuse in Software Engineering",
INSTITUTION = "School of Computer Science. Carnegie Mellon University",
NUMBER = "CMU-CS-188",
MONTH = dec,
YEAR = 1989,
KEYWORDS = "SOFTENG, REUSE, SURVEY"
}
@PHDTHESIS{Kuiper89,
AUTHOR = "Matthijs F. Kuiper",
TITLE = "Parallel Attribute Evaluation",
SCHOOL = "University of Utrecht",
ADDRESS = "Padualaan 14, P.O. Box 80.089, Utrecht, The Netherlands",
MONTH = nov,
YEAR = 1989,
KEYWORDS = "DISTPROG, COMPILER, ATTRIBUTE GRAMMAR"
}
@CONFERENCE{Kuiper90,
AUTHOR = "Matthijs F. Kuiper and S. Doaitse Swierstra",
TITLE = "Parallel Attribute Evaluation: Structure of
Evaluators and Detection of Parallelism",
BOOKTITLE = "International Workshop on Attribute Grammars and
their Applications (WAGA '90)",
NOTE = "LNCS 461",
PAGES = {61--75},
ADDRESS = "Paris, France",
MONTH = sep,
YEAR = 1990,
KEYWORDS = "DISTPROG, COMPILER, ATTRIBUTE GRAMMAR"
}
@INCOLLECTION{Lamport90,
AUTHOR = "Leslie Lamport and Nancy Lynch",
TITLE = "Distributed Computing Models and Methods",
BOOKTITLE = "Handbook of Theoretical Computer Science",
PUBLISHER = Elsevier,
EDITOR = "J. van Leeuwen",
CHAPTER = 18,
PAGES = {1158--1199},
YEAR = 1990,
KEYWORDS = "DISTPROG, SURVEY"
}
@CONFERENCE{Lampson71,
AUTHOR = "Butler Lampson",
TITLE = "Protection",
BOOKTITLE = "Proceedings of the 5th Annual Princeton Conference
on Information Sciences and Systems",
ADDRESS = "Princeton University",
PAGES = {437--443},
YEAR = 1971,
KEYWORDS = "PROTECTION"
}
@ARTICLE{Lampson77,
AUTHOR = "B. W. Lampson and J.J Horning and R.L. London and
J. G. Mitchell and G.J. Popek",
TITLE = "Report on the Programming Language {Euclid}",
JOURNAL = SIGPLAN,
NUMBER = 0,
PAGES = {1--79},
MONTH = feb,
YEAR = 1977,
KEYWORDS = "PROGLANG, EUCLID"
}
@ARTICLE{Lampson84,
AUTHOR = "Butler W. Lampson",
TITLE = "Hints for Computer System Design",
JOURNAL = SOFTWARE,
VOLUME = 1,
NUMBER = 1,
PAGES = {11--31},
MONTH = jan,
YEAR = 1984,
KEYWORDS = "PROGLANG, EUCLID"
}
@CONFERENCE{LeBlanc79,
AUTHOR = "Richard J. LeBlanc and Charles N. Fischer",
TITLE = "On Implementing Separate Compilation in
Block-Structured Languages",
BOOKTITLE = "SIGPLAN Symposium on Compiler Construction",
PAGES = {139--143},
MONTH = aug,
YEAR = 1979,
KEYWORDS = "PROGLANG, COMPILER, SEPARATE COMPILATION, UW-PASCAL"
}
@ARTICLE{LeBlanc81,
AUTHOR = "Richard J. LeBlanc and Charles N. Fischer",
TITLE = "A Simple Separate Compilation Mechanism
for Block-Structured Languages",
JOURNAL = SOFTENG,
VOLUME = 10,
NUMBER = 3,
PAGES = {221--227},
YEAR = 1981,
KEYWORDS = "PROGLANG, COMPILER, SEPARATE COMPILATION, UW-PASCAL"
}
@ARTICLE{Leblang87,
AUTHOR = "David B. Leblang and Robert P. {Chase Jr}.",
TITLE = "Parallel Software Configuration Management
in a Network Environment",
JOURNAL = SOFTWARE,
PAGES = {28--35},
MONTH = nov,
YEAR = 1987,
KEYWORDS = "COMPILER, DISTPROG, MAKE"
}
@ARTICLE{Leler90,
AUTHOR = "Wm Leler",
TITLE = "{Linda} meets {Unix}",
JOURNAL = "IEEE Computer",
PAGES = {43--54},
MONTH = feb,
VOLUME = 23,
NUMBER = 2,
YEAR = 1990,
KEYWORDS = "DISTPROG, LINDA"
}
@ARTICLE{Lempel79,
AUTHOR = "Abraham Lempel",
TITLE = "Cryptology in Transition",
JOURNAL = CS,
VOLUME = 11,
NUMBER = 4,
PAGES = {285--303},
MONTH = dec,
YEAR = 1979,
KEYWORDS = "ALGORITHMS, ENCRYPTION, CRYPTOLOGY"
}
@CONFERENCE{Leroy94,
AUTHOR = "Xavier Leroy",
TITLE = "Manifest types, modules, and separate compilation",
BOOKTITLE = "POPL'94",
YEAR = 1984,
KEYWORDS = "PROGLANG, FUNCTIONAL, SML, MODULES"
}
@ARTICLE{Levy90,
AUTHOR = "Eliezer Levy and Abraham Silberschatz",
TITLE = "Distributed File Systems: Concepts and Examples",
JOURNAL = CS,
PAGES = {321--374},
VOLUME = 22,
NUMBER = 4,
MONTH = Dec,
YEAR = 1990,
KEYWORDS = "DISTPROG, OPERATING SYSTEMS, FILE SYSTEMS"
}
@ARTICLE{Linton89,
AUTHOR = "Mark A. Linton and Russel W. Quong",
TITLE = "A Macroscopic Profile of Program Compilation and Linking",
JOURNAL = SOFTENG,
VOLUME = 15,
NUMBER = 4,
PAGES = {427--436},
MONTH = apr,
YEAR = 1989,
KEYWORDS = "COMPILER, LINKER, PROFILE"
}
@ARTICLE{Liskov77,
AUTHOR = "Barbara H. Liskov and A. Snyder and Russell R. Atkinson",
TITLE = "Abstraction Mechanisms in {CLU}",
JOURNAL = CACM,
VOLUME = 20,
NUMBER = 8,
PAGES = {564--576},
MONTH = aug,
YEAR = 1977,
KEYWORDS = "PROGLANG, ABSTRACTION, MODULE, CLU"
}
@BOOK{Liskov81,
AUTHOR = "Barbara H. Liskov and Russell R. Atkinson and
Toby Bloom and Eliot Moss and J. Craig Schaffert and
Robert Scheifler and Alan Snyder",
TITLE = "{CLU} Reference Manual",
PUBLISHER = Springer,
NOTE = "ISBN 3-540-10836-X",
SERIES = "LNCS 114",
YEAR = 1981,
KEYWORDS = "PROGLANG, ABSTRACTION, MODULE, CLU"
}
@BOOK{Liskov86,
AUTHOR = "Barbara H. Liskov and John Guttag",
TITLE = "Abstraction and Specification in Program Development",
PUBLISHER = "The MIT Press",
NOTE = "ISBN 0-262-12112-3",
YEAR = 1986,
KEYWORDS = "PROGLANG, ABSTRACTION, MODULE, CLU"
}
@ARTICLE{Low78,
AUTHOR = "James R. Low",
TITLE = "Automatic Data Structure Selection: An Example and Overview",
JOURNAL = CACM,
VOLUME = 21,
NUMBER = 5,
PAGES = {376--385},
MONTH = may,
YEAR = 1978,
KEYWORDS = "PROGLANG, ABSTRACTION, MODULE SELECTION"
}
@ARTICLE{MacLennan82,
AUTHOR = "B. J. MacLennan",
TITLE = "Values and Objects in Programming Languages",
JOURNAL = SIGPLAN,
VOLUME = 17,
NUMBER = 12,
MONTH = dec,
YEAR = 1982,
KEYWORDS = "PROGLANG, THEORY"
}
@ARTICLE{Maclaren84,
AUTHOR = "M. D. Maclaren",
TITLE = "Inline routines in {VAXLN Pascal}",
JOURNAL = SIGPLAN,
VOLUME = 19,
NUMBER = 6,
NOTE = "ACM Sigplan '84 Symposium on Compiler Construction",
PAGES = {266--275},
MONTH = jun,
YEAR = 1984,
KEYWORDS = "COMPILER, OPTIMIZATION, INLINE"
}
@ARTICLE{Madhavji86,
AUTHOR = "Nazim H. Madhavji and Luc Pinsonneault and Kamel Toubache",
TITLE = "{Modula-2/MUPE-2}: Language and Environment Interactions",
JOURNAL = SOFTWARE,
PAGE = {7--17},
MONTH = nov,
YEAR = 1986,
KEYWORDS = "SOFTENG, ENVIRONMENT"
}
@ARTICLE{Magee91,
AUTHOR = "J. N. Magee and S. C. Cheung",
TITLE = "Parallel Algorithm Design for Workstation Clusters",
JOURNAL = SPE,
PAGE = {235--250},
MONTH = mar,
YEAR = 1991,
KEYWORDS = "DISTPROG, PROGRAMMING, WORKSTATIONS"
}
@CONFERENCE{Maibaum86,
AUTHOR = "T. S. E. Maibaum",
TITLE = "Role Of Abstraction in Program Development",
BOOKTITLE = "Information Processing, IFIP 86",
PUBLISHER = "Elsevier Science Publishers E.V. (North-Holland)",
PAGE = {135--146},
YEAR = 1986,
KEYWORDS = "PROGRAMMING, ABSTRACTION"
}
@UNPUBLISHED{Manacher85,
AUTHOR = "Glen K. Manacher",
TITLE = "A Rationale for a New Version of {Modula-2}",
NOTE = "Unpublished",
ADDRESS = "Department of Mathematics, Statistics, and Computer Science.
University of Illinois at Chicago",
YEAR = 1985,
KEYWORDS = "PROGLANG, MODULA-2, GENERATOR"
}
@CONFERENCE{Mason94,
TITLE = "The Challenges of Compiling SML Code",
AUTHOR = "David Mason",
URL = { Mason94 },
NOTE = "ftp://plg.uwaterloo.ca/pub/dmason/papers/sysml-comp.ps.Z",
KEYWORDS = "SML, FUNCTIONAL, LINKING, CODE_OPTIMIZATION"
}
@CONFERENCE{Massalin87,
AUTHOR = "Harry Massalin",
TITLE = "Superoptimizer -- A Look at the Smallest Program",
BOOKTITLE = "Proceedings Second International Conference on
Architechtural Support for Programming Languages and
Operating Systems ({ASPLOS II})",
ADDRESS = "Palo, alto, California",
MONTH = oct,
YEAR = 1987,
KEYWORDS = "COMPILER, CODE-GENERATION, OPTIMIZATION, SUPEROPTIMIZER"
}
@CONFERENCE{Mattern87,
AUTHOR = "Friedermann Mattern",
TITLE = "Experience with a New Distributed Termination Detection
Algorithm",
BOOKTITLE = "2nd International Workshop on Distributed Algorithms",
ADDRESS = "Amsterdam, The Netherlands",
NOTE = "LNCS 312",
PAGES = {127--143},
MONTH = jul,
YEAR = 1987,
KEYWORDS = "DISTPROG, TERMINATION"
}
@ARTICLE{Maurer90,
AUTHOR = "Peter M. Maurer",
TITLE = "Generating Test Data with Enhanced Context-Free Grammars",
JOURNAL = SOFTWARE,
PAGES = {50--55},
MONTH = jul,
YEAR = 1990,
KEYWORDS = "SOFTENG, TESTING"
}
@CONFERENCE{McFarling91,
AUTHOR = "Scott McFarling",
TITLE = "Procedure Merging with Instruction Caches",
BOOKTITLE = "ACM SIGPLAN '91 Conference on Programming Language Design
and Implementation",
PAGES = {71--79},
ADDRESS = "Toronto, Canada",
MONTH = jun,
YEAR = 1991,
KEYWORDS = "COMPILER, INLINE, GLOBAL OPTIMIZATION"
}
@ARTICLE{McKay89,
AUTHOR = "Brendan D. McKay",
TITLE = "On the Shape of a Random Acyclic Digraph",
JOURNAL = "Mathematical Proceedings of the Cambridge Philosophical Society",
PAGES = {459--465},
NUMBER = 106,
YEAR = 1989,
KEYWORDS = "MATH, DAG, RANDOM DIGRAPH"
}
@ARTICLE{McLean84,
AUTHOR = "John McLean",
TITLE = "A Formal Method for the Abstract Specification of Software",
JOURNAL = JACM,
PAGES = {600--627},
VOLUME = 32,
NUMBER = 3,
YEAR = 1984,
KEYWORDS = "SOFTENG, SPECIFICATION, TRACES"
}
@BOOK{Mehlhorn84,
AUTHOR = "Kurt Mehlhorn",
TITLE = "Data Structures and Algorithms 2: Graph Algorithms and {NP}-Completeness",
PUBLISHER = Springer,
NOTE = "ISBN 3-540-13641-X",
YEAR = 1984,
KEYWORDS = "ALGORITHMS, GRAPHS"
}
@ARTICLE{Merks92,
AUTHOR = "Eduardus A. T. Merks and J. Micheal Dyck and Robert D. Cameron",
TITLE = "Language Design for Program Manipulation",
JOURNAL = SOFTWARE,
PAGES = {19--32},
VOLUME = 18,
NUMBER = 1,
MONTH = jan,
YEAR = 1992,
KEYWORDS = "SOFTENG, PROGLANG"
}
@CONFERENCE{Meyer86,
AUTHOR = "Bertrand Meyer",
TITLE = "Genericity versus Inheritance",
BOOKTITLE = "OOPSLA '86",
PAGES = {391--405},
MONTH = sep,
YEAR = 1986,
KEYWORDS = "PROGLANG, GENERIC, INHERITANCE, OOP"
}
@BOOK{Meyer88,
AUTHOR = "Bertrand Meyer",
TITLE = "Object Oriented Software Construction",
PUBLISHER = Addison,
NOTE = "ISBN 0-13-629049-3",
YEAR = 1988,
KEYWORDS = "PROGRAMMING, OOP"
}
@ARTICLE{Meyer89,
AUTHOR = "Bertrand Meyer",
TITLE = "From Structured Programming to Object-Oriented Design:
The Road to {Eiffel}",
JOURNAL = "Structured Programming",
NUMBER = 1,
PAGES = {19--39},
YEAR = 1989,
KEYWORDS = "PROGLANG, EIFFEL, OOP"
}
@BOOK{Meyer90,
AUTHOR = "Bertrand Meyer",
TITLE = "Introduction to the Theory of Programming
Languages",
PUBLISHER = Addison,
NOTE = "ISBN 0-13-498510-9",
YEAR = 1990,
KEYWORDS = "PROGLANG, THEORY"
}
@BOOK{Meyer92,
AUTHOR = "Bertrand Meyer",
TITLE = "{Eiffel}: The Language",
PUBLISHER = PrenticeHall,
NOTE = "ISBN 0-13-247925-7",
YEAR = 1992,
KEYWORDS = "PROGLANG, EIFFEL"
}
@ARTICLE{Mills88,
AUTHOR = "Harlan D. Mills",
TITLE = "Stepwise Refinement and Verification in Box-Structured Systems",
JOURNAL = "IEEE Computers",
PAGES = {23--36},
MONTH = jun,
YEAR = 1988,
KEYWORDS = "SOFTENG, CLEANROOM, VERIFICATION"
}
@ARTICLE{Morris73,
AUTHOR = "James H. Morris",
TITLE = "Protection in Programming Languages",
JOURNAL = CACM,
VOLUME = 16,
NUMBER = 1,
PAGES = {15--21},
MONTH = jan,
YEAR = 1973,
KEYWORDS = "PROGLANG, ABSTRACTION, PROTECTION"
}
@ARTICLE{Morris79,
AUTHOR = "James H. Morris",
TITLE = "Data Abstraction: A Static Implementation Strategy",
JOURNAL = CACM,
VOLUME = 16,
NUMBER = 1,
PAGES = {15--21},
MONTH = jan,
YEAR = 1979,
KEYWORDS = "PROGLANG, INLINE, ABSTRACTION, MODEL, GENERIC"
}
@CONFERENCE{Morris91,
AUTHOR = "W. G. Morris",
TITLE = "{CCG}: A Prototype Coagulating Code Generator",
BOOKTITLE = "SIGPLAN '84 Conference onn Programming Language Design
and Implementation",
MONTH = jun,
ADDRESS = "Toronto, Ontario, Canada",
YEAR = 1991,
KEYWORDS = "COMPILER, CODE-GENERATION, COAGULATION"
}
@ARTICLE{Mossenbock89,
AUTHOR = {Hanspeter M\"ossenb\"ock and Josef Templ},
TITLE = "{Object Oberon} -- A Modest Object-Oriented Language",
JOURNAL = "Structured Programming",
VOLUME = 10,
NUMBER = 4,
PAGES = {199--207},
YEAR = 1989,
KEYWORDS = "PROGLANG, OBJECT OBERON, OOP"
}
@TECHREPORT{Mossenbock91a,
AUTHOR = {Hanspeter M\"ossenb\"ock and Niklaus Wirth},
TITLE = "The Programming Language {Oberon-2}",
INSTITUTION = {Institute f\"ur Computersysteme, ETH, Z\"urich},
YEAR = 1991,
KEYWORDS = "PROGLANG, OBERON-2, OOP"
}
@TECHREPORT{Mossenbock91b,
AUTHOR = {Hanspeter M\"ossenb\"ock and Niklaus Wirth},
TITLE = "Differences between {Oberon} and {Oberon-2}",
INSTITUTION = {Institute f\"ur Computersysteme, ETH, Z\"urich},
YEAR = 1991,
KEYWORDS = "PROGLANG, OBERON-2, OOP"
}
@ARTICLE{Musa89,
AUTHOR = "John D. Musa and A. Frank Ackerman",
TITLE = "Quantifying Software Validation: When to Stop Testing?",
JOURNAL = SOFTWARE,
PAGES = {19--27},
MONTH = may,
YEAR = 1989,
KEYWORDS = "SOFTENG, TESTING, VALIDATION"
}
@ARTICLE{Myers89,
AUTHOR = "Ware Myers",
TITLE = "Allow Plenty of Time for Large-Scale Software",
JOURNAL = SOFTWARE,
PAGES = {92--99},
MONTH = jul,
YEAR = 1989,
KEYWORDS = "SOFTENG, METRICS, MANAGEMENT, PLANNING"
}
@ARTICLE{Nelson79,
AUTHOR = "Philip A. Nelson",
TITLE = "A Comparison of {Pascal} Intermediate Languages",
JOURNAL = SIGPLAN,
VOLUME = 14,
NUMBER = 8,
PAGES = {208--213},
MONTH = aug,
YEAR = 1979,
KEYWORDS = "COMPILER, INTERMEDIATE CODE, P-CODE"
}
@BOOK{Nelson91,
AUTHOR = "Greg Nelson",
TITLE = "Systems Programming with {Modula-3}",
PUBLISHER = "Prentice Hall",
NOTE = "ISBN 0-13-590464-1",
YEAR = 1991,
KEYWORDS = "PROGLANG, MODULA-3"
}
@ARTICLE{Nicolau89,
AUTHOR = "Alexandru Nicolau",
TITLE = "Run-Time Disambiguation: Comping with Staticallyt
Unpredictable Dependencies",
JOURNAL = IEEECOMPUTER,
VOLUME = 38,
NUMBER = 5,
PAGES = {663--678},
MONTH = may,
YEAR = 1989,
KEYWORDS = "COMPILER, OPTIMIZATION, PARALLELIZATION"
}
@ARTICLE{NobleXX,
AUTHOR = "R. James Noble and Lindsay J. Groves",
TITLE = "Tarraingim -- A Program Animation Environment",
JOURNAL = "New Zealand Journal of Computing",
YEAR = 1900,
KEYWORDS = "ANIMATION, SOFTENG"
}
@ARTICLE{Notkin85,
AUTHOR = "David Notkin",
TITLE = "The {Gandalf} Project",
JOURNAL = JSYSSOFT,
VOLUME = 5,
PAGES = {91--105},
YEAR = 1985,
KEYWORDS = "ENVIRONMENT, INCREMENTAL-LINKING,
INCREMENTAL-LOADING, SYNTAX-DIRECTED-EDITING"
}
@ARTICLE{Odersky90,
AUTHOR = "Martin Odersky",
TITLE = "Extending {Modula-2} for Object-Oriented Programming",
JOURNAL = "Microprocessors and Microsystems",
VOLUME = 14,
NUMBER = 3,
PAGES = {153--159},
MONTH = apr,
YEAR = 1990,
KEYWORDS = "PROGLANG, MODULA-2, OOP, TYPE GUARD, MODULE TYPE"
}
@TECHREPORT{Omohundro91,
AUTHOR = "Stephen M. Omohundro",
TITLE = "The {Sather} Language",
INSTITUTION = "International Computer Science Institute",
ADDRESS = "1947 Center Street, Suite 600, Berkely, California 94704",
YEAR = 1991,
KEYWORDS = "PROGLANG, OOP, EIFFEL, SATHER"
}
@ARTICLE{Ostrand88,
AUTHOR = "Thomas J. Ostrand and Marc J. Balcer",
TITLE = "The Category-Partition Method for Specifying And
Generating Functional Tests",
JOURNAL = CACM,
VOLUME = 31,
NUMBER = 6,
PAGES = {676--686},
MONTH = jun,
YEAR = 1988,
KEYWORDS = "SOFTENG, TESTING"
}
@ARTICLE{Ottenstein84,
AUTHOR = "Karl J. Ottenstein",
TITLE = "Intermediate Program Representation in Compiler Construction:
A Supplemental Bibliography",
JOURNAL = SIGPLAN,
VOLUME = 19,
NUMBER = 7,
PAGES = {25--27},
MONTH = jul,
YEAR = 1984,
KEYWORDS = "COMPILER, INTERMEDIATE CODE, SURVEY"
}
@ARTICLE{Paakki90,
AUTHOR = "Jukka Paakki and Anssi Karhinen and Tomi Silander",
TITLE = "Orthogonal Type Extensions and Reductions",
JOURNAL = SIGPLAN,
PAGES = {28--38},
VOLUME = 25,
NUMBER = 7,
MONTH = jul,
YEAR = 1990,
KEYWORDS = "PROGLANG, OOP, OBERON, ALBERICH"
}
@ARTICLE{Packstone90,
AUTHOR = "Jim Packstone",
TITLE = "Heuristics for Error-Free Operator Overloading",
JOURNAL = "The C++ Insider",
MONTH = dec,
YEAR = 1990,
KEYWORDS = "PROGLANG, OVERLOADING, C++"
}
@ARTICLE{Padua86,
AUTHOR = "David A. Padua and Michael J. Wolfe",
TITLE = "Advanced Compilers Optimizations for Supercomputers",
JOURNAL = CACM,
VOLUME = 29,
NUMBER = 12,
PAGES = {1184--1201},
MONTH = dec,
YEAR = 1986,
KEYWORDS = "PARALLELIZING-COMPILERS, COMPILERS, OPTIMIZATION"
}
@TECHREPORT{Paganini78,
AUTHOR = "M. Paganini and A. Sacco and L. Tartaglino and A. Tazzari",
TITLE = "A Linker for a Modularized {Pascal}\protect\footnote{This
work has not been available for dissemination.}",
INSTITUTION = "Dipartimento di Elettronica, Politecnico di Milano",
NOTE = "(in Italian)",
YEAR = 1978,
KEYWORDS = "PROGLANG, MODULE, COMPILER, LINKER, PASCAL"
}
@MISC{PalsbergXX,
AUTHOR = "Jens Palsberg and Michael I. Schwartzbach",
TITLE = "What is Type-Safe Code Reuse?",
JOURNAL = "XX",
KEYWORDS = "PROGLANG, TYPES, REUSE"
}
@ARTICLE{Parnas72a,
AUTHOR = Parnas,
TITLE = "A Technique for Software Module Specification with Examples",
JOURNAL = CACM,
VOLUME = 15,
NUMBER = 5,
PAGES = {330--336},
MONTH = may,
YEAR = 1972,
KEYWORDS = "SOFTENG, MODULE, SPECIFICATION, INFORMATION HIDING"
}
@ARTICLE{Parnas72b,
AUTHOR = Parnas,
TITLE = "On the Criteria To Be Used in Decomposing Systems into Modules",
JOURNAL = CACM,
VOLUME = 15,
NUMBER = 12,
PAGES = {1053--1058},
MONTH = dec,
YEAR = 1972,
KEYWORDS = "SOFTENG, MODULE, INFORMATION HIDING"
}
@CONFERENCE{Parnas72c,
AUTHOR = Parnas,
TITLE = "Information Distribution Aspects of Design Methodology",
BOOKTITLE = "Information Processing 71",
PUBLISHER = "North Holland Publishing Company",
PAGES = {339--344},
YEAR = 1972,
KEYWORDS = "SOFTENG, MODULE, INFORMATION HIDING"
}
@CONFERENCE{Parnas84,
AUTHOR = "David L. Parnas and Paul C. Clements and D. M. Weiss",
TITLE = "The Modular Structure of Complex Systems",
BOOKTITLE = "IEEE...",
YEAR = 1984,
KEYWORDS = "SOFTENG, DESIGN, MODULE, INFORMATION HIDING"
}
@ARTICLE{Parnas86,
AUTHOR = "David L. Parnas and Paul C. Clements",
TITLE = "A Rational Design Process: How and Why to Fake It",
JOURNAL = SOFTENG,
VOLUME = 12,
NUMBER = 2,
PAGES = {251--257},
MONTH = feb,
YEAR = 1986,
KEYWORDS = "SOFTENG, DESIGN"
}
@TECHREPORT{Parnas88a,
AUTHOR = "David. L. Parnas and A. John van Schouwen and Shu Po Kwan",
TITLE = "Evaluation Standards for Safety Critical Software",
INSTITUTION = "Department of Computing and Information Science;
Queen's University at Kingston",
ADDRESS = "Kingston, Ontario, K7L 3N6 Canada",
NUMBER = 220,
NOTE = "ISSN 0836-0227",
MONTH = may,
YEAR = 1988,
KEYWORDS = "SOFTENG, SPECIFICATION, INTERFACE, MODULE, TRACES"
}
@TECHREPORT{Parnas88b,
AUTHOR = "David. L. Parnas and David G. Smith and Trevor Pearce",
TITLE = "Making Formal Software Documentation More Practical.
A Progress Report",
INSTITUTION = "Department of Computing and Information Science;
Queen's University at Kingston",
ADDRESS = "Kingston, Ontario, K7L 3N6 Canada",
NUMBER = 236,
NOTE = "ISSN 0836-0227",
MONTH = nov,
YEAR = 1988,
KEYWORDS = "SOFTENG, SPECIFICATION, DOCUMENTATION"
}
@TECHREPORT{Parnas89,
AUTHOR = "David. L. Parnas and Yabo Wang",
TITLE = "The Trace Assertion Method of Module Interface
Specification",
INSTITUTION = "Department of Computing and Information Science;
Queen's University at Kingston",
ADDRESS = "Kingston, Ontario, K7L 3N6 Canada",
NUMBER = 261,
NOTE = "ISSN 0836-0227",
MONTH = oct,
YEAR = 1989,
KEYWORDS = "SOFTENG, SPECIFICATION, INTERFACE, MODULE, TRACES"
}
@CONFERENCE{Parnas90a,
AUTHOR = "David. L. Parnas and P.C. Clements and D. M. Weiss",
TITLE = "The Modular Structure of Complex Systems",
BOOKTITLE = "7th International Conference on Software Engineering",
PAGES = {408--417},
PUBLISHER = "Computer Society Press",
MONTH = mar,
YEAR = 1984,
KEYWORDS = "SOFTENG, MODULE"
}
@ARTICLE{Parnas90b,
AUTHOR = "David. L. Parnas and A. John van Schouwen and Shu Po Kwan",
TITLE = "Evaluation of Safety-Critical Software",
JOURNAL = CACM,
VOLUME = 33,
NUMBER = 6,
PAGES = {636--648},
MONTH = jun,
YEAR = 1990,
KEYWORDS = "SOFTENG, INFORMATION HIDING"
}
@INBOOK{PeytonJones87,
AUTHOR = "Simon L. Peyton Jones",
TITLE = "Parallel Graph Reduction",
BOOKTITLE = "The Implementation of Functional Programming Languages",
PUBLISHER = PrenticeHall,
CHAPTER = 24,
NOTE = "ISBN 0-13-453325-9",
YEAR = 1987,
KEYWORDS = "PROGLANG, COMPILER, DISTPROG, FUNCTIONAL"
}
@BOOK{Pirsig74,
AUTHOR = "Robert M. Pirsig",
TITLE = "{Zen} and the Art of Motorcycle Maintenance",
PUBLISHER = "The Bodley Head Ltd.",
NOTE = "ISBN 0-552-10166-4",
YEAR = 1974,
KEYWORDS = "FICTION, VALUES"
}
@CONFERENCE{Pollock90,
AUTHOR = "Lori L. Pollock and Mary Lou Soffa",
TITLE = "Incremental Global Optimization for Faster Recompilation",
BOOKTITLE = "IEEE 1990 International Conference on Computer Languages",
PAGES = {281--290},
ADDRESS = "New Orleans, Louisiana",
YEAR = 1990,
KEYWORDS = "COMPILER, LINKER, GLOBAL OPTIMIZATION, SMART RECOMPILATION"
}
@ARTICLE{Pollock92,
AUTHOR = "Lori L. Pollock and Mary Lou Soffa",
TITLE = "Incremental Global Reoptimization of Programs",
JOURNAL = TOPLAS,
VOLUME = 14,
NUMBER = 2,
PAGES = {173--200},
MONTH = apr,
YEAR = 1992,
KEYWORDS = "COMPILER, LINKER, GLOBAL OPTIMIZATION, SMART RECOMPILATION"
}
@ARTICLE{Porter92,
AUTHOR = "Porter, III, Harry H.",
TITLE = "Separating the Subtype Hierarchy from the Inheritance
of Implementation",
JOURNAL = JOOP,
PAGES = {20--29},
MONTH = feb,
YEAR = 1992,
KEYWORDS = "PROGLANG, OOP"
}
@ARTICLE{Presser72,
AUTHOR = "Leon Presser and John R. White",
TITLE = "Linkers and Loaders",
JOURNAL = CS,
VOLUME = 4,
NUMBER = 3,
PAGES = {149--167},
MONTH = sep,
YEAR = 1972,
KEYWORDS = "LINKER, LOADER, SURVEY"
}
@ARTICLE{Purtilo91,
AUTHOR = "James M. Purtilo and Joanne M. Atlee",
TITLE = "Module Reuse by Interface Adaptation",
JOURNAL = SPE,
VOLUME = 21,
NUMBER = 6,
PAGES = {539--556},
MONTH = jun,
YEAR = 1991,
KEYWORDS = "PROGRAMMING, MODULE, INTERFACE"
}
@PHDTHESIS{Quong89,
AUTHOR = "Russel W. Quong",
TITLE = "The Design and Implementation of an Incremental Linker",
SCHOOL = "Stanford University",
MONTH = may,
YEAR = 1989,
KEYWORDS = "LINKER"
}
@ARTICLE{Quong91,
AUTHOR = "Russel W. Quong",
TITLE = "Linking Programs Incrementally",
JOURNAL = TOPLAS,
VOLUME = 13,
NUMBER = 1,
PAGES = {1--20},
MONTH = jan,
YEAR = 1991,
KEYWORDS = "LINKER"
}
@ARTICLE{Raj91,
AUTHOR = "Rajendra K. Raj and Ewan Tempero and Henry M. Levy
and Andrew P. Black and Norman C. Hutchinson
and Eric Jul",
TITLE = "{Emerald}: A General-Purpose Programming Language",
JOURNAL = SPE,
PAGES = {91--118},
VOLUME = 21,
NUMBER = 1,
MONTH = jan,
YEAR = 1991,
KEYWORDS = "PROGLANG, EMERALD"
}
@ARTICLE{Redish86,
AUTHOR = "K. A. Redish and W. F. Smyth",
TITLE = "Program Style Analysis: A Natural By-Product of Program
Compilation",
JOURNAL = CACM,
PAGES = {126--133},
VOLUME = 29,
NUMBER = 2,
MONTH = feb,
YEAR = 1986,
KEYWORDS = "COMPILER, STYLE, STATISTICS"
}
@ARTICLE{Rees91,
AUTHOR = "Stephen A. Rees and James P. Black",
TITLE = "An Experimental Investigation of Distributed Matrix
Multiplication Techniques",
JOURNAL = SPE,
PAGES = {1041--1063},
VOLUME = 21,
NUMBER = 10,
MONTH = oct,
YEAR = 1991,
KEYWORDS = "DISTPROG, NUMERICAL ANALYSIS"
}
@ARTICLE{Reps87,
AUTHOR = "Thomas Reps and Tim Teitelbaum",
TITLE = "Language Processing in Program Editors",
JOURNAL = SOFTWARE,
VOLUME = 20,
NUMBER = 11,
PAGES = {29--40},
MONTH = nov,
YEAR = 1987,
KEYWORDS = "COMPILER, ENVIRONMENT, INCREMENTAL, ATTRIBUTE, EDITOR"
}
@ARTICLE{Richardson89a,
AUTHOR = "Stephen Richardson and Mahadevan Ganapathi",
TITLE = "Code Optimization Across Procedures",
JOURNAL = "Computer",
PAGES = {42--49},
MONTH = feb,
YEAR = 1989,
KEYWORDS = "COMPILER, GLOBAL OPTIMIZATION, INLINE"
}
@ARTICLE{Richardson89b,
AUTHOR = "Stephen Richardson and Mahadevan Ganapathi",
TITLE = "Interprocedural Optimization: Experimental Results",
JOURNAL = SPE,
PAGES = {149--169},
VOLUME = 19,
NUMBER = 2,
MONTH = feb,
YEAR = 1989,
KEYWORDS = "COMPILER, GLOBAL OPTIMIZATION, INLINE"
}
@ARTICLE{Richardson89c,
AUTHOR = "Stephen Richardson and Mahadevan Ganapathi",
TITLE = "Interprocedural Analysis vs. Procedure Integration",
JOURNAL = IPL,
PAGES = {137--42},
MONTH = aug,
YEAR = 1989,
KEYWORDS = "COMPILER, GLOBAL OPTIMIZATION, INLINE"
}
@ARTICLE{Rine92,
AUTHOR = "David C. Rine and Bharat Bhargava",
TITLE = "Object-Oriented Computing",
JOURNAL = "IEEE Computer",
VOLUME = 25,
NUMBER = 10,
PAGES = {6--10},
MONTH = oct,
YEAR = 1992,
KEYWORDS = "OBJECT-ORIENTED, SURVEY"
}
@UNPUBLISHED{Rischel87,
AUTHOR = "Hans Rischel",
TITLE = "Mutually Interdependent Modules",
INSTITUTION = "Department of Computer Science.
Technical University of Denmark",
NOTE = "Unpublished",
YEAR = 1987,
KEYWORDS = "PROGLANG, MODULE, MODULA-2"
}
@ARTICLE{Rising92,
AUTHOR = "Linda Rising and Frank W. Calliss",
TITLE = "Problems with Determining Package Cohesion and Coupling",
JOURNAL = SPE,
VOLUME = 22,
NUMBER = 7,
PAGES = {553--571},
MONTH = jul,
YEAR = 1992,
KEYWORDS = "MODULES, COHESION, COUPLING, INFORMATION-HIDING"
}
@ARTICLE{RokusavaXX,
AUTHOR = "Kazuaki Rokusava and Nobuyuki Ichiyoshi and
Takashi Chikayama and Hiroshi Nakashima",
TITLE = "An Efficient Termination Detection and Abortion
Algorithm for Distributed Processing Systems",
JOURNAL = "XXX",
PAGES = {18--22},
YEAR = "19XX",
KEYWORDS = "DISTPROG, TERMINATION"
}
@CONFERENCE{Rosen88,
AUTHOR = "Barry K. Rosen and Mark N. Wegman and F. Kenneth Zadeck",
TITLE = "Global Value Numbers and Redundant Computations",
BOOKTITLE = "15th Annual ACM Symposium on Principles of Programming Languages",
ADDRESS = "San Diego, California",
MONTH = jan,
PAGES = {12--27},
YEAR = 1988,
KEYWORDS = "COMPILER, CODE GENERATION, OPTIMIZATION, INTERMEDIATE CODE"
}
@PHDTHESIS{Rosenberg83,
AUTHOR = "Jonathan Rosenberg",
TITLE = "Generating Compact Code for Generic Subprograms",
SCHOOL = "Carnegie-Mellon University",
NUMBER = "CMU-CS-83-150",
YEAR = 1983,
KEYWORDS = "COMPILER, PROGLANG, GENERIC"
}
@ARTICLE{Ross86,
AUTHOR = "Donald L. Ross",
TITLE = "Classifying {Ada} Packages",
JOURNAL = "SIGADA Letters",
VOLUME = 6,
NUMBER = 4,
PAGES = {46--57},
MONTH = jul,
YEAR = 1986,
KEYWORDS = "PROGLANG, PROGRAMMING, ADA, MODULE"
}
@TECHREPORT{Rossum92,
AUTHOR = "Guido van Rossum and Jelke de Boer",
TITLE = "Interactively Testing Remote Servers Using the
Python Programming Language",
INSTITUTION = "CWI, dep. CST",
NUMBER = "",
YEAR = 1992,
KEYWORDS = "PYTHON, RPC, DISTRIBUTED-SYSTEMS"
}
@ARTICLE{Rovner86,
AUTHOR = "Paul Rovner",
TITLE = "Extending {Modula-2} to Build Large, Integrated Systems",
JOURNAL = SOFTWARE,
PAGES = {46--57},
MONTH = nov,
YEAR = 1986,
KEYWORDS = "PROGLANG, MODULA-2"
}
@CONFERENCE{Rowe80,
AUTHOR = "Lawrence A. Rowe",
TITLE = "Data Abstraction from A Programming Language Viewpoint",
BOOKTITLE = "XXX",
PAGES = {29--35},
MONTH = "",
YEAR = 1980,
KEYWORDS = "PROGLANG, ABSTRACTION"
}
@ARTICLE{Rudmik79,
AUTHOR = "Andres Rudmik and E. S. Lee",
TITLE = "Compiler Design for Efficient Code Generation and
Program Optimization",
JOURNAL = SIGPLAN,
VOLUME = 14,
PAGES = {127--138},
YEAR = 1979,
KEYWORDS = "COMPILER, CODE GENERATION, OPTIMIZATION"
}
@ARTICLE{Rudmik82,
AUTHOR = "Andres Rudmik and Barbara G. Moore",
TITLE = "An Efficient Separate Compilation Strategy for
Very Large Programs",
JOURNAL = SIGPLAN,
PAGES = {301--307},
MONTH = jun,
YEAR = 1982,
KEYWORDS = "PROGLANG, COMPILER, LINKER, SEPARATE COMPILATION"
}
@PHDTHESIS{Ruggieri87,
AUTHOR = "Cristina Ruggieri",
TITLE = "Dynamic Memory Allocation Techniques Based on the
Lifetime of Objects",
SCHOOL = "Purdue University",
YEAR = 1987,
KEYWORDS = "COMPILER, MEMORY ALLOCATION, GARBAGE COLLECTION"
}
@ARTICLE{Sale87,
AUTHOR = "A. H. J. Sale",
TITLE = "Optimization Across Module Boundaries",
JOURNAL = "The Australian Computer Journal",
PAGES = {167--173},
VOLUME = 19,
NUMBER = 3,
MONTH = aug,
YEAR = 1987,
KEYWORDS = "PROGLANG, MODULA-2, COMPILER, LINKER, GLOBAL OPTIMIZATION, INLINE"
}
@MISC{Sale91,
AUTHOR = "A. H. J. Sale",
NOTE = "Personal communication",
YEAR = 1991,
INSTITUTION = "Department of Information Science,
University of Tasmania, Hobart, Australia",
KEYWORDS = "PROGLANG, LINKING"
}
@TECHREPORT{Sannella86,
AUTHOR = "Donald Sannella",
TITLE = "Formal Specification of {ML} Programs",
INSTITUTION = "Laboratory for Foundations of Computer Science,
Department of Computer Science,
University of Edinburgh",
NUMBER = "ECS-LFCS-86-15",
MONTH = nov,
YEAR = 1986,
KEYWORDS = "PROGLANG, ML, SOFTENG, SPECIFICATION"
}
@CONFERENCE{Santhanam90,
AUTHOR = "Vats Santhanan and Daryl Odnert",
TITLE = "Register Allocation Across Procedure and Module Boundaries",
BOOKTITLE = "SIGPLAN '90 Conference on Programming Language Design and
Implementation",
PAGES = {28--39},
ADDRESS = "White Plains, New York",
MONTH = jun,
YEAR = 1990,
KEYWORDS = "COMPILER, LINKER, GLOBAL OPTIMIZATION, INLINE"
}
@ARTICLE{Satyanarayanan90,
AUTHOR = "M. Satyanarayanan",
TITLE = "A Survey of Distributed File Systems",
JOURNAL = "Annual Reviews of Computer Science",
PAGES = {73--104},
NUMBER = 4,
YEAR = 1990,
KEYWORDS = "DISTPROG, SURVEY, FILE SYSTEMS"
}
@ARTICLE{Scheifler77,
AUTHOR = "Robert W. Scheifler",
TITLE = "The Analysis of Inline Substitution for a Structured
Programming Language",
JOURNAL = CACM,
VOLUME = 20,
NUMBER = 9,
PAGES = {647--654},
MONTH = sep,
YEAR = 1977,
KEYWORDS = "COMPILER, CLU, INLINE"
}
@BOOK{Schmidt86,
AUTHOR = "David A. Schmidt",
TITLE = "Denotational Semantics -- A Methodology for
Language Development",
PUBLISHER = "Wm. C. Brown Publishers",
NOTE = "ISBN 0-697-06849-8",
YEAR = 1986,
KEYWORDS = "PROGLANG, THEORY, DENOTATIONAL SEMANTICS"
}
@ARTICLE{Schwanke88,
AUTHOR = "Robert W. Schwanke and Gail E. Kaiser",
TITLE = "Smarter Recompilation",
JOURNAL = TOPLAS,
VOLUME = 10,
NUMBER = 4,
PAGES = {627--632},
MONTH = oct,
YEAR = 1988,
KEYWORDS = "COMPILER, SMART RECOMPILATION"
}
@ARTICLE{Schwartz84,
AUTHOR = "Mayer D. Schwartz and Norman M. Delisle and Vimal S. Begwani",
TITLE = "Incremental Compilation in {Magpie}",
JOURNAL = SIGPLAN,
VOLUME = 19,
NUMBER = 6,
NOTE = "ACM Sigplan '84 Symposium on Compiler Construction",
PAGES = {122--131},
MONTH = jun,
YEAR = 1984,
KEYWORDS = "COMPILER, INCREMENTAL, LINKER, LOADER, ENVIRONMENT"
}
@ARTICLE{Scott85,
AUTHOR = "Michael L. Scott and Raphael A. Finkel",
TITLE = "A Simple Mechanism for Type Security Across Compilation Units",
JOURNAL = SOFTENG,
VOLUME = 14,
NUMBER = 8,
PAGES = {1238--1239},
MONTH = aug,
YEAR = 1985,
KEYWORDS = "COMPILER, LINKER, TYPE"
}
@BOOK{Sebesta89,
AUTHOR = "Robert W. Sebesta",
TITLE = "Concepts of Programming Languages",
PUBLISHER = "The Benjamin Cummings Publishing Company, Inc",
NOTE = "ISBN 0-8053-7011-0",
YEAR = 1989,
KEYWORDS = "PROGLANG"
}
@CONFERENCE{Seshadri88,
AUTHOR = "V. Seshadri and D. B. Wortman and M. D. Junkin and
S. Weber and C. P. Yu and I. Small",
TITLE = "Semantic Analysis in a Concurrent Compiler",
BOOKTITLE = "SIGPLAN '88 Conference on Programming Language Design and
Implementation",
ADDRESS = "Atlanta, Georgia, USA",
PAGES = {233--239},
YEAR = 1988,
KEYWORDS = "DISTPROG, COMPILER, SEMANTIC ANALYSIS"
}
@CONFERENCE{Seshadri91,
AUTHOR = "V. Seshadri and D. B. Wortman",
TITLE = "An Investigation into Concurrent Semantic Analysis",
JOURNAL = SPE,
VOLUME = 21,
NUMBER = 12,
PAGES = {1323--1348},
MONTH = dec,
YEAR = 1991,
KEYWORDS = "DISTPROG, COMPILER, SEMANTIC ANALYSIS"
}
@ARTICLE{Sethi70,
AUTHOR = "Ravi Sethi and J. D. Ullman",
TITLE = "The Generation of Optimal Code for Arithmetic Expressions",
JOURNAL = JACM,
PAGES = {715--728},
YEAR = 1970,
KEYWORDS = "COMPILER, CODE GENERATION"
}
@BOOK{Seuss69,
AUTHOR = "Dr. Seuss",
KEY = "Seuss",
TITLE = "I can Lick 30 Tigers Today! And Other Stories.",
PUBLISHER = "Collins",
NOTE = "ISBN 0-00-195353-2",
YEAR = 1969,
KEYWORDS = "FICTION"
}
@ARTICLE{Shang91,
AUTHOR = "Lujun Shang",
TITLE = "{Cluster}: An Informal Report",
JOURNAL = SIGPLAN,
VOLUME = 26,
NUMBER = 1,
PAGES = {57--76},
MONTH = mar,
YEAR = 1991,
KEYWORDS = "PROGLANG, OOP, MODULE, CLUSTER"
}
@ARTICLE{Sharma88,
AUTHOR = "Ravi Sharma and Lawrence L. Rose",
TITLE = "Modular Design from Simulation",
JOURNAL = SPE,
PAGES = {945--966},
YEAR = 1988,
KEYWORDS = "PROGRAMMING, SIMULATION, MODULA-2"
}
@ARTICLE{Sharp93,
AUTHOR = "Oliver Sharp",
TITLE = "Compilers: Essential Partners",
JOURNAL = BYTE,
PAGES = {135--140},
MONTH = sep,
YEAR = 1993,
KEYWORDS = "COMPILER, RISC, DELAY-SLOT, BRANCH-PREDICTION"
}
@ARTICLE{Shaw77,
AUTHOR = "Mary Shaw and William A. Wulf and Ralph L. London",
TITLE = "Abstraction and Verification in {Alphard}: Defining and
Specifying Iteration and Generators",
JOURNAL = CACM,
PAGES = {553--564},
YEAR = 1977,
KEYWORDS = "PROGLANG, ALPHARD, VERIFICATION, ITERATOR, GENERATOR,
ABSTRACTION"
}
@BOOK{Sherman85,
AUTHOR = "Mark Steven Sherman",
TITLE = "{Paragon}: A Language Using Type Hierarchies for the
Specification, Implementation, and Selection of
Abstract Data Types",
SERIES = "LNCS 189",
PUBLISHER = Springer,
NOTE = "ISBN 3-540-15212-1",
YEAR = 1984,
KEYWORDS = "PROGLANG, PARAGON, TYPE, ABSTRACTION, MODULE SELECTION"
}
@ARTICLE{Shivaratri92,
AUTHOR = "Niranjan G. Shivaratri and Phillip Krueger and Mukesh Shinghal",
TITLE = "Load Distributing for Locally Distributed Systems",
JOURNAL = "IEEE Computer",
PAGES = {33--44},
YEAR = 1992,
KEYWORDS = "DISTRIBUTED-SYSTEMS, LOAD-BALANCING, SURVEY"
}
@ARTICLE{Simmons79,
AUTHOR = "Gustavus J. Simmons",
TITLE = "Symmetric and Asymmetric Encryption",
JOURNAL = CS,
VOLUME = 11,
NUMBER = 4,
PAGES = {305--330},
MONTH = dec,
YEAR = 1979,
KEYWORDS = "ALGORITHMS, ENCRYPTION, CRYPTOLOGY"
}
@ARTICLE{Singhal89,
AUTHOR = "Mukesh Singhal",
TITLE = "Deadlock Detection in Distributed Systems",
JOURNAL = "COMPUTER",
PAGES = {37--48},
YEAR = 1989,
KEYWORDS = "DISTPROG, DEADLOCK, SURVEY"
}
@BOOK{Smedema83,
AUTHOR = "C. H. Smedema and P. Medema and M. Boasson",
TITLE = "The Programming Languages {Pascal, Modula, CHILL, Ada}",
PUBLISHER = PrenticeHall,
NOTE = "ISBN 0-13-729756-4",
YEAR = 1983,
KEYWORDS = "PROGLANG, SURVEY, PASCAL, MODULA, CHILL, ADA"
}
@CONFERENCE{Snyder86,
AUTHOR = "Alan Snyder",
TITLE = "Encapsulation and Inheritance in Object-Oriented
Programming Languages",
BOOKTITLE = "OOPSLA '86",
PAGES = {38--45},
MONTH = sep,
YEAR = 1986,
KEYWORDS = "PROGLANG, OOP, ABSTRACTION"
}
@INCOLLECTION{Snyder87,
AUTHOR = "Alan Snyder",
TITLE = "Inheritance and the Development of Encapsulated
Software Components",
BOOKTITLE = "Research directions in object-oriented programming",
EDITOR = "Bruce Shriver and Peter Wegner",
PUBLISHER = "MIT Press",
NOTE = "ISBN 0-262-19264-0",
PAGES = {564--576},
YEAR = 1987,
KEYWORDS = "PROGLANG, OOP, ABSTRACTION"
}
@ARTICLE{Souter90,
AUTHOR = "John Souter",
TITLE = "The Position of {Modula-2} Among Programming Languages",
JOURNAL = "Microprocessors and Microsystems",
PAGES = {145--148},
VOLUME = 14,
NUMBER = 3,
MONTH = apr,
YEAR = 1990,
KEYWORDS = "PROGLANG, MODULA-2"
}
@ARTICLE{Spafford90,
AUTHOR = "Eugene H. Spafford",
TITLE = "Extending Mutation Testing to Find Environmental Bugs",
JOURNAL = SPE,
PAGES = {181--189},
VOLUME = 20,
NUMBER = 2,
MONTH = feb,
YEAR = 1990,
KEYWORDS = "SOFTENG, TESTING"
}
@ARTICLE{Spector87,
AUTHOR = "David Spector and Prescott K. Turner",
TITLE = "Limitations of {Graham-Glanville} Style Code Generators",
JOURNAL = SIGPLAN,
PAGES = {100--108},
VOLUME = 22,
NUMBER = 2,
MONTH = feb,
YEAR = 1987,
KEYWORDS = "COMPILER, CODE GENERATION"
}
@BOOK{Spivey88a,
AUTHOR = "J. M. Spivey",
TITLE = "Understanding {Z}",
PUBLISHER = "Cambridge University Press",
SERIES = "Cambridge Tracts in Theoretical Computer Science 3",
NOTE = "ISBN 0-521-33429-2",
YEAR = 1988,
KEYWORDS = "SOFTENG, SPECIFICATION, Z"
}
@MANUAL{Spivey88b,
AUTHOR = "J. M. Spivey",
TITLE = "The {fuzz} Manual",
YEAR = 1988,
KEYWORDS = "SOFTENG, SPECIFICATION, Z, FUZZ"
}
@BOOK{Spivey89,
AUTHOR = "J. M. Spivey",
TITLE = "The {Z} Notation -- A Reference Manual",
PUBLISHER = Addison,
NOTE = "ISBN 0-13-983768-X",
YEAR = 1989,
KEYWORDS = "SOFTENG, SPECIFICATION, Z"
}
@ARTICLE{Spivey90,
AUTHOR = "J. Michael Spivey",
TITLE = "Specifying a Real-Time Kernel",
JOURNAL = SOFTWARE,
PAGES = {21--28},
MONTH = sep,
YEAR = 1990,
KEYWORDS = "SPECIFICATION, REAL-TIME, ZED, CONCURENT"
}
@MANUAL{Stallman91,
AUTHOR = "Richard M. Stallman",
TITLE = "Using an Porting {GNU CC}",
ORGANIZATION = "Free Software Foundation, Inc.",
EDITION = "1.39",
MONTH = jan,
YEAR = 1991,
KEYWORDS = "COMPILER, C, GNU"
}
@MISC{Stroustrup88,
AUTHOR = "Bjarne Stroustrup",
NOTE = "Personal communication reported in
Booch~\protect\cite{Booch91}",
YEAR = 1988,
KEYWORDS = "ABSTRACTION, HIDING"
}
@CONFERENCE{Sweet85,
AUTHOR = "Richard E. Sweet",
TITLE = "The {Mesa} Programming Environment",
BOOKTITLE = "SIGPLAN '85 Symposium on Language Issues in
Programming Environments",
PUBLISHER = "ACM",
ADDRESS = "Seattle, Washington",
PAGES = {216--229},
MONTH = jun,
YEAR = 1985,
KEYWORDS = "PROGLANG, ENVIRONMENT, MESA"
}
@CONFERENCE{Swinehart85,
AUTHOR = "Daniel C. Swinehart and Polle T. Zellweger and
Robert B. Hagmann",
TITLE = "The Structure of {Cedar}",
BOOKTITLE = "SIGPLAN '85 Symposium on Language Issues in
Programming Environments",
PUBLISHER = "ACM",
ADDRESS = "Seattle, Washington",
PAGES = {230--244},
MONTH = jun,
YEAR = 1985,
KEYWORDS = "PROGLANG, ENVIRONMENT, HARDWARE, CEDAR"
}
@ARTICLE{Swinehart86,
AUTHOR = "Daniel C. Swinehart and Polle T. Zellweger and
Richard J. Beach and Robert B. Hagmann",
TITLE = "A Structural View of the {Cedar} Programming Environment",
JOURNAL = TOPLAS,
VOLUME = 8,
NUMBER = 4,
PAGES = {419--490},
MONTH = oct,
YEAR = 1986,
KEYWORDS = "PROGLANG, ENVIRONMENT, HARDWARE, CEDAR"
}
@ARTICLE{Taft92,
AUTHOR = "S. Tucker Taft",
TITLE = "{Ada 9X}: A Technical Summary",
JOURNAL = CACM,
VOLUME = 35,
NUMBER = 11,
PAGES = {77--82},
MONTH = nov,
YEAR = 1992,
KEYWORDS = "PROGLANG, ADA, ADA9X, OBJECT-ORIENTED, PACKAGES,
MODULES, REAL-TIME, THREADS"
}
@TECHREPORT{Tan86,
AUTHOR = "R. B. Tan and J. van Leeuwen",
TITLE = "General Symmetric Distributed Termination Detection",
INSTITUTION = "Vakgroep Informatica, Rijksuniveriteit Utrecht",
NUMBER = "RUU-CS-86-2",
MONTH = jan,
YEAR = 1982,
KEYWORDS = "DISTPROG, TERMINATION"
}
@ARTICLE{Tanenbaum82,
AUTHOR = "Andrew S. Tanenbaum and Hans van Staveren and
Johan W. Stevenson",
TITLE = "Using Peephole Optimization on Intermediate Code",
JOURNAL = TOPLAS,
PAGES = {21--36},
VOLUME = 4,
NUMBER = 1,
MONTH = jan,
YEAR = 1982,
KEYWORDS = "COMPILER, INTERMEDIATE CODE, OPTIMIZATION"
}
@ARTICLE{Tanenbaum90,
AUTHOR = "Andrew S. Tanenbaum and Robbert van Renesse and
Hans van Staveren and Gregory J. Sharp and Sape J. Mullender
and Jack Jansen and Guido van Rossum",
TITLE = "Experiences With the {Amoeba} Distributed Operating System",
JOURNAL = CACM,
PAGES = {46--63},
VOLUME = 33,
NUMBER = 12,
MONTH = dec,
YEAR = 1990,
KEYWORDS = "DISTPROG, OPERATING SYSTEMS, AMOEBA"
}
@CONFERENCE{Teague81,
AUTHOR = "David B. Teague",
TITLE = "Computer Programming {II}: A Project-Oriented Course",
BOOKTITLE = "12th SIGCSE Technical Symposium on Computer Science Education",
PUBLISHER = ACM,
PAGES = {41--45},
MONTH = feb,
YEAR = 1981,
KEYWORDS = "EDUCATION"
}
@ARTICLE{Teitelman84,
AUTHOR = "Warren Teitelman",
TITLE = "A Tour Through {Cedar}",
JOURNAL = SOFTWARE,
PAGES = {44--75},
MONTH = apr,
YEAR = 1984,
KEYWORDS = "PROGLANG, CEDAR, ENVIRONMENT"
}
@ARTICLE{Terwilliger89,
AUTHOR = "Robert B. Terwilliger and Roy H. Campbell",
TITLE = "{ENCOMPASS}: Am Environment for the Incremental Development
of Software",
JOURNAL = "The Journal of Systems and Software",
VOLUME = 10,
PAGES = {41--53},
YEAR = 1989,
KEYWORDS = "COMPILER, SOFTENG, PROGRAMMING ENVIRONMENT"
}
@ARTICLE{Tesler85,
AUTHOR = "Larry Tesler",
TITLE = "{OBJECT PASCAL} Report",
JOURNAL = "Structured Language World",
VOLUME = 9,
NUMBER = 3,
PAGES = {10--15},
YEAR = 1989,
KEYWORDS = "PROGLANG, OOP, OBJECT PASCAL"
}
@CONFERENCE{Thorelli83,
AUTHOR = "Lars-Erik Thorelli",
TITLE = "A Linker Allowing Hierarchic Composition of Programs",
BOOKTITLE = "Information Processing 83, IFIP",
PUBLISHER = "Elsevier Science Publishers B.V.",
YEAR = 1983,
KEYWORDS = "COMPILER, LINKER, MODULE"
}
@ARTICLE{Thorelli85,
AUTHOR = "Lars-Erik Thorelli",
TITLE = "A Language for Linking Modules into Systems",
JOURNAL = "BIT",
VOLUME = 25,
PAGES = {358--378},
YEAR = 1985,
KEYWORDS = "COMPILER, LINKER, MODULE"
}
@CONFERENCE{Thorelli87,
AUTHOR = "Lars-Erik Thorelli",
TITLE = "Modules and Type Checking in {PL/LL}",
BOOKTITLE = "OOPSLA",
PAGES = {268--274},
MONTH = oct,
YEAR = 1987,
KEYWORDS = "COMPILER, LINKER, MODULE, PROGLANG, OOP"
}
@ARTICLE{Tichy86,
AUTHOR = "Walter F. Tichy",
TITLE = "Smart Recompilation",
JOURNAL = TOPLAS,
PAGES = {273--291},
VOLUME = 8,
NUMBER = 3,
MONTH = jul,
YEAR = 1986,
KEYWORDS = "COMPILER, SMART RECOMPILATION"
}
@TECHREPORT{Tofte89,
AUTHOR = "Mads Tofte",
TITLE = "Four Lectures on {S}tandard {ML}",
INSTITUTION = "Laboratory for Foundations of Computer Science",
NUMBER = "ECS-LFCS-89-73",
MONTH = mar,
YEAR = 1989,
KEYWORDS = "PROGLANG, ML"
}
@MASTERSTHESIS{Trejos90,
AUTHOR = "Ignacio Trejos Zelaya",
TITLE = "An Experimental Language Definition",
SCHOOL = "Oxford University",
ADDRESS = "8-10, Keble Road, Oxford, OX1 3QD, United Kingdom",
MONTH = sep,
YEAR = 1990,
KEYWORDS = "PROGLANG, SEMANTIC, Z, ML"
}
@ARTICLE{Ungar92,
AUTHOR = {David Ungar and Ransall B. Smith and Craig Chambers
and Urs H\"olzle},
TITLE = "Object, Message, and Performance: How They Coexist in {Self}",
JOURNAL = "IEEE Computers",
VOLUME = 25,
NUMBER = 10,
PAGES = {53--64},
MONTH = oct,
YEAR = 1992,
KEYWORDS = "COMPILERS, OBJECT-ORIENTED, RUN-TIME-SYSTEMS, SELF"
}
@ARTICLE{Vankatesan89,
AUTHOR = "S. Vankatesan",
TITLE = "Reliable Protocols for Distributed Termination Detection",
JOURNAL = IEEEREL,
VOLUME = 38,
NUMBER = 1,
PAGES = {103--110},
MONTH = apr,
YEAR = 1989,
KEYWORDS = "DISTPROG, TERMINATION"
}
@INBOOK{Vitter90,
AUTHOR = "Jeffrey Scott Vitter and Philippe Flajolet",
TITLE = "Average-Case Analysis of Algorithms and Data Structures",
BOOKTITLE = "Handbook of Theoretical Computer Science",
EDITOR = "J. van Leeuwen",
PUBLISHER = "Elsevier Science Publishers B.V.",
NOTE = "ISBN 0-444-88075-5",
CHAPTER = 9,
YEAR = 1990,
KEYWORDS = "ALGORITHM, TREE"
}
@ARTICLE{Walden84,
AUTHOR = "Kim Walden",
TITLE = "Automatic Generation of {Make} Dependencies",
JOURNAL = SPE,
VOLUME = 14,
NUMBER = 6,
PAGES = {575--585},
MONTH = jun,
YEAR = 1984,
KEYWORDS = "SOFTENG, PROGRAMMING, MAKE"
}
@CONFERENCE{Wall86,
AUTHOR = "David W. Wall",
TITLE = "Global Register Allocation at Link Time",
BOOKTITLE = "Proceedings of the SIGPLAN'86 Symposium
on Compiler Construction",
ADDRESS = "New York",
PAGES = {264--275},
MONTH = "jul",
YEAR = 1986,
KEYWORDS = "COMPILER, LINKER, REGISTER ALLOCATION, GLOBAL OPTIMIZATION"
}
@TECHREPORT{Wall87,
AUTHOR = "David W. Wall and Michael L. Powell",
TITLE = "The {Mahler} Experience: Using an Intermediate Language
as the Machine Description",
INSTITUTION = "Digital Western Research Laboratory",
ADDRESS = "100 Hamilton Avenue, Palo Alto, California 94301, USA",
NUMBER = 1,
TYPE = "Research Report",
PAGES = {1--15},
MONTH = sep,
YEAR = 1987,
KEYWORDS = "COMPILER, LINKER, REGISTER ALLOCATION, GLOBAL OPTIMIZATION"
}
@CONFERENCE{Wall88,
AUTHOR = "David W. Wall",
TITLE = "Register Windows vs. Register Allocation",
BOOKTITLE = "Proceedings of the SIGPLAN'88 Conference
on Programming Language Design and Implementation",
PAGES = {67--78},
ADDRESS = "Atlanta, Georgia, USA",
MONTH = jun,
YEAR = 1988,
KEYWORDS = "COMPILER, LINKER, REGISTER ALLOCATION, GLOBAL OPTIMIZATION"
}
@TECHREPORT{Wall89,
AUTHOR = "David W. Wall",
TITLE = "Global Register Allocation at Link Time",
INSTITUTION = "Digital Western Research Laboratory",
ADDRESS = "100 Hamilton Avenue, Palo Alto, California 94301, USA",
NUMBER = 17,
TYPE = "Research Report",
PAGES = {1--13},
MONTH = sep,
YEAR = 1989,
KEYWORDS = "COMPILER, LINKER, REGISTER ALLOCATION, GLOBAL OPTIMIZATION"
}
@CONFERENCE{Wall91,
AUTHOR = "David W. Wall",
TITLE = "Predicting Program Behavior Using Real or Estimated Profiles",
BOOKTITLE = "SIGPLAN '91 Conference on Programming Language Design
and Implementation",
ADDRESS = "Toronto, Ontario, Canada",
MONTH = jun,
YEAR = 1991,
KEYWORDS = "COMPILER, OPTIMIZATION, CODE-GENERATION, COAGULATION, PROFILING"
}
@ARTICLE{Wall92,
AUTHOR = "David W. Wall",
TITLE = "Experience with a Software-Defined Machine Architecture",
JOURNAL = TOPLAS,
VOLUME = 14,
NUMBER = 3,
PAGES = {299--338},
MONTH = jul,
YEAR = 1992,
KEYWORDS = "COMPILER, LINKER, REGISTER ALLOCATION, GLOBAL OPTIMIZATION"
}
@ARTICLE{Weber86a,
AUTHOR = "Herbert Weber and Hartmut Ehrig",
TITLE = "Specification of Modular Systems",
JOURNAL = SOFTWARE,
VOLUME = 12,
NUMBER = 7,
PAGES = {784--798},
MONTH = jul,
YEAR = 1986,
KEYWORDS = "SOFTENG, SPECIFICATION, MODULE"
}
@CONFERENCE{Weber86b,
AUTHOR = "Herbert Weber and Hartmut Ehrig",
TITLE = "Programming in the large with algebraic module specifications",
BOOKTITLE = "Information Processing 86",
PAGES = {675--684},
PUBLISHER = NorthHolland,
YEAR = 1983,
KEYWORDS = "SOFTENG, SPECIFICATION, MODULE"
}
@ARTICLE{Wegman91,
AUTHOR = "Mark N. Wegman and Kenneth Zadeck",
TITLE = "Constant Propagation with Conditional Branches",
JOURNAL = TOPLAS,
PAGES = {181--210},
VOLUME = 13,
NUMBER = 2,
MONTH = apr,
YEAR = 1991,
KEYWORDS = "COMPILER, CODE GENERATION, GLOBAL OPTIMIZATION, INLINE"
}
@ARTICLE{Wegner89,
AUTHOR = "Peter Wegner",
TITLE = "Learning the Language",
JOURNAL = "BYTE",
PAGES = {245--253},
MONTH = mar,
YEAR = 1989,
KEYWORDS = "PROGLANG, ABSTRACTION, OOP, CLASSES, OBJECTS, SURVEY"
}
@ARTICLE{Wegner92,
AUTHOR = "Peter Wegner",
TITLE = "Dimensions of Object-Oriented Modeling",
JOURNAL = "IEEE Computer",
PAGES = {12--20},
MONTH = oct,
YEAR = 1992,
KEYWORDS = "PROGLANG, OBJECT-ORIENTED, SOFTENG, PARALLEL,
DISTRIBUTED, MODELLING"
}
@CONFERENCE{Wendt90,
AUTHOR = "Alan L. Wendt",
TITLE = "Fast Code Generation Using Automatically-Generated Decision
Trees",
BOOKTITLE = "SIGPLAN '90 Conference on Programming Language Design and
Implementation",
PAGES = {9--15},
ADDRESS = "White Plains, New York",
MONTH = jun,
YEAR = 1990,
KEYWORDS = "COMPILER, CODE GENERATION"
}
@CONFERENCE{Werth88,
AUTHOR = "Laurie Honour Werth",
TITLE = "Integrating Software Engineering into an Intermediate
Programming Class",
BOOKTITLE = "19th SIGCSE Technical Symposium on Computer Science Education",
PUBLISHER = ACM,
PAGES = {54--58},
MONTH = feb,
YEAR = 1988,
KEYWORDS = "EDUCATION"
}
@ARTICLE{Wiener85,
AUTHOR = "Richard S. Wiener and Richard F. Sinovec",
TITLE = "Two Approaches to Implementing Generic Data Structures
in {Modula-2}",
JOURNAL = SIGPLAN,
VOLUME = 20,
NUMBER = 6,
PAGES = {56--64},
MONTH = jun,
YEAR = 1985,
KEYWORDS = "PROGLANG, MODULA-2, GENERIC, PROGRAMMING"
}
@ARTICLE{Wiener86,
AUTHOR = "Richard S. Wiener",
TITLE = "Protecting Against Uninitialized Abstract Objects
in {Modula-2}",
JOURNAL = SIGPLAN,
VOLUME = 21,
NUMBER = 6,
PAGES = {63--69},
MONTH = jun,
YEAR = 1986,
KEYWORDS = "PROGRAMMING, MODULA-2"
}
@TECHREPORT{Wilcox85,
AUTHOR = "Thomas R. Wilcox and Howard J. Larsen",
TITLE = "The Interactive and Incremental Compilation of
{Ada} using {Diana}",
INSTITUTION = "Rational",
ADDRESS = "Mountain View, California, USA",
YEAR = 1985,
KEYWORDS = "PROGLANG, ENVIRONMENT, COMPILER, RATIONAL, ADA, DIANA"
}
@MISC{Wilson92,
AUTHOR = "Gregory V. Wilson",
TITLE = "Practical Parallel Programming",
YEAR = 1992,
HOWPUBLISHED = "Unknown",
KEYWORDS = "PARALLEL, SURVEY, KEYWORDS"
}
@CONFERENCE{Wing,
AUTHOR = "Jeannette M. Wing",
TITLE = "Specifying Avalon Objects in Larch",
BOOKTITLE = "???",
ADDRESS = "???",
YEAR = 1900,
KEYWORDS = "SOFTENG, SPECIFICATIONS, LARCH, ALGEBRAIC"
}
@ARTICLE{Wing87,
AUTHOR = "Jeannette M. Wing",
TITLE = "Writing Larch Interface Language Specifications",
JOURNAL = TOPLAS,
VOLUME = 9,
NUMBER = 1,
PAGES = {1--24},
MONTH = jan,
YEAR = 1987,
KEYWORDS = "SOFTENG, SPECIFICATION, LARCH, ALGEBRAIC-SPECIFICATION"
}
@ARTICLE{Wirth77a,
AUTHOR = Wirth,
TITLE = "{Modula}: a Language for Modular Multiprogramming",
JOURNAL = SPE,
VOLUME = 7,
NUMBER = 1,
PAGES = {3--35},
YEAR = 1977,
KEYWORDS = "PROGLANG, MODULA, CONCURRENCY"
}
@ARTICLE{Wirth77b,
AUTHOR = Wirth,
TITLE = "The Use of {Modula}",
JOURNAL = SPE,
VOLUME = 7,
NUMBER = 1,
PAGES = {37--65},
YEAR = 1977,
KEYWORDS = "PROGLANG, MODULA, CONCURRENCY, PROGRAMMING"
}
@ARTICLE{Wirth77c,
AUTHOR = Wirth,
TITLE = "Design and Implementation of {Modula}",
JOURNAL = SPE,
VOLUME = 7,
NUMBER = 1,
PAGES = {67--84},
YEAR = 1977,
KEYWORDS = "PROGLANG, MODULA, CONCURRENCY"
}
@BOOK{Wirth83,
AUTHOR = Wirth,
TITLE = "Programming in {Modula-2}",
PUBLISHER = Springer,
EDITION = "second",
YEAR = 1983,
KEYWORDS = "PROGLANG, MODULA-2"
}
@ARTICLE{Wirth86,
AUTHOR = Wirth,
TITLE = "Microprocessor Architectures: A Comparison Based on Code
Generation by Compiler",
JOURNAL = CACM,
VOLUME = 29,
NUMBER = 10,
PAGES = {978--990},
MONTH = oct,
YEAR = 1986,
KEYWORDS = "COMPILER, CODE GENERATION, HARDWARE, LILITH, NS32000, MC68000"
}
@ARTICLE{Wirth88a,
AUTHOR = Wirth,
TITLE = "Type Extensions",
JOURNAL = TOPLAS,
VOLUME = 10,
NUMBER = 2,
PAGES = {204--214},
MONTH = apr,
YEAR = 1988,
KEYWORDS = "PROGLANG, OOP, OBERON, TYPE"
}
@ARTICLE{Wirth88b,
AUTHOR = Wirth,
TITLE = "From {Modula} to {Oberon}",
JOURNAL = SPE,
VOLUME = 18,
NUMBER = 7,
PAGES = {661--670},
MONTH = jul,
YEAR = 1988,
KEYWORDS = "PROGLANG, OOP, OBERON, TYPE"
}
@ARTICLE{Wirth88c,
AUTHOR = Wirth,
TITLE = "The Programming Language {Oberon}",
JOURNAL = SPE,
VOLUME = 18,
NUMBER = 7,
PAGES = {671--690},
MONTH = jul,
YEAR = 1988,
KEYWORDS = "PROGLANG, OOP, OBERON, TYPE"
}
@ARTICLE{Wirth89,
AUTHOR = {Niklaus Wirth and J\"urg Gutknecht},
TITLE = "The {Oberon} System",
JOURNAL = SPE,
VOLUME = 19,
NUMBER = 9,
PAGES = {853--893},
MONTH = sep,
YEAR = 1989,
KEYWORDS = "PROGLANG, HARDWARE, OBERON, OBJECT-ORIENTED"
}
@TECHREPORT{Wirth89a,
AUTHOR = Wirth,
TITLE = "The Programming Language {Oberon}",
INSTITUTION = "ETH",
TYPE = "Technical Report",
NUMBER = "111",
MONTH = sep,
YEAR = 1989,
KEYWORDS = "PROGLANG, OOP, OBERON, TYPE"
}
@ARTICLE{Wirth89b,
AUTHOR = Wirth,
TITLE = "Designing a System from Scratch",
JOURNAL = "Structured Programming",
NUMBER = 1,
PAGES = {10--18},
YEAR = 1989,
KEYWORDS = "OBERON, CERES"
}
@ARTICLE{Wirth89c,
AUTHOR = {Niklaus Wirth and J\"urg Gutknecht},
TITLE = "The {Oberon} System",
JOURNAL = SPE,
VOLUME = 19,
NUMBER = 9,
PAGES = {857--893},
MONTH = sep,
YEAR = 1989,
KEYWORDS = "PROGLANG, OBERON, OOP"
}
@ARTICLE{Wirth90,
AUTHOR = Wirth,
TITLE = "{Modula-2} and Object-Oriented Programming",
JOURNAL = "Microprocessors and Microsystems",
VOLUME = 14,
NUMBER = 3,
PAGES = {148--152},
MONTH = apr,
YEAR = 1990,
KEYWORDS = "PROGLANG, PROGRAMMING, OOP, MODULA-2"
}
@CONFERENCE{Wolf86,
AUTHOR = "Alexander L. Wolf and Lori A. Clarke and Jack C. Wileden",
TITLE = "A Formal Model for Describing and Evaluating
Visibility Control Mechanisms",
BOOKTITLE = "IEEE 1986 International Conference on Computer Languages",
ADDRESS = "Miami, Florida, USA",
PAGES = {182--189},
MONTH = oct,
YEAR = "1986",
KEYWORDS = "PROGLANG, PROTECTION, SCOPE, VISIBILITY"
}
@ARTICLE{Wolf88,
AUTHOR = "Alexander L. Wolf and Lori A. Clarke and Jack C. Wileden",
TITLE = "A Model of Visibility Control",
JOURNAL = SOFTENG,
VOLUME = 14,
NUMBER = 4,
PAGES = {512--520},
MONTH = apr,
YEAR = 1988,
KEYWORDS = "PROGLANG, PROTECTION, SCOPE, VISIBILITY"
}
@BOOK{Woodcock88,
AUTHOR = "Jim Woodcock and Martin Loomes",
TITLE = "Software Engineering Mathematics",
PUBLISHER = "Pitman",
YEAR = 1988,
NOTE = "ISBN 0-273-02673-9",
KEYWORDS = "ZED"
}
@CONFERENCE{Wortman81,
AUTHOR = "David B. Wortman and James R. Cordy",
TITLE = "Early Experiences with {Euclid}",
BOOKTITLE = "5th International Conference on Software Engineering",
ADDRESS = "San Diego, California, USA",
PAGES = {27--32},
MONTH = mar,
YEAR = 1981,
KEYWORDS = "PROGLANG, EUCLID, MODULE"
}
@CONFERENCE{Wortman90,
AUTHOR = "David B. Wortman",
TITLE = "A Concurrent {Modula-2+} Compiler",
BOOKTITLE = "Proceedings of the Workshop on Parallel Compilation",
ADDRESS = "Kingston, Ontario, Canada",
MONTH = may,
YEAR = 1990,
KEYWORDS = "COMPILER, DISTPROG, MODULA-2+"
}
@CONFERENCE{Wortman92,
AUTHOR = "David B. Wortman and Michael D. Junkin",
TITLE = "A Concurrent Compiler for {Modula-2+}",
BOOKTITLE = "SIGPLAN 1992 Conference on Programming Language Design
and Implementation",
PAGES = {68--81},
YEAR = 1992,
KEYWORDS = "COMPILER, DISTPROG, MODULA-2+"
}
@ARTICLE{Wulf71,
AUTHOR = "William. A. Wulf and D. B. Russel and A. N. Habermann",
TITLE = "{BLISS}: A Language for Systems Programming",
JOURNAL = CACM,
VOLUME = 14,
NUMBER = 12,
PAGES = {780--790},
MONTH = dec,
YEAR = 1971,
KEYWORDS = "PROGLANG, BLISS"
}
@BOOK{Wulf75,
AUTHOR = "William A. Wulf and Richard K. Johnsson and
Charles B. Weinstock and Steven O. Hobbs",
TITLE = "The Design of an Optimizing Compiler",
PUBLISHER = "American Elsevier Publishing Company, Inc.",
NOTE = "ISBN 0-444-00164-6",
YEAR = 1975,
KEYWORDS = "COMPILER, OPTIMIZATION, BLISS"
}
@CONFERENCE{Wulf80,
AUTHOR = "W. A. Wulf",
TITLE = "Abstract Data Types: A Retrospective and Prospective View",
BOOKTITLE = "Proceedings of the 9th Symposium on the Mathematical
Foundations of Computer Science",
PUBLISHER = Springer,
HOWPUBLISHED = "LNCS 88",
ADDRESS = "Rydzyna, Poland",
PAGES = {95--112},
MONTH = sep,
YEAR = 1980,
KEYWORDS = "ABSTRACTION, PROGLANG, SPECIFICATION, VERIFICATION,
MODULE, ALPHARD, GYPSY, EUCLID, MESA, MODULA, ENCAPSULATION,
SURVEY"
}
@ARTICLE{Yau86,
AUTHOR = "Stephen S. Yau and Jeffery J. P. Tsai",
TITLE = "A Survey Of Software Design Techniques",
JOURNAL = SOFTENG,
VOLUME = 12,
NUMBER = 6,
PAGES = {713--721},
MONTH = jun,
YEAR = 1986,
KEYWORDS = "SOFTENG, SURVEY, DESIGN, PROGRAMMING"
}
@TECHREPORT{Yellin90,
AUTHOR = "Daniel M. Yellin",
TITLE = "Speeding up Dynamic Dynamic Transitive Closure for
Bounded Degree Graphs",
INSTITUTION = "IBM T. J. Watson Research Center",
NUMBER = "RC 13535",
MONTH = oct,
YEAR = 1990,
KEYWORDS = "ALGORITHM, COMPILER, PROGLANG, INCREMENTAL"
}
@ARTICLE{Yellin91,
AUTHOR = "Daniel M. Yellin and Robert E. Strom",
TITLE = "{INC: A} Language for Incremental Computations",
JOURNAL = TOPLAS,
VOLUME = 13,
NUMBER = 2,
PAGES = {211--236},
MONTH = apr,
YEAR = 1991,
KEYWORDS = "COMPILER, PROGLANG, INCREMENTAL"
}
@ARTICLE{Zelkowitz78,
AUTHOR = "Stephen S. Yau and Jeffery J. P. Tsai",
TITLE = "Perspectives on Software Engineering",
JOURNAL = CS,
VOLUME = 10,
NUMBER = 2,
PAGES = {197--216},
MONTH = jun,
YEAR = 1978,
KEYWORDS = "SOFTENG, SURVEY"
}
@CONFERENCE{Zobel90,
AUTHOR = "Angelika Zobel",
TITLE = "Parallelized Compiler Optimization",
BOOKTITLE = "Proceedings of the Workshop on Parallel Compilation",
ADDRESS = "Kingston, Ontario, Canada",
MONTH = may,
YEAR = 1990,
KEYWORDS = "COMPILER, DISTPROG, OPTIMIZATION"
}
@INCOLLECTION{Zuse72,
AUTHOR = "Konrad Zuse",
TITLE = {Der Plankalk\"ul},
BOOKTITLE = {Berichte der Gesellschaft F\"ur Matematik und
Datenverarbeitung},
VOLUME = 63,
YEAR = 1972,
KEYWORDS = "PROGLANG, PLANKALKUL"
}
Back to Collberg's Reference Page
Back to Collberg's Research Page
Back to Collberg's Home Page