Studien- und Diplomarbeit: Literaturverzeichnis Oliver Nietsch Version von 8. 1. 1996 Original von Gerald Schroeder, 3.07.1993 Anmerkung: Teile aus Florian Matthes' Literaturverzeichnis FLORIAN.BIB @string {IEEESW = "IEEE Software"} @string {IEEESWPE = "IEEE Software --- Practice and Experience"} @string {COMPLANG = "Computer Languages"} @string {COMPJOUR = "The Computer Journal"} @string {JPA = "Journal of Pascal and Ada"} @string {JPAM = "Journal of Pascal, Ada and Modula"} @string {SP = "Structured Programming"} @string {WIRTH = "N.~Wirth"} @string {Pascal = "{Pascal}"} @string {Modula = "{Modula}"} @string {Modula2 = "{Modula-2}"} @string {Oberon = "{Oberon}"} @string {Lilith = "{Lilith}"} @string {Ada = "{Ada}"} @string {c = "{C}"} @string {cplus = "{C++}"} @string {oop = "{OOP}"} @string {ETHZ = "{ETH Z{"u}rich}"} @string {afips = "AFIPS Proceedings of the Joint Computer Conference"} @string {ipl = "Information Processing Letters"} % STRING DEFINITIONS FOR USE IN LATEX BIBLIOGRAPHY % %MACRO {ibmjrd} {"IBM Journal of Research and Development"} %MACRO {ibmsj} {"IBM Systems Journal"} %MACRO {ieeese} {"IEEE Transactions on Software Engineering"} %MACRO {ieeetc} {"IEEE Transactions on Computers"} %MACRO {ieeetcad} % {"IEEE Transactions on Computer-Aided Design of Integrated Circuits"} %MACRO {jacm} {"Journal of the ACM"} %MACRO {jcss} {"Journal of Computer and System Sciences"} %MACRO {scp} {"Science of Computer Programming"} %MACRO {sicomp} {"SIAM Journal on Computing"} %MACRO {tocs} {"ACM Transactions on Computer Systems"} %MACRO {tog} {"ACM Transactions on Graphics"} %MACRO {toms} {"ACM Transactions on Mathematical Software"} %MACRO {tcs} {"Theoretical Computer Science"} @string{jan = "Januar"} @string{feb = "Februar"} @string{mar = "M{\"a}rz"} @string{apr = "April"} @string{may = "Mai"} @string{jun = "Juni"} @string{jul = "Juli"} @string{aug = "August"} @string{sep = "September"} @string{oct = "Oktober"} @string{nov = "November"} @string{dec = "Dezember"} @string{ acmcs = "ACM Computing Surveys"} @string{ actainf = "Acta Informatica"} @string{ cacm = "Communications of the ACM"} @string{ iwoods86 = "Proceedings of the First International Workshop on Object-Oriented Database Systems, Pacific Grove, California"} @string{ iwoods88 = "Proceedings of the Second International Workshop on Object-Oriented Database Systems, Bad Muenster am Stein-Ebernburg, Germany"} @string{ infosys = "Information Systems"} @string{ oopsla86 = "Proceedings of the Object-Oriented Programming Systems, Languages and Applications Conference, Portland, Oregon"} @string{ oopsla87 = "Proceedings of the Object-Oriented Programming Systems, Languages and Applications Conference, Orlando, Florida"} @string{ oopsla88 = "Proceedings of the Object-Oriented Programming Systems, Languages and Applications Conference, Orlando, Florida"} @string{ oopsla89 = "Proceedings of the Object-Oriented Programming Systems, Languages and Applications Conference, New Orleans, Louisiana"} @string{ oopsla90 = "Proceedings of the OOPSLA / ECOOP Conference, Ottawa, Canada"} @string{ oopsla91 = "Proceedings of the Object-Oriented Programming Systems, Languages and Applications Conference, Phoenix, Arizona"} @string{ pods82 = "Proceedings of the First ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Los Angeles, California"} @string{ pods83 = "Proceedings of the Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems"} @string{ pods84 = "Proceedings of the Third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Waterloo, Ontario"} @string{ pods85 = "Proceedings of the Fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems"} @string{ pods86 = "Proceedings of the Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems"} @string{ pods87 = "Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems"} @string{ pods88 = "Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Austin, Texas"} @string{ pods89 = "Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Philadelphia, Pennsylvania"} @string{ popl74 = "Proceedings of the First ACM Symposium on Principles of Programming Languages"} @string{ popl75 = "Proceedings of the Second ACM Symposium on Principles of Programming Languages"} @string{ popl76 = "Proceedings of the Third ACM Symposium on Principles of Programming Languages"} @string{ popl77 = "Proceedings of the Fourth ACM Symposium on Principles of Programming Languages"} @string{ popl78 = "Proceedings of the Fifth ACM Symposium on Principles of Programming Languages, Tucson, Arizona"} @string{ popl79 = "Proceedings of the Sixth ACM Symposium on Principles of Programming Languages"} @string{ popl80 = "Proceedings of the Seventh ACM Symposium on Principles of Programming Languages, Las Vegas, Nevada"} @string{ popl81 = "Proceedings of the Eighth ACM Symposium on Principles of Programming Languages"} @string{ popl82 = "Proceedings of the Ninth ACM Symposium on Principles of Programming Languages"} @string{ popl83 = "Proceedings of the Tenth ACM Symposium on Principles of Programming Languages"} @string{ popl84 = "Proceedings of the Eleventh ACM Symposium on Principles of Programming Languages"} @string{ popl85 = "Proceedings of the Twelfth ACM Symposium on Principles of Programming Languages"} @string{ popl86 = "Proceedings of the Thirteenth ACM Symposium on Principles of Programming Languages"} @string{ popl87 = "Proceedings of the Fourteenth ACM Symposium on Principles of Programming Languages"} @string{ popl88 = "Proceedings of the Fifteenth ACM Symposium on Principles of Programming Languages"} @string{ popl89 = "Proceedings of the Sixteenth ACM Symposium on Principles of Programming Languages"} @string{ popl90 = "Proceedings of the Seventeenth ACM Symposium on Principles of Programming Languages"} @string{ popl91 = "Proceedings of the Eighteenth ACM Symposium on Principles of Programming Languages"} @string{ popl92 = "Proceedings of the Nineteenth ACM Symposium on Principles of Programming Languages"} @string{ sigmod75 = "Proceedings of the ACM-SIGMOD International Conference on Management of Data, San Jose, CA"} @string{ sigmod77 = "Proceedings of the ACM-SIGMOD International Conference on Management of Data, Toronto, Canada"} @string{ sigmod78 = "Proceedings of the ACM-SIGMOD International Conference on Management of Data"} @string{ sigmod79 = "Proceedings of the ACM-SIGMOD International Conference on Management of Data"} @string{ sigmod80 = "Proceedings of the ACM-SIGMOD International Conference on Management of Data"} @string{ sigmod81 = "Proceedings of the ACM-SIGMOD International Conference on Management of Data"} @string{ sigmod82 = "Proceedings of the ACM-SIGMOD International Conference on Management of Data"} @string{ sigmod83 = "Proceedings of the ACM-SIGMOD International Conference on Management of Data"} @string{ sigmod84 = "Proceedings of the ACM-SIGMOD International Conference on Management of Data, Boston, Massachusetts"} @string{ sigmod85 = "Proceedings of the ACM-SIGMOD International Conference on Management of Data"} @string{ sigmod86 = "Proceedings of the ACM-SIGMOD International Conference on Management of Data, Washington, D.~C."} @string{ sigmod87 = "Proceedings of the ACM-SIGMOD International Conference on Management of Data, San Francisco, California"} @string{ sigmod88 = "Proceedings of the ACM-SIGMOD International Conference on Management of Data, Chicago, Illinois"} @string{ sigmod89 = "Proceedings of the ACM-SIGMOD International Conference on Management of Data, Portland, Oregon"} @string{ sigmodrec= "ACM SIGMOD Record"} @string{ sigplan = "ACM SIGPLAN Notices"} @string{ surveys = "ACM Computing Surveys"} @string{ tods = "ACM Transactions on Database Systems"} @string{ tois = "ACM Transactions on Office Information Systems"} @string{ toplas = "ACM Transactions on Programming Languages and Systems"} @string{ tose = "IEEE Transactions on Software Engineering"} @string{ vldb75 = "Proceedings of the First International Conference on Very Large Databases"} @string{ vldb76 = "Proceedings of the Second International Conference on Very Large Databases"} @string{ vldb77 = "Proceedings of the Third International Conference on Very Large Databases"} @string{ vldb78 = "Proceedings of the Fourth International Conference on Very Large Databases, West Berlin, Germany"} @string{ vldb79 = "Proceedings of the Fifth International Conference on Very Large Databases"} @string{ vldb80 = "Proceedings of the Sixth International Conference on Very Large Databases"} @string{ vldb81 = "Proceedings of the Seventh International Conference on Very Large Databases"} @string{ vldb82 = "Proceedings of the Eighth International Conference on Very Large Databases, Mexico City, Mexico"} @string{ vldb83 = "Proceedings of the Ninth International Conference on Very Large Databases"} @string{ vldb84 = "Proceedings of the Tenth International Conference on Very Large Databases"} @string{ vldb85 = "Proceedings of the Eleventh International Conference on Very Large Databases"} @string{ vldb86 = "Proceedings of the Twelfth International Conference on Very Large Databases, Kyoto, Japan"} @string{ vldb87 = "Proceedings of the Thirteenth International Conference on Very Large Databases"} @string{ vldb88 = "Proceedings of the Fourteenth International Conference on Very Large Databases"} @string{ vldb89 = "Proceedings of the Fifteenth International Conference on Very Large Databases"} @string{ vldb90 = "Proceedings of the Sixteenth International Conference on Very Large Databases"} @string{ dbpl87 = "Proceedings of the First International Workshop on Database Programming Languages, Roscoff, Finistere, France"} @string{ dbpl89 = "Proceedings of the Second International Workshop on Database Programming Languages, Salishan, Oregon"} @string{ dbpl91 = "Proceedings of the Third International Workshop on Database Programming Languages, Nafplion, Greece"} @string{ icse85 = "Proceedings of the 8th International Conference on Software Engineering, Imperial College, London, U.~K."} @string{ dataeng85 = "Proceedings of the IEEE First International Conference on Data Engineering"} @string{ dataeng86 = "Proceedings of the IEEE Second International Conference on Data Engineering"} @string{ dataeng87 = "Proceedings of the IEEE Third International Conference on Data Engineering"} @string{ dataeng88 = "Proceedings of the IEEE Fourth International Conference on Data Engineering"} @string{ dataeng89 = "Proceedings of the IEEE Fifth International Conference on Data Engineering, Los Angeles, California"} @string{ pos89 = "Proceedings of the Workshop on Persistent Object Systems, Newcastle, Australia"} @string{ pos90 = "Proceedings of the Fourth International Workshop on Persistent Object Systems, Martha's Vineyard, Massachusetts"} @string{ exdbt88 = "Proceedings of the International Conference on Extending Database Technology, Venice, Italy"} @string{ ieeesap87 = "Proceedings of the IEEE Symposium on Security and Privacy, Oakland, California, April 27--29, 1987"} @string{ ieeesap88 = "Proceedings of the IEEE Symposium on Security and Privacy, Oakland, California, April 18--21"} @string{ ieeesap89 = "Proceedings of the IEEE Symposium on Security and Privacy, Oakland, California, May 1--3"} @string{ iop93 = "Proceedings of the International IEEE/RIDE Workshop on Interoperability, Vienna"} % Institutions and organizations: @string{ffm-info ={Johann Wolfgang Goethe-Universit\"at, Frankfurt}} @string{hbg-info ={Universit\"at Hamburg}} @string{eth ={ETH Z\"urich}} @string{inria ={INRIA, Domaine de Voluceau Rocquencourt 78153 Le Chesnay Cedex - France}} @string{altair ={GIP Altair, Domaine de Voluceau Rocquencourt 78153 Le Chesnay Cedex - France}} @string{springer ={Springer, Berlin}} % Series: @string{tis ={Topics in Information Systems}} @string{lncs ={Lecture Notes in Computer Science}} @string{tmcs ={Texts and Monographs in Computer Science}} % ------------------------------------------------------------------ @article{knuth65, author = "D. E. Knuth", title = "On the Translation of Languages from Left to Right", journal = "Information and Control", volume = 8, pages = "607--639", year = 1965 } @inproceedings{cheatham66, author = "Cheatham, Jr., T.~E.", title = "The Introduction of Definitional Facilities into Higher Level Programming Languages", booktitle = afips, volume = 29, year = 1966, pages = "623--637", abstract = {Compilermodell, Syntaxerweiterungen im Compilermodell, Compiler-Generator/-Beschreibung, Syntax & semantische Interpretation, 3 Makro-Arten (normal, syntaktische, computational), syntaktische Typen = Sorten, Platzhalter mit Sorten, Fehlermeldungen in der semantischen Int., Redefinition des Compilers vor dem Lauf} } @article{leavenworth66, author = "B.~M. Leavenworth", title = "Syntax Macros and Extended Translation", journal = CACM, volume = 9, number = 11, year = 1966, pages = "790--793" } @proceedings{christensen69, editor = "C. Christensen and C.~J. Shaw", title = "Proceedings of the Extensible Languages Symposium", month = aug, year = 1969 } "K EXT, Zitat!!!" @article{irons70, author = "E.~T. Irons", title = "Experience with an Extensible Language", journal = CACM, volume = 13, number = 1, year = 1970, pages = "31--40" } @phdthesis{wegbreit70, author = "B. Wegbreit", title = "Studies in Extensible Programming Languages", school = "Harvard University", year = 1970 } "R 1000" @inproceedings{alber71, author = "K. Alber", title = "Translator Functions for Compiler Description", booktitle = "1. GI-Fachtagung Programmiersprachen", year = 1971, pages = "60--78" } @article{knuth71, author = "D. E. Knuth", title = "Top-Down Syntax Analysis", journal = ActaInf, volume = 1, pages = "79--110", year = 1971 } @proceedings{schuman71, editor = "S.~A. Schuman", title = "Proceedings of the International Symposium on Extensible Languages ", month = dec, year = 1971 } @techreport{solntseff71, author = "N. Solntseff and A. Yezerski", title = "A Survey of Extensible Programming Languages", institution = "McMaster University", year = 1971 } "R 272" @inproceedings{wegbreit71, author = "B. Wegbreit", title = "The {ECL} Programming System", booktitle = afips, volume = 39, year = 1971, pages = "253--262" } @article{deBruijn72, title= {Lambda-calculus Notation with Nameless Dummies: A Tool for Automatic Formula Manipulation with Application to the {Church-Rosser} Theorem}, author= {{de Bruijn}, N.~G.}, journal= {Indag.~Math.}, volume= 34, number= 5, year= 1972, pages= {381--392}, abstract= {scoping, naming, de Bruijn indices, variable capture} } @book{campbell73, author = "M. Campbell-Kelly", title = "An Introduction to Macros", publisher = "MacDonald", year = 1973 } "P CAM 2240" @book{brown74, author = "P.~J. Brown", title = "Macro Processors and Techniques for Portable Software", publisher = "John Wiley \& Sons", year = 1974 } "P BRO 2693" @article{galler74, author = "B. Galler", title = "Extensible Languages", journal = infp, year = 1974, pages = "313--316" } "extensible languages + structured prg., e.l. seit 1959!!!" @techreport{johnson75, author= {Johnson, S.~C.}, title= {Yacc: Yet Another Compiler-Compiler}, institution= {Bell Laboratories}, year= 1975, abstract= {compiler compiler, YACC, grammar, parser} } @techreport{MMM93, author= {Mathiske, B. and Matthes, F. and M"u"sig, S.}, title= {The Tycoon System and Library Manual}, institution= hbg-info, type= {DBIS Tycoon Report}, number= {212-93}, year= 1993, abstract= {...} } @techreport{lesk75, author= {Lesk, M. E. and Schmidt, E.}, title= {Lex -- a Lexical Analyzer Generator}, institution= {Bell Laboratories}, year= 1975, abstract= {scanner, token} } @article{standish75, author = "T.~A. Standish", title = "Extensibility in Language Design", journal = SIGPLAN, volume = 10, number = 7, year = 1975, pages = "18--21" } @article{stonebraker76, author = "M. Stonebraker and E. Wong and P. Kreps and G. Held", title = "The Design and Implementation of {INGRES}", journal = tods, volume = 1, number = 3, year = 1976, pages = "189--222", abstract = {QUEL as query language and interface to DB system} } month = sep, @inproceedings{gries76, author = "D. Gries", title = "Some Comments on Programming Language Design", booktitle = "4. GI-Fachtagung Programmiersprachen", year = 1976, pages = "235--252" } @article{watt77, author = "D.~A. Watt", title = "The Parsing Problem for Affix Grammars", journal = actainf, volume = 8, year = 1977, pages = "1--20", abstract = {Inherited attributes with LR-Parsers} } kopiert @article{codasyl78, author= {CODASYL}, title= {Data Description Language Commitee Report}, journal= {Information Systems}, volume= 3, number= 4, pages= "247--320", year= 1978, abstract= {Standardreferenz fuer Netzwerkdatenmodell DBTG} } @inproceedings{rowe79, author= {Rowe, L.~A. and Shoens, K.~A.}, title= {Data Abstraction, Views and Updates in RIGEL}, booktitle= sigmod79, year= 1979, pages= "71--81" } @article{atkinson81, author= {Atkinson, M.~P. and Chisholm, K.~J. and Cockshott, W.~P.}, title= {{PS-algol}: An Algol with a Persistent Heap}, journal= sigplan, volume= 17, number= 7, year= 1981 } month= jul, @article{rowe81, author = "L.~A. Rowe", title = "Data Abstraction from a Programming Language Viewpoint", journal = SIGMODREC, volume = 11, number = 2, year = 1981, pages = "29--35", abstract = {classification of extensible languages} } @techreport{plotkin81, author= {Plotkin, G.~D.}, title= {A Structural Appraoch to Operational Semantics}, institution= {Aarhus University}, year= {1981}, abstract= {standard reference for operational semantics; deduction rules }} @article{wasserman81, author= {Wasserman, A.~L. and Sheretz, D.~D. and Kerstin, M.~L.}, title= {Revised Report on the Programming Language PLAIN}, journal= SIGPLAN, volume= 16, number= 5, year= 1981, pages= "59--80" } month= may, @inproceedings{damas82, author= {Damas, L. and Milner, R.}, title= {Principal Type-schemes for Functional Programs}, booktitle= {Proc. 9th ACM Symposium on Principles of Programming Languages}, year= 1982, pages= "207--212", abstract= {ML type inference and ML polymorphism} } @inproceedings{sendberg82, author = "D. Sendberg", title = "{LITHE:} A Language Combining a Flexible Syntax and Classes", booktitle = popl91, year = 1982, pages = "142--145" } @article{brodie82, author = "M. Brodie and J.~W. Schmidt", title = "Final Report of the ANSI/X3/SPARC DBS-SG Relational Database Task Group", journal = sigmodrec, volume = 12, number = 4, year = 1982, pages = "i" } @book{balzert82, author = "H. Balzert", title = "Die Entwicklung von Software-Systemen", publisher = "Bibliographisches Institut", year = 1982 } @book{balzert93, author = "H. Balzert", title = "CASE --- Systeme und Werkzeuge", publisher = {Bibliographisches Institut, Mannheim}, year = 1993 } @book{schlageter83, author= {G. Schlageter and W. Stucky}, title= {Datenbanksysteme: Konzepte und Modelle}, publisher= "Teubner", year= 1983 } @book{horowitz84, author = "E. Horowitz", title = "Fundamentals of Programming Languages", publisher = springer, edition = "2.", year = 1984 } @article{layzell85, author = "P.~J. Layzell", title = "The History of Macro Processors in Programming Language Extensibility", journal = COMPJOUR, volume = 28, number = 1, year = 1985, pages = "29--33" } kopiert month = jan, @book{waite85, author= {W.~M. Waite and G. Goos}, title= {Compiler Construction}, publisher= springer, year= 1985 } @article{albano85, author= {Albano, A. and Cardelli, L. and Orsini R.}, title= {Galileo: A Strongly-Typed, Interactive Conceptual Language}, journal= tods, volume= 10, number= 2, year= 1985, pages= "230--260" } @phdthesis{kohlbecker86a, author = "E.~E. Kohlbecker", title = "Syntactic Extensions in the Programming Language {LISP}", school = "Indiana University", year = 1986 } "R 20893" @inproceedings{kohlbecker86b, author = "E.~E. Kohlbecker and D.~P. Friedman and M. Felleisen and B. Duba", title = "Hygienic Macro Expansion", booktitle = "Conference on Lisp and Functional Programming", year = 1986, pages = "151--159" } @inproceedings{stonebraker86, author = "M. Stonebraker and L.~A. Rowe", title = "The Design of {POSTGRES}", booktitle = sigmod86, year = 1986, pages = "340--355" } @inproceedings{guth93, author = "R. Guth", title = "The Client Server Effect on CASE", booktitle = "RiSc World, Vol. 3, Nr. 11, Austin, Texas", year = 1993, pages = "x--x" } @inproceedings{klees94, author = "F. Klees and C. Schmauch", title = "Navigator: StP/OMT --- Software-Entwicklung nach Rumbaugh", booktitle = "iX, Nr. 4, Hannover", year = 1994, pages = "62ff." } @inproceedings{thomas92, author = "I. Thomas and B.A. Nejmeh", title = "Definitions of Tool Integration for Environments", booktitle = "IEEE Software, Nr. 8, New York", year = 1992, pages = "29-35" } @article{atkinson87, author= {Atkinson, M.~P. and Bunemann, P.}, title= {Types and Persistence in Database Programming Languages}, journal= acmcs, year= 1987, volume= 19, number= 2, pages = "105--190", abstract= { Sehr guter "Uberblicksartikel. type algebra, type completeness, bulk data types }} month= jun, @incollection{blaser87, author= {A. Blaser and M. Jarke and H. Lehmann and G. M{\"u}ller}, title= {Datenbanksprachen und Datenbankbenutzung}, crossref= {lockemann87}, chapter= 6 } @incollection{schmidt87, author= {J.~W. Schmidt}, title= {Datenbankmodelle}, crossref= {lockemann87}, chapter= 1 } @book{lockemann87, editor= {Lockemann, P.~C. and Schmidt, J.~W.}, title= {Datenbank-Handbuch}, booktitle= {Datenbank-Handbuch}, publisher= springer, year= 1987 } @manual{SQLISO, title= {Standard ISO 9075, Information processing systems --- Database language SQL}, organization= {ISO}, number= {First Edition 1987-06-15}, year= 1987, abstract= {SQL Standard}, key= {SQL} } @manual{IDEsp94, title= {IDE and ACC: Success Packages --- OMT}, organization= {Interactive Development Environments Inc. (Hrsg.)}, year= {San Francisco, Kalifornien, 1994}, abstract= {IDE Success Packages}, key= {IDESP} } @manual{StPwp93, title= {Software through Pictures Core --- Tchnical White Paper}, organization= {Interactive Development Environments Inc. (Hrsg.)}, year= {San Francisco, Kalifornien, 1993}, abstract= {Technical White Paper}, key= {IDEStPtwp} } @manual{StPpc93, title= {Software through Pictures --- Product Catalog 1993}, organization= {Interactive Development Environments Inc. (Hrsg.)}, year= 1993, abstract= {StP Product Catalog}, key= {IDEStPPC} } @manual{StPim93, title= {Software through Pictures --- Product Summary: Information Modelling}, organization= {Interactive Development Environments Inc. (Hrsg.)}, year= {San Francisco, Kalifornien, 1993}, abstract= {StP Information Modelling}, key= {IDEStPIM} } @manual{StPse94, title= {Software through Pictures --- Product Summary: Structured Environment}, organization= {Interactive Development Environments Inc. (Hrsg.)}, year= {San Francisco, Kalifornien, 1994}, abstract= {StP Structured Environment}, key= {IDEStPSE} } @manual{StPtt94, title= {Software through Pictures --- Product Summary: The T Tool}, organization= {Interactive Development Environments Inc. (Hrsg.)}, year= {San Francisco, Kalifornien, 1994}, abstract= {StP T Tool}, key= {IDEStPTTool} } @manual{StPfdm94, title= {Software through Pictures Core --- Fundamentals of StP}, organization= {Interactive Development Environments Inc. (Hrsg.)}, number= {Release 1}, year= {San Francisco, Kalifornien, 1994}, abstract= {StP Fundamentals of StP}, key= {IDEStPFdm} } @manual{StPoms94, title= {Software through Pictures Core --- Object Management System}, organization= {Interactive Development Environments Inc. (Hrsg.)}, number= {Release 1}, year= 1994, abstract= {StP OMS}, key= {IDEStPOMS} } @manual{StPqrs94, title= {Software through Pictures Core --- Query and Reporting System}, organization= {Interactive Development Environments Inc. (Hrsg.)}, number= {Release 1}, year= 1994, abstract= {StP QRS}, key= {IDEStPQRS} } @manual{StPcust94, title= {Software through Pictures Core --- Customizing StP}, organization= {Interactive Development Environments Inc. (Hrsg.)}, number= {Release 1}, year= 1994, abstract= {StP Cust}, key= {IDEStPCust} } @manual{west93, title= {Westmount OMT --- Fallbeispiel Taxiunternehmen}, organization= {PSI Gmbh, Aschaffenburg (Hrsg.)}, year= 1993, abstract= {Westmount OMT, Taxiunternehmen}, key= {PSIWOMT} } @book{rumb91, author = {J. Rumbaugh and M. Blaha and W. Premerlani and F. Eddy and W. Lorensen}, title = {Object-Oriented Modeling and Design}, publisher = {Prentice Hall, London}, year = 1991 } @book{aho88, author = "A.~V. Aho and R. Sethi and J.~D. Ullman", title = "Compilerbau", publisher = "Addison-Wesley", year = 1988 } @inproceedings{koskimies88, author = "K. Koskimies", title = "Software Engineering Aspects in Language Implementation", booktitle = "Compiler Compilers and High Speed Compilation", year = 1988, publisher = springer } "Zitat!!" month = oct, @inproceedings{gyimothy88, author = "T. Gyim\'othy and T. Horv\'ath and F. Kocsis and J. Toczki", title = "Incremental Algorithms in {PROF-LP}", booktitle = "Compiler Compilers and High Speed Compilation", year = 1988, publisher = springer } month = oct, @inproceedings{horspool88, author = "R.~N. Horspool", title = "{ILALR}: An Incremental Generator of {LALR(1)} Parsers", booktitle = "Compiler Compilers and High Speed Compilation", year = 1988, publisher = springer } month = oct, @book{rechenberg88, author = "P. Rechenberg and H. M{\"o}ssenb{\"o}ck", title = "Ein Compiler-Generator f{\"u}r Mikrocomputer", publisher = "Hanser", edition = "2.", year = 1988 } "P REC 14903" @techreport{bawden88, author = "A. Bawden and J. Rees", title = "Syntactic Closures", institution = "MIT", year = 1988 } "R 20085" @mastersthesis{matthes88, author= {Matthes, F.}, title= {Typvollst\"andigkeit in Datenbankprogrammiersprachen --- DBPL Sprachentwurf und Implementation}, school= ffm-info, year= 1988 } month= nov, @mastersthesis{geis95, author= {Geisler, A.}, title= {Basisdienste zur Gestaltung einer reflektiven grafischen Entwicklungsumgebung f\"ur eine persistente Programmiersprache }, school= hbg-info, year= 1995 } month= jun, @book{meyer88, author= {Meyer, B.}, title= {Object-oriented Software Construction}, publisher= {Prentice Hall}, year= 1988, abstract= {Eiffel Beschreibung & allgemeingueltige Aussagen ueber OO-Software} } @article{rekers89, author = "J. Heering and P. Kint and J. Rekers", title = "Incremental Generation of Parsers", journal = SIGPLAN, volume = 24, number = 7, year = 1989, pages = "179--191" } month = jul, @book{reps89, author = "T.~W. Reps and T. Teitelbaum", title = "The Synthesizer Generator", publisher = springer, year = 1989 } "P REP 13761" @misc{sheard89, author = "T. Sheard and L. Fegaras", title = "Extending Types by Structure Directed Operator Addition", institution = "University of Massachussetts", year = 1989 } @book{date89, author= {Date, C.~J.}, title= {A Guide to the SQL Standard}, publisher= {Addison-Wesley}, edition= {2.}, year= 1989, abstract= {Limitations of SQL, many detailed examples} } @book{sebesta89, author = "R.~W. Sebesta", title = "Concepts of Programming Languages", publisher = "Benjamin/Cummings", year = 1989 } @inproceedings{dearle89, author= {Dearle, A. and Connor, R. and Brown, F. and Morrison, R.}, title= {{Napier88} -- A Database Programming Language?}, booktitle= dbpl89, year= 1989, abstract= {Napier Type System }} month= jun, @article{burshteyn90, author = "B. Burshteyn", title = "On the Modification of the Formal Grammar at Parse Time", journal = SIGPLAN, volume = 25, number = 5, year = 1990, pages = "117--123" } month = may, @article{christiansen90, author = "H. Christiansen", title = "A Survey of Adaptable Grammars", journal = SIGPLAN, volume = 25, number = 11, year = 1990, pages = "25--44" } @inproceedings{stemple90, author= {Stemple, D. and Fegaras, L. and Sheard, T. and Socorro, A.}, title= {Exceeding the Limits of Polymorphism in Database Programming Languages}, booktitle= {Advances in Database Technology, EDBT '90}, year= 1990, pages= "269--285", abstract= {Reflection (statically bound and type checked), Natural Join, gute Quellen zu Reflection, ADABTPL }} @inproceedings{grosch90, author= {J. Grosch and H. Emmelmann}, title= {A Tool Box for Compiler Construction}, booktitle= {Compiler-Compilers}, year= 1990, pages= "106--116" }} Als Report bei Andreas G. @book{kernighan90, author = "B.~W. Kernighan and D.~M. Ritchie", title = "Programmieren in C", publisher = "Hanser", edition = "2.", year = 1990 } @manual{trpl90, key = "TRPL", title = "A User's Guide to {TRPL}: {A} Compile-time Reflective Programming Language", institution = "University of Massachussetts", year = 1990 } @misc{sheard90, author = "T. Sheard", title = "Compile-time Reflection: {A} New Approach to Polymorphism", institution = "University of Massachussetts", year = 1990 } @inproceedings{abadi90, author = "M. Abadi and L. Cardelli and P.-L. Curien and J.-J. L\'evy", title = "Explicit Substitutions", booktitle = popl90, year = 1990, pages = "31--46" } "bei Florian als Report, teilweise kopiert" @book{hennessy90, author= {Hennessy, M.}, title= {The Semantics of Programming Languages}, publisher= {John Wiley \& Sons}, year= 1990, abstract= {An elementary introduction using structural operational semantics; evaluation semantics, computation semantics, denotational semantics, updates, local variables, global variables }} @book{meyer90, author= {Meyer, B.}, title= {Introduction to the Theory of Programming Languages}, publisher= {Prentice Hall}, year= 1990, abstract= {An elementary introduction using structural operational semantics; evaluation semantics, computation semantics, denotational semantics, updates, local variables, global variables }} T MEY 16702 @book{steele90, author= {Steele, Jr., G.~L.}, title= {Common Lisp: The Language}, publisher= {Digital Press}, edition= {2.}, year= 1990 } @book{tofte90, author= {Tofte, M.}, title= {Compiler Generators}, publisher= {Springer}, year= 1990 } @article{cordy91, author = "J.~R. Cordy and C.~D. Halpern and E. Promislow", title = "{TXL}: A Rapid Prototype System for Programming Language Dialects", journal = COMPLANG, volume = 16, number = 1, year = 1991, pages = "97--107" } kopiert month = jan, @inproceedings{dershowitz91, author = {N. Dershowitz and J.-P. Jouannaud and J.~W. Klop}, title = "Open Problems in Rewriting", booktitle = "Rewriting Techniques and Applications", year = 1991, pages = "445--456" } @inproceedings{stemple91a, author= {Stemple, D. and Sheard, T.}, title= {A Recursive Base for Database Programming Primitives}, booktitle= {Proceedings of the Kiev East/West Workshop on Next Generation Database Technology}, year= 1991, abstract= {TRPL, set iteration }} month= apr, @inproceedings{stemple91b, author = "D. Stemple and T. Sheard and L. Fegaras", title = "Reflection: A Bridge from Programming to Database Languages", booktitle = "Proceedings HICSS, Hawaii", pages = "46--55", year = 1992 } "kopiert" @inproceedings{stemple91c, author= {Stemple, D. and Morrison, R. and Atkinson M.}, title= {Type-safe Linguistic Reflection}, booktitle= {Database Programming Languages: Bulk Types and Persistent Data}, year= 1991, pages= {357--362} } @misc{sheard91, author = "T. Sheard and D. Stemple", title = "Examples in {TRPL}", year = 1991 } @techreport{cardelli91, author = "L. Cardelli", title = "{F-sub}, the System", institution = "{DEC SRC}", year = 1991 } "Ausdruck" @inproceedings{clinger91, author = "W. Clinger and J. Rees", title = "Macros that Work", booktitle = popl91, pages = "155--162", year = 1991 } "K PRI 16775, kopiert" @techreport{schroeder91, author = {G. Schr{\"o}der}, title = "Die {S}tandardisierung von {Modula-2}", institution = hbg-info, year = 1991 } @inproceedings{matthes91, author= {Matthes, F. and Schmidt, J.~W.}, title= {Bulk Types: Built-In or Add-On?}, booktitle= dbpl91, year= 1991, abstract= { note= (also appeared as TR FIDE/91/27) month= sep, Bulk structures play a central r\^ole in data-intensive application programming. The issues of {\em bulk type} definition and implementation as well as their integration into database programming languages are, therefore, key topics in current DBPL research. \\ In this paper we raise a more general language design and implementation issue by asking whether there should be at all built-in bulk types in DBPLs. Instead, one could argue that bulk types should be realized exclusively as user-definable add-ons to unbiased core languages with appropriate primitives and abstraction facilities. \\ In searching for an answer we first distinguish two substantially different levels on which bulk types are supported. {\em Elementary Bulk} essentially copes with persistent storage of mass data, their identification and update. {\em Advanced Bulk} provides additional support required for data-intensive applications such as optimized associative queries and integrity support under concurrency and failure. \\ Our long-term experience with bulk types in the DBPL language and system clearly shows the limitation of the built-in approach: built-in {\em Advanced Bulk}, as elaborate as it may be, frequently does not cover the whole range of demands of a fully-fledged application and often does not provide a decent pay-off for its implementation effort. On the other hand, restriction to built-in {\em Elementary Bulk} gives too little user-support for most data-intensive applications. \\ We report our current work on open database application systems which favours DBPLs with bulk types as add-ons, and outline some of the technological requirements for highly reusable implementations of languages with advanced user-provided bulk type definitions. }} @manual{MODISO, title= {Interim Version of the 4th Working Draft Modula-2 Standard}, organization= {ISO/IEC JTC1/SC22/WG13}, year= 1991, key= {ModISO} } @book{nelson91, editor= {Nelson, G.}, title= {Systems programming with Modula-3}, publisher= {Prentice Hall}, year= 1991, abstract= {(Revised) Modula-3 Report, Standard Interfaces, Floating Point, Pickles, Concurrent Programming with Threads, Thread Synchroinzation [Spec a la Larch], I/O Sterams: Abstract Types, Real Programs, Trestle Window System Tutorial, Discussion = Language Rationale. }} @article{ipser92, author = "Ipser, Jr., E.~A.", title = "Exploratory Language Design", journal = SIGPLAN, volume = 27, number = 4, year = 1992, pages = "41--50" } month = apr, "Sprache auf Anwendungsbereiche zuschneiden per Spracherweiterungen" @article{sakharov92, author = "A. Sakharov", title = "Macro Processing in High-Level Languages", journal = SIGPLAN, volume = 27, number = 11, year = 1992, pages = "59--66", abstract = {Def. + Expansion, Platzhalter, Grammatikregeln, Meta-Operationen, YACC + LEX, Problem der Fehlermeldungen, unklar: Checks?} } @article{cabasino92, author = "S. Cabasino and P.~S. Paolucci and G. M. Todesco", title = "Dynamic Parsers and Evolving Grammars", journal = SIGPLAN, volume = 27, number = 11, year = 1992, pages = "39--48" } @techreport{schroeder92, author = {G. Schr{\"o}der and F. Matthes}, title = "Using the {Tycoon} Compiler Toolkit", institution = hbg-info, year = 1992 } @book{matthes92, author = "F. Matthes", title = "Persistente Objektsysteme. Integrierte Datenbankentwicklung und Programmerstellung", publisher = "Springer, Berlin", year = 1993 } month = aug, @mastersthesis{niederee92, author= {Nieder\'ee, C.}, title= {Generische Dienste f"ur datenintensive Anwendungen: Iterationsabstraktion, Integrit"ats"uberwachung, Fehlererholung}, school= hbg-info, year= {1992}, abstract= {Iteratoren, Tycoon, TL }} month= nov, @techreport{stemple92, author= {Stemple, D. and Stanton, R.~B. and Sheard, T. and Philbrow, P. and Morrison, R. and Kirby, G.~N.~C. and Fegaras, L. and Cooper, R.~L. and Connor, R.~C.~H. and Atkinson, M.~P. and Alagic, S.}, title= {Type-Safe Linguistic Reflection: A Generator Technology}, year= 1992, institution= {University of St. Andrews}, abstract= {TRPL, Napier88, PS-algol, run-time / compile-time. }} month= jul, @techreport{kirby92, author= {Kirby, G.~N.~C.}, title= {Persistent Programming with Strongly Typed Linguistic Reflection}, year= 1992, institution= {University of St. Andrews} }} @book{stroustrup92, author = "B. Stroustrup", title = "The {C++} Programming Language", publisher = "Addison-Wesley", edition = "2.", year = 1992 } "P STR 18432" @techreport{schmidt92, author= {Schmidt, J.W. and Matthes, F.}, title= {The Database Programming Language DBPL: Rationale and Report}, institution= hbg-info, year= 1992, } month= jul @techreport{mueller92, author= {Matthes, F. and M\"uller, R. and Schmidt, J.W.}, title= {Object Stores as Servers in Persistent Programming Environments -- The P-Quest Experience}, institution= hbg-info, year= 1992, keywords= {P-Quest, Tycoon, Object Store}, abstract= {A promising approach to improve the quality of month= jul, next-generation database programming languages is to strictly separate data modeling and data manipulation tasks from data storage issues. This separation greatly simplifies the development of tailor-made database languages and data models based on the generic services of a data model neutral object store protocol that provides efficient, transactional access primitives to persistent, shared and possibly distributed data objects.\\ As a first step towards this goal, this paper investigates the specific services which {\em language clients} require from their supporting object stores. It gives insight into the process of selecting a suitable object store for a polymorphic higher-order programming environment (P-Quest) and sketches the mapping of higher-level language objects like functions, environments and polymorphic aggregates, onto more primitive storage structures. The functionality of three candidate object stores ($O_2$, Mneme and Napier POS) is evaluated based on the requirements imposed by the Quest language.}} @inproceedings{schmidt93, author= {Schmidt, J.~W. and Matthes, F.}, title= {Lean Languages and Models: Towards an Interoperable Kernel for Persistent Object Systems}, booktitle= iop93, year= 1993, abstract= {DBPL, Tycoon, SQL-Kritik} } @inproceedings{linnemann93, author= {V. Linnemann}, title= {Grammatiken und Syntaxb\"aume in Datenbanken}, booktitle= {Datenbanksysteme in B\"uro, Technik und Wissenschaft}, year= 1993 } @techreport{abiteboul93, author= {S. Abiteboul and S. Cluet and T. Milo}, title= {Querying and Updating the File}, institution= {I.N.R.I.A.}, year= 1993 }