%%% -*-BibTeX-*- %%% ==================================================================== %%% BibTeX-file{ %%% author = "Nelson H. F. Beebe", %%% version = "1.09", %%% date = "05 July 2005", %%% time = "10:20:19 MDT", %%% filename = "actainfo.bib", %%% address = "University of Utah %%% Department of Mathematics, 110 LCB %%% 155 S 1400 E RM 233 %%% Salt Lake City, UT 84112-0090 %%% USA", %%% telephone = "+1 801 581 5254", %%% FAX = "+1 801 581 4148", %%% URL = "http://www.math.utah.edu/~beebe", %%% checksum = "18912 25471 91568 979311", %%% email = "beebe at math.utah.edu, beebe at acm.org, %%% beebe at computer.org (Internet)", %%% codetable = "ISO/ASCII", %%% keywords = "Acta Informatica, BibTeX, bibliography", %%% supported = "yes", %%% docstring = "This is a COMPLETE bibliography of %%% publications in the journal Acta Informatica %%% (CODEN AINFA2, ISSN 0001-5903 (printed %%% version), 1432-0525 (electronic version)), %%% published by Springer-Verlag. %%% %%% Publication began with volume 1, number 1, in %%% 1971. The journal was published quarterly %%% through the end of 1975, then eight times %%% yearly until the end of 1996, and monthly %%% since the beginning of 1997. %%% %%% The publisher has a World Wide Web site %%% for the journal at %%% %%% http://link.springer.de/link/service/journals/00236/ %%% http://link.springer.de/link/service/journals/00236/tocs.htm %%% %%% with mirrors at %%% %%% http://link.springer-ny.com/link/service/journals/00236/ %%% http://link.springer-ny.com/link/service/journals/00236/tocs.htm %%% %%% This journal is unusual in that some volumes %%% span two years, some issues are assigned two %%% or more consecutive issue numbers, and no %%% months were prominently associated with issue %%% numbers until about volume 11. [The year/volume %%% confusion is rampant in databases, and took a %%% great deal of tedious editing and checking to %%% correct.] Citations in the journal to papers %%% in the journal normally just give volume, %%% pages, and year data. %%% %%% Almost all articles are published in English, %%% but 33 are in German, and 18 in French, and %%% none of those are more recent than 1986. %%% English translations are supplied for all of %%% the French and German titles. In later %%% issues, the journal covers and title pages %%% include English title translations and %%% abstracts; the author of this bibliography %%% will be grateful for improved translations of %%% early titles from readers of this file. %%% %%% Cross-references are supplied for all %%% comments, corrigenda, errata, and remarks, so %%% that citing one will automatically provide %%% citations of the others. %%% %%% At version 1.09, the year coverage looked %%% like this: %%% %%% 1971 ( 11) 1983 ( 55) 1995 ( 33) %%% 1972 ( 17) 1984 ( 28) 1996 ( 37) %%% 1973 ( 30) 1985 ( 37) 1997 ( 43) %%% 1974 ( 26) 1986 ( 44) 1998 ( 40) %%% 1975 ( 28) 1987 ( 36) 1999 ( 18) %%% 1976 ( 42) 1988 ( 40) 2000 ( 27) %%% 1977 ( 37) 1989 ( 41) 2001 ( 28) %%% 1978 ( 54) 1990 ( 29) 2002 ( 25) %%% 1979 ( 35) 1991 ( 31) 2003 ( 32) %%% 1980 ( 49) 1992 ( 35) 2004 ( 26) %%% 1981 ( 52) 1993 ( 33) 2005 ( 8) %%% 1982 ( 48) 1994 ( 36) %%% 19xx ( 2) %%% %%% Article: 1193 %%% %%% Total entries: 1193 %%% %%% About a fifth of the entries below have %%% missing issue months; citations in the %%% journal itself do not normally give that %%% information, and some major databases also %%% regrettably omit it. All journal issues from %%% at least volume 3 on carry month, and %%% sometimes day, information on the cover, %%% although in a few cases the library volumes %%% that I consulted had been carelessly trimmed %%% during binding, and that data was lost. I %%% have supplied month and day values for all %%% entries for which I have reliable data. %%% %%% The journal Web site HTML files contain %%% ``online publication'' day, month, and year %%% data, but it is unclear whether this is the %%% same as that for the paper edition. I have %%% collected this data and included it in a %%% table in the bibliography below. %%% %%% This bibliography was prepared by merging %%% data from the TeX Users Group bibliography %%% archive, the BibNet Project archive, the %%% Compendex database, the OCLC Contents1st %%% database, the huge Karlsruhe computer science %%% bibliography archive, the MathSciNet %%% database, and the journal Web pages. %%% Questionable values have been resolved by %%% searches in the Zentrallblat fuer Mathematik %%% database, and by consulting original journal %%% issues [only volumes 3 (1973) -- 28 (1991) %%% were available to the author, because of %%% library journal budget cuts, sigh...]. %%% %%% Numerous errors in the sources noted above %%% have been corrected. Spelling has been %%% verified with the UNIX spell and GNU ispell %%% programs using the exception dictionary %%% stored in the companion file with extension %%% .sok. %%% %%% BibTeX citation tags are uniformly chosen %%% as name:year:abbrev, where name is the %%% family name of the first author or editor, %%% year is a 4-digit number, and abbrev is a %%% 3-letter condensation of important title %%% words. Citation tags were automatically %%% generated by software developed for the %%% BibNet Project. %%% %%% In this bibliography, entries are sorted in %%% publication order within each journal, %%% using bibsort -bypages. %%% %%% The checksum field above contains a CRC-16 %%% checksum as the first value, followed by the %%% equivalent of the standard UNIX wc (word %%% count) utility output of lines, words, and %%% characters. This is produced by Robert %%% Solovay's checksum utility.", %%% } %%% ==================================================================== @Preamble{ "\hyphenation{}" # "\ifx \undefined \cprime \def \cprime {$\mathsurround=0pt '$}\fi" # "\ifx \undefined \k \let \k = \c \fi" # "\ifx \undefined \ocirc \def \ocirc #1{{\accent'27#1}}\fi" # "\ifx \undefined \scr \let \scr = \cal \fi" } %%% ==================================================================== %%% Acknowledgement abbreviations: @String{ack-js = "Joachim Schrod, Institute for Theoretical Informatics, Computer Science Department, Technical University of Darmstadt, Germany, e-mail: \path|schrod@iti.informatik.th-darmstadt.de|"} @String{ack-nhfb = "Nelson H. F. Beebe, University of Utah, Department of Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake City, UT 84112-0090, USA, Tel: +1 801 581 5254, FAX: +1 801 581 4148, e-mail: \path|beebe@math.utah.edu|, \path|beebe@acm.org|, \path|beebe@computer.org| (Internet), URL: \path|http://www.math.utah.edu/~beebe/|"} %%% ==================================================================== %%% Journal abbreviations: @String{j-ACTA-INFO = "Acta Informatica"} %%% ==================================================================== %%% Publication year/volume/number/day/month summary used by a small %%% utility, fix-missing-day-month.awk, to supply missing day/month %%% values, and check for inconsistencies: %%% %%% 1971 1 1 ?? jan %%% 1971 1 2 ?? oct %%% 1972 1 3 ?? feb %%% 1972 1 4 ?? nov %%% %%% 1973 2 1 ?? ???? %%% 1973 2 2 ?? aug %%% 1973 2 3 ?? ???? %%% 1973 2 4 ?? dec %%% %%% 1973 3 1 31 dec %%% 1974 3 2 7 may %%% 1974 3 3 22 jul %%% 1974 3 4 4 oct %%% %%% 1974 4 1 1 nov %%% 1975 4 2 ?? feb %%% 1975 4 3 31 jul %%% 1975 4 4 ?? ???? %%% %%% 1975 5 1--3 19 dec %%% 1975 5 4 19 dec %%% %%% 1976 6 1 31 mar %%% 1976 6 2 2 jul %%% 1976 6 3 10 aug %%% 1976 6 4 ?? ???? %%% %%% 1976 7 1 15 oct %%% 1976 7 2 ?? ???? %%% 1977 7 3 20 jan %%% 1977 7 4 1 feb %%% %%% 1977 8 1 29 mar %%% 1977 8 2 24 may %%% 1977 8 3 9 aug %%% 1977 8 4 25 nov %%% %%% 1977 9 1 13 dec %%% 1978 9 2 3 apr %%% 1978 9 3 5 may %%% 1978 9 4 21 jun %%% %%% 1978 10 1 4 aug %%% 1978 10 2 7 sep %%% 1978 10 3 2 oct %%% 1978 10 4 27 nov %%% %%% 1978 11 1 18 dec %%% 1979 11 2 3 jan %%% 1979 11 3 22 mar %%% 1979 11 4 30 may %%% %%% 1979 12 1 25 jun %%% 1979 12 2 24 jul %%% 1979 12 3 ?? oct %%% 1979 12 4 ?? nov %%% %%% 1980 13 1 ?? jan %%% 1980 13 2 ?? feb %%% 1980 13 3 ?? mar %%% 1980 13 4 ?? may %%% %%% 1980 14 1 ?? jun %%% 1980 14 2 ?? aug %%% 1980 14 3 ?? sep %%% 1980 14 4 ?? oct %%% %%% 1981 15 1 ?? dec %%% 1981 15 2 ?? dec %%% 1981 15 3 ?? jun %%% 1981 15 4 ?? aug %%% %%% 1981 16 1 ?? aug %%% 1981 16 2 ?? oct %%% 1981 16 3 ?? nov %%% 1981 16 4 ?? dec %%% %%% 1982 17 1 ?? apr %%% 1982 17 2 ?? jun %%% 1982 17 3 ?? aug %%% 1982 17 4 ?? oct %%% %%% 1982 18 1 ?? nov %%% 1982 18 2 ?? nov %%% 1982 18 3 ?? dec %%% 1983 18 4 ?? jan %%% %%% 1983 19 1 ?? apr %%% 1983 19 2 ?? apr %%% 1983 19 3 ?? jul %%% 1983 19 4 ?? sep %%% %%% 1983 20 1 ?? oct %%% 1983 20 2 ?? nov %%% 1983 20 3 ?? dec %%% 1983 20 4 ?? dec %%% %%% 1984 21 1 ?? may %%% 1984 21 2 ?? aug %%% 1984 21 3 ?? oct %%% 1984 21 4 ?? nov %%% 1984 21 5 ?? dec %%% 1985 21 6 ?? mar %%% %%% 1985 22 1 ?? apr %%% 1985 22 2 ?? jun %%% 1985 22 3 ?? aug %%% 1985 22 4 ?? oct %%% 1985 22 5 ?? dec %%% 1986 22 6 ?? mar %%% %%% 1986 23 1 ?? mar %%% 1986 23 2 ?? may %%% 1986 23 3 ?? jun %%% 1986 23 4 ?? aug %%% 1986 23 5 ?? sep %%% 1986 23 6 ?? nov %%% %%% 1987 24 1 ?? feb %%% 1987 24 2 ?? apr %%% 1987 24 3 ?? jun %%% 1987 24 4 ?? aug %%% 1987 24 5 ?? sep %%% 1987 24 6 ?? nov %%% %%% 1988 25 1 ?? jan %%% 1988 25 2 ?? feb %%% 1988 25 3 ?? apr %%% 1988 25 4 ?? may %%% 1988 25 5 ?? jun %%% 1988 25 6 ?? aug %%% %%% 1988 26 1--2 ?? oct %%% 1988 26 3 ?? nov %%% 1989 26 4 ?? feb %%% 1989 26 5 ?? mar %%% 1989 26 6 ?? jul %%% 1989 26 7 ?? sep %%% 1989 26 8 ?? oct %%% %%% 1989 27 1 ?? nov %%% 1989 27 2 ?? nov %%% 1989 27 3 ?? dec %%% 1990 27 4 ?? mar %%% 1990 27 5 ?? apr %%% 1990 27 6 ?? may %%% 1990 27 7 ?? jul %%% 1990 27 8 ?? sep %%% %%% 1990 28 1 ?? nov %%% 1990 28 2 ?? dec %%% 1991 28 3 ?? feb %%% 1991 28 4 ?? apr %%% 1991 28 5 ?? may %%% 1991 28 6 ?? jul %%% 1991 28 7 ?? oct %%% 1991 28 8 ?? nov %%% %%% 1992 29 1 ?? feb %%% 1992 29 2 ?? apr %%% 1992 29 3 ?? jun %%% 1992 29 4 ?? jul %%% 1992 29 5 ?? sep %%% 1992 29 6--7 ?? nov %%% 1992 29 8 ?? dec %%% %%% 1993 30 1 ?? jan %%% 1993 30 2 ?? mar %%% 1993 30 3 ?? may %%% 1993 30 4 ?? jul %%% 1993 30 5 ?? aug %%% 1993 30 6 ?? sep %%% 1993 30 7 ?? oct %%% 1993 30 8 ?? nov %%% %%% 1994 31 1 ?? jan %%% 1994 31 2 ?? ???? %%% 1994 31 3 ?? apr %%% 1994 31 4 ?? jun %%% 1994 31 5 ?? aug %%% 1994 31 6 ?? sep %%% 1994 31 7 ?? oct %%% 1994 31 8 ?? nov %%% %%% 1995 32 1 ?? feb %%% 1995 32 2 ?? ???? %%% 1995 32 3 ?? ???? %%% 1995 32 4 ?? ???? %%% 1995 32 5 ?? ???? %%% 1995 32 6 ?? ???? %%% 1995 32 7 ?? oct %%% 1995 32 8 ?? nov %%% %%% 1996 33 1 ?? ???? %%% 1996 33 2 ?? ???? %%% 1996 33 3 ?? may %%% 1996 33 4 ?? ???? %%% 1996 33 5 ?? ???? %%% 1996 33 6 ?? ???? %%% 1996 33 7 ?? ???? %%% 1996 33 8 ?? nov %%% %%% 1997 34 1 ?? ???? %%% 1997 34 2 ?? ???? %%% 1997 34 3 ?? ???? %%% 1997 34 4 ?? ???? %%% 1997 34 5 ?? ???? %%% 1997 34 6 ?? ???? %%% 1997 34 7 ?? ???? %%% 1997 34 8 ?? ???? %%% 1997 34 9 ?? ???? %%% 1997 34 10 ?? ???? %%% 1997 34 11 ?? ???? %%% 1997 34 12 ?? ???? %%% %%% 1998 35 2 ?? feb %%% 1998 35 3 ?? ???? %%% 1998 35 4 ?? ???? %%% 1998 35 5 ?? ???? %%% 1998 35 6 ?? jun %%% 1998 35 7 ?? ???? %%% 1998 35 8 ?? ???? %%% 1998 35 9 ?? ???? %%% 1998 35 10 ?? ???? %%% 1998 35 11 ?? ???? %%% 1998 35 12 ?? ???? %%% %%% 1999 36 1 ?? ???? %%% 1999 36 2 ?? ???? %%% 1999 36 3 ?? ???? %%% 1999 36 4 ?? ???? %%% 1999 36 5 ?? ???? %%% %%% The Web site has these ``online publication'' or ``last change'' %%% dates; it is unclear where any of these are related to paper %%% publication dates: %%% %%% 1995 32 1 3 oct 1997 %%% 1995 32 2 3 oct 1997 %%% 1995 32 3 3 oct 1997 %%% 1995 32 4 3 oct 1997 %%% 1995 32 5 3 oct 1997 %%% 1995 32 6 3 oct 1997 %%% 1995 32 7 3 oct 1997 %%% 1995 32 8 3 oct 1997 %%% %%% 1996 33 1 28 sep 1997 %%% 1996 33 2 28 sep 1997 %%% 1996 33 3 28 sep 1997 %%% 1996 33 4 28 sep 1997 %%% 1996 33 5 28 sep 1997 %%% 1996 33 6 28 sep 1997 %%% 1996 33 7 28 sep 1997 %%% 1996 33 8 28 sep 1997 %%% %%% 1997 34 1 28 apr 1997 %%% 1997 34 2 28 apr 1997 %%% 1997 34 3 28 apr 1997 %%% 1997 34 4 28 apr 1997 %%% 1997 34 5 5 may 1997 %%% 1997 34 6 27 may 1997 %%% 1997 34 7 8 jul 1997 %%% 1997 34 8 29 jul 1997 %%% 1997 34 9 29 aug 1997 %%% 1997 34 10 24 sep 1997 %%% 1997 34 11 29 oct 1997 %%% 1997 34 12 26 nov 1997 %%% %%% 1998 35 1 26 jan 1998 %%% 1998 35 2 12 feb 1998 %%% 1998 35 3 13 mar 1998 %%% 1998 35 4 8 apr 1998 %%% 1998 35 5 5 may 1998 %%% 1998 35 6 29 may 1998 %%% 1998 35 7 2 jul 1998 %%% 1998 35 8 6 aug 1998 %%% 1998 35 9 19 aug 1998 %%% 1998 35 10 6 oct 1998 %%% 1998 35 11 10 nov 1998 %%% 1998 35 12 14 dec 1998 %%% %%% 1999 36 1 21 jan 1999 %%% 1999 36 2 9 feb 1999 %%% 1999 36 3 25 mar 1999 %%% 1999 36 4 8 jul 1999 %%% 1999 36 05 13 sep 1999 %%% %%% ==================================================================== %%% Bibliography entries, sorted in publication order: @Article{Mihalache:19xx:GSR, author = "V. Mihalache and Gheorghe P{\u{a}}un and Grzegorz Rozenberg and Arto Salomaa", title = "Generating strings by replication: a simple case", journal = j-ACTA-INFO, volume = "??", number = "??", pages = "??--??", month = "????", year = "19xx", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/dna.bib", note = "To appear (in 1999 or 2000??).", } @Article{Smith:19xx:SDG, author = "Douglas R. Smith", title = "Structure and Design of Global Search Algorithms", journal = j-ACTA-INFO, volume = "??", number = "??", pages = "??--??", month = "????", year = "19xx", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Par.Arch.Indep.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/dershowitz.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/rewrite.bib", note = "To appear (in 1999 or 2000??).", } @Article{Coffman:1971:PPE, author = "Edward G. Coffman and Brian Randell", title = "Performance Predictions for Extended Paged Memories", journal = j-ACTA-INFO, volume = "1", number = "1", pages = "1--13", month = jan, year = "1971", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Knuth:1971:OBS, author = "Donald E. Knuth", title = "Optimum Binary Search Trees", journal = j-ACTA-INFO, volume = "1", number = "1", pages = "14--25", month = jan, year = "1971", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Database/is.bib; ftp://ftp.ira.uka.de/pub/bibliography/Database/Wiederhold/Pre.1975.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/online.competitive.algorithms.bib", annote = "Trees optimized by access frequency.", } @Article{Turski:1971:MDS, author = "Wladyslaw M. Turski", title = "A Model for Data Structures and Its Applications. {I}", journal = j-ACTA-INFO, volume = "1", number = "1", pages = "26--34", month = jan, year = "1971", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Wirth:1971:PLP, author = "Niklaus Wirth", title = "The Programming Language {Pascal}", journal = j-ACTA-INFO, volume = "1", number = "1", pages = "35--63", month = jan, year = "1971", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib; ftp://ftp.ira.uka.de/pub/bibliography/Math/sparse.linear.systems.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/allison.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/leavens.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/CLiCS.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/dershowitz.bib", note = "See comments \cite{Habermann:1973:CCP,Lecarme:1975:MCP}.", abstract = "British standard 1982; Australian standard 1983; ISO ?", checked = "4 September 1990", keywords = "imperative programming language definition; Pascal; PLD", } @Article{Claus:1971:VPS, author = "Volker Claus", title = "{Ein Vollst{\"a}ndigkeitssatz f{\"u}r Programme und Schaltkreise}. ({German}) [{A} Completeness Condition for Programs and Circuits]", journal = j-ACTA-INFO, volume = "1", number = "1", pages = "64--78", month = jan, year = "1971", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Knuth:1971:TSA, author = "Donald E. Knuth", title = "Top-Down Syntax Analysis", journal = j-ACTA-INFO, volume = "1", number = "??", pages = "79--110", month = "????", year = "1971", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/allison.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", keywords = "parse; parser; parsing; top down", } @Article{Langmaack:1971:ARC, author = "Hans Langmaack", title = "Application of Regular Canonical Systems to Grammars Translatable from Left to Right", journal = j-ACTA-INFO, volume = "1", number = "??", pages = "111--114", month = "????", year = "1971", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Dijkstra:1971:HOS, author = "Edsger W. Dijkstra", title = "Hierarchical Ordering of Sequential Processes", journal = j-ACTA-INFO, volume = "1", number = "2", pages = "115--138", month = oct, year = "1971", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibdate = "Sun Jan 15 17:52:42 1984", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/semantics.bib; ftp://ftp.ira.uka.de/pub/bibliography/Database/Graefe.bib; ftp://ftp.ira.uka.de/pub/bibliography/Database/Wiederhold/Pre.1975.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Os/IMMD_IV.bib; ftp://ftp.ira.uka.de/pub/bibliography/Os/os.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/ProbAlgs.bib", note = "Reprinted in {\em Operating Systems Techniques\/}, C.A.R. Hoare and R.H. Perrot, Eds., Academic Press, 1972, pp. 72--93. This paper introduces the classical synchronization problem of Dining Philosophers.", abstract = "One of the primary functions of an operating system is to rebuild a machine that must be regarded as non-deterministic (on account of cycle stealing and interrupts) into a more or less deterministic automaton. Taming the degree of indeterminacy in steps will lead to a layered operating system. A bottom layer will be discussed and so will the adequacy of the interface it presents. An analysis of the requirements of the correctness proofs will give us an insight into the logical issues at hand. A `director-secretary' relationship will be introduced to reflect a possible discipline in the use of sequencing primitives.", keywords = "Deadlocks; operating systems synchronization communication; Semaphore", } @Article{Schonhage:1971:SBK, author = "A. Sch{\"o}nhage", title = "{Schnelle Berechnung von Kettenbruchentwicklungen}. ({German}) [{Fast} Calculation of Expansions of Continued Fractions]", journal = j-ACTA-INFO, volume = "1", number = "??", pages = "139--144", month = "????", year = "1971", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", MRclass = "68Q05 90C32", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/PCV.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/arith.bib", } @Article{Hwang:1971:OME, author = "F. K. Hwang and Shen Lin", title = "Optimal Merging of 2 Elements with {$n$} Elements", journal = j-ACTA-INFO, volume = "1", number = "??", pages = "145--158", month = "????", year = "1971", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibdate = "Wed Nov 12 10:18:48 1986", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib", owner = "seufert", } @Article{Perrin:1971:CAA, author = "Dominique Perrin and J.-F. Perrot", title = "Congruences et Automorphismes des Automates Finis. ({French}) [{Congruences} and Automorphisms of Finite Automata]", journal = j-ACTA-INFO, volume = "1", number = "??", pages = "159--172", month = "????", year = "1971", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Bayer:1972:OML, author = "Rudolf Bayer and Edward M. McCreight", title = "Organization and Maintenance of Large Ordered Indexes", journal = j-ACTA-INFO, volume = "1", number = "3", pages = "173--189", month = feb, year = "1972", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibdate = "Tue Jun 17 22:32:13 1986", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Database/database.bib; ftp://ftp.ira.uka.de/pub/bibliography/Database/Graefe.bib; ftp://ftp.ira.uka.de/pub/bibliography/Database/Wiederhold/Pre.1975.bib; ftp://ftp.ira.uka.de/pub/bibliography/Math/sparse.linear.systems.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", note = "Also published in/as: ACM SIGFIDET 1970, pp.107--141.", annote = "Algorithms and performance analysis for tree structured files, Btrees.", keywords = "organization; B-Trees", owner = "ahn", } @Article{Hansen:1972:CTS, author = "Per Brinch Hansen", title = "A Comparison of Two Synchronizing Concepts", journal = j-ACTA-INFO, volume = "1", number = "3", pages = "190--199", month = feb, year = "1972", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibdate = "Wed Dec 10 14:35:02 1986", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Database/Wiederhold/Pre.1975.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib", note = "See comments \cite{Courtois:1972:CCT} and reply \cite{Hansen:1973:RCC}.", annote = "Also, reply to Acta Inf., Vol.2 No.2, pp.189--190, Aug.1973", owner = "seufert", } @Article{Coffman:1972:OST, author = "Edward G. Coffman and R. L. Graham", title = "Optimal Scheduling for Two-Processor Systems", journal = j-ACTA-INFO, volume = "1", number = "3", pages = "200--213", month = feb, year = "1972", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/instruction.level.parallel.processing.bib; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Load.Balance.1.bib; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/ovr.bib; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/scheduling.bib; ftp://ftp.math.utah.edu/pub/tex/bib/ovr.bib", } @Article{Clint:1972:PPJ, author = "M. Clint and C. A. R. Hoare", title = "Program Proving: Jumps and Functions", journal = j-ACTA-INFO, volume = "1", number = "??", pages = "214--224", month = "????", year = "1972", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/dershowitz.bib", note = "See remarks \cite{Ashcroft:1976:RPP}.", } @Article{Kaufholz:1972:PEA, author = "Gerd Kaufholz", title = "{Der programmierbare endliche Automat}. ({German}) [{The} Programmable Finite Automaton]", journal = j-ACTA-INFO, volume = "1", number = "??", pages = "225--241", month = "????", year = "1972", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Rozenberg:1972:DCP, author = "Grzegorz Rozenberg", title = "Direction Controlled Programmed Grammars", journal = j-ACTA-INFO, volume = "1", number = "??", pages = "242--252", month = "????", year = "1972", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/fernau.bib", } @Article{Walter:1972:I, author = "Hermann Walter", title = "{Inhibitionsfelder}. ({German}) [{Inhibition} fields]", journal = j-ACTA-INFO, volume = "1", number = "??", pages = "253--269", month = "????", year = "1972", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Hoare:1972:PCD, author = "C. Anthony R. Hoare", title = "Proof of correctness of data representations", journal = j-ACTA-INFO, volume = "1", number = "4", pages = "271--281", month = nov, year = "1972", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Ai/compling.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/Functional.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/prog.lang.theory.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/semantics.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/Functional.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/Hypatia/H/HoareCAR.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/leavens.bib; ftp://ftp.ira.uka.de/pub/bibliography/Os/IMMD_IV.bib; ftp://ftp.ira.uka.de/pub/bibliography/SE/algebraic.spec.bib; ftp://ftp.ira.uka.de/pub/bibliography/SE/COMPASS.bib; ftp://ftp.ira.uka.de/pub/bibliography/SE/dependability.bib; ftp://ftp.ira.uka.de/pub/bibliography/SE/formal.hardware.verification.bib; ftp://ftp.ira.uka.de/pub/bibliography/SE/obscure.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/dershowitz.bib", annote = "8 references.", keywords = "abstract data types; Data Abstraction; functional", } @Article{Turski:1972:MDS, author = "Wladyslaw M. Turski", title = "A Model for Data Structures and its Applications. ({Part II})", journal = j-ACTA-INFO, volume = "1", number = "??", pages = "282--289", month = "????", year = "1972", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Bayer:1972:SBB, author = "Rudolf Bayer", title = "Symmetric Binary {B}-Trees: Data Structure and Maintenance Algorithms", journal = j-ACTA-INFO, volume = "1", number = "4", pages = "290--306", month = nov, year = "1972", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", MRclass = "68N05 05C05 68R10", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Database/Wiederhold/Pre.1975.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", annote = "Algorithms and performance analysis for indexes, including splitting.", xxtitle = "Symmetric Binary Btrees: Data Structure and Maintenance Algorithms", } @Article{Hu:1972:LUB, author = "T. C. Hu and K. C. Tan", title = "Least Upper Bound on the Cost of Optimum Binary Search Trees", journal = j-ACTA-INFO, volume = "1", number = "??", pages = "307--310", month = "????", year = "1972", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{McKellar:1972:BAS, author = "A. C. McKellar and C. K. Wong", title = "Bounds on Algorithms for String Generation", journal = j-ACTA-INFO, volume = "1", number = "??", pages = "311--319", month = "????", year = "1972", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Strassen:1972:BP, author = "Volker Strassen", title = "{Berechnung und Programm. I}. ({German}) [{Calculation} and Programs. {I}]", journal = j-ACTA-INFO, volume = "1", number = "??", pages = "320--335", month = "????", year = "1972", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Hartmanis:1972:NDS, author = "Juris Hartmanis", title = "On Non-Determinancy in Simple Computing Devices", journal = j-ACTA-INFO, volume = "1", number = "??", pages = "336--344", month = "????", year = "1972", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Schnorr:1972:EAZ, author = "Claus-Peter Schnorr and H. Stimm", title = "{Endliche Automaten und Zufallsfolgen}. ({German}) [Finite Automata and Random Sequnces]", journal = j-ACTA-INFO, volume = "1", number = "??", pages = "345--359", month = "????", year = "1972", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Schott:1972:AAI, author = "G. Schott", title = "Automatic Analysis of Inflectional Morphemes in {German} Nouns", journal = j-ACTA-INFO, volume = "1", number = "??", pages = "360--374", month = "????", year = "1972", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Courtois:1972:CCT, author = "P. J. Courtois and F. Heymans and David Lorge Parnas", title = "Comments on {{\em A Comparison of Two Synchronizing Concepts}} by {Per Brinch Hansen}", journal = j-ACTA-INFO, volume = "1", number = "??", pages = "375--376", month = "????", year = "1972", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", note = "See \cite{Hansen:1972:CTS,Hansen:1973:RCC}.", } @Article{Lauesen:1973:JSG, author = "S{\o}ren Lauesen", title = "Job Scheduling Guaranteeing Reasonable Turn-Around Times", journal = j-ACTA-INFO, volume = "2", number = "??", pages = "1--11", month = "????", year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Anderson:1973:ELP, author = "T. Anderson and J. Eve and James J. Horning", title = "Efficient {{\em LR($1$)}} Parsers", journal = j-ACTA-INFO, volume = "2", number = "1", pages = "12--39", month = "????", year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/Compiler.Lins.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Salomaa:1973:SFC, author = "Arto K. Salomaa", title = "On Sentential Forms of Context-Free Grammars", journal = j-ACTA-INFO, volume = "2", number = "??", pages = "40--49", month = "????", year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/fernau.bib", } @Article{Clint:1973:PPC, author = "M. Clint", title = "Program Proving: Co-routines", journal = j-ACTA-INFO, volume = "2", number = "??", pages = "50--63", month = "????", year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Strassen:1973:BPI, author = "Volker Strassen", title = "{Berechnung und Programm. II}. ({German}) [{Calculation} and Programs. {II}]", journal = j-ACTA-INFO, volume = "2", number = "??", pages = "64--79", month = "????", year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Stoss:1973:RP, author = "H.-J. Sto{\ss}", title = "{Rangierkomplexit{\"a}t von Permutationen}. ({German}) [{The} Switching Complexity of Permutations]", journal = j-ACTA-INFO, volume = "2", number = "??", pages = "80--96", month = "????", year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", note = "See remarks \cite{Klingler:1981:GBA}.", } @Article{Gries:1973:DAH, author = "David Gries", title = "Describing an Algorithm by {Hopcroft}", journal = j-ACTA-INFO, volume = "2", number = "??", pages = "97--109", month = "????", year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Langmaack:1973:CPP, author = "Hans Langmaack", title = "On Correct Procedure Parameter Transmission in Higher Programming Languages", journal = j-ACTA-INFO, volume = "2", number = "??", pages = "110--142", month = "????", year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Genrich:1973:S, author = "H. J. Genrich and Kurt Lautenbach", title = "{Synchronisationsgraphen}. ({German}) [{Synchronization} Graphs]", journal = j-ACTA-INFO, volume = "2", number = "2", pages = "143--161", month = aug, year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Database/Wiederhold/Pre.1975.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", annote = "Directed graphs used to describe control flow and state changes, conditions of deadlock avoidance (in German).", } @Article{Culik:1973:SJM, author = "Karel Cul{\'\i}k and Michael A. Arbib", title = "Sequential and Jumping Machines and their Relation to Computers", journal = j-ACTA-INFO, volume = "2", number = "??", pages = "162--171", month = "????", year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Ehrich:1973:MMV, author = "Hans-Dieter Ehrich", title = "{Minimale und $m$-minimale Variablenmengen f{\"u}r partielle Boole'sche Funktionen}. ({German}) [{Minimal} and $m$-Minimal Sets of Variables for Partial {Boolean} Functions]", journal = j-ACTA-INFO, volume = "2", number = "??", pages = "172--179", month = "????", year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Boasson:1973:DFL, author = "Luc Boasson and Maurice Nivat", title = "Sur diverses familles de langages ferm{\'e}es par transductions rationelle. ({French}) [{On} Diverse Families of Languages Closed by Rational Transductions]", journal = j-ACTA-INFO, volume = "2", number = "??", pages = "180--188", month = "????", year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Hansen:1973:RCC, author = "Per Brinch Hansen", title = "A Reply to Comments on {{\em A Comparison of Two Synchronizing Concepts}}", journal = j-ACTA-INFO, volume = "2", number = "??", pages = "189--190", month = "????", year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", note = "See \cite{Hansen:1972:CTS,Courtois:1972:CCT}.", } @Article{Ullman:1973:FAE, author = "Jeffrey D. Ullman", title = "Fast Algorithms for the Elimination of Common Subexpressions", journal = j-ACTA-INFO, volume = "2", number = "3", pages = "191--213", month = "????", year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", MRclass = "68N05 68Q25", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/Compiler.Lins.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/opt.compiler.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/optimization.bib; ftp://ftp.ira.uka.de/pub/bibliography/Math/sparse.linear.systems.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", keywords = "algorithms; common subexpressions; eliminations", } @Article{Rozenberg:1973:DSL, author = "Grzegorz Rozenberg and Aristid Lindenmayer", title = "Developmental Systems with Locally Catenative Formulas", journal = j-ACTA-INFO, volume = "2", number = "??", pages = "214--248", month = "????", year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/fernau.bib", } @Article{Savitch:1973:NMA, author = "Walter J. Savitch", title = "A Note on Multihead Automata and Context-Sensitive Languages", journal = j-ACTA-INFO, volume = "2", number = "??", pages = "249--252", month = "????", year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Kandzia:1973:TPL, author = "Peter Kandzia", title = "{Zur Theorie der Partiell-linearen Realisierungen endlicher Automaten}. ({German}) [{On} the Theory of Partial Linear Realizations of Finite Automata]", journal = j-ACTA-INFO, volume = "2", number = "??", pages = "253--282", month = "????", year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Claus:1973:MAP, author = "Volker Claus", title = "{Die mittlere Additionsdauer eines Paralleladdierwerks}. ({German}) [{The} Median Addition Time of a Parallel Adder]", journal = j-ACTA-INFO, volume = "2", number = "??", pages = "283--291", month = "????", year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Earley:1973:RLD, author = "Jay Earley", title = "Relational Level Data Structures for Programming Languages", journal = j-ACTA-INFO, volume = "2", number = "4", pages = "293--309", month = dec, year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Database/Wiederhold/Pre.1975.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/leavens.bib", annote = "Definition of a system which handles set relations, clear mathematical exposition.", } @Article{Langmaack:1973:POS, author = "Hans Langmaack", title = "On Procedures as Open Subroutines. {I}", journal = j-ACTA-INFO, volume = "2", number = "??", pages = "311--333", month = "????", year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Hoare:1973:ADP, author = "C. A. R. Hoare and Niklaus Wirth", title = "An Axiomatic Definition of the Programming Language {Pascal}", journal = j-ACTA-INFO, volume = "2", number = "4", pages = "335--355", month = dec, year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/Collberg.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/prog.lang.theory.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/allison.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/Hypatia/H/HoareCAR.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/leavens.bib", note = "See addenda and corrigenda \cite{Hoare:1974:ACA}.", abstract = "The axiomatic definition method proposed in reference [5] is extended and applied to define the meaning of the programming language Pascal. The whole language is covered with the exception of real arithmetic and go to statements.", annote = "8 references.", checked = "4 January 1994", keywords = "axiomatic; Pascal; PROGLANG; proof; SEMANTIC", } @Article{Menzel:1973:ETL, author = "W. Menzel", title = "An Extension of the Theory of Learning Systems", journal = j-ACTA-INFO, volume = "2", number = "??", pages = "357--381", month = "????", year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Boasson:1973:FLT, author = "Luc Boasson and J. P. Crestin and Maurice Nivat", title = "Familles de langages translatables et ferm{\'e}es par crochet. ({French}) [{Families} of Translatable Bracket-Closed Languages]", journal = j-ACTA-INFO, volume = "2", number = "??", pages = "383--393", month = "????", year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Gelenbe:1973:PSD, author = "Erol Gelenbe and Paolo Tiberio and J. C. A. Boekhorst", title = "Page Size in Demand Paging Systems", journal = j-ACTA-INFO, volume = "3", number = "1", pages = "1--23", day = "31", month = dec, year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibdate = "Tue Nov 10 15:32:44 1981", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Os/storage.bib", keywords = "memory hierarchy", } @Article{Schlumberger:1973:ODM, author = "Maurice Schlumberger and Jean Vuillemin", title = "Optimal Disk Merge Patterns", journal = j-ACTA-INFO, volume = "3", number = "1", pages = "25--35", day = "31", month = dec, year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Nahapetian:1973:NFG, author = "A. Nahapetian", title = "Node Flows in Graphs with Conservative Flow", journal = j-ACTA-INFO, volume = "3", number = "1", pages = "37--41", day = "31", month = dec, year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Fox:1973:RNM, author = "B. L. Fox", title = "Reducing the Number of Multiplikations in Iterative Processes", journal = j-ACTA-INFO, volume = "3", number = "1", pages = "43--45", day = "31", month = dec, year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Habermann:1973:CCP, author = "A. Nico Habermann", title = "Critical Comments on the Programming Language {Pascal}", journal = j-ACTA-INFO, volume = "3", number = "1", pages = "47--57", day = "31", month = dec, year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/leavens.bib", note = "See \cite{Wirth:1971:PLP,Lecarme:1975:MCP}.", annote = "Complaints about the report's shortcomings, and the confusion of ranges, types, and structures. Also complains about gotos. 9 references.", } @Article{Cremers:1973:NFC, author = "Armin B. Cremers", title = "Normal Forms for Context-Sensitive Grammars", journal = j-ACTA-INFO, volume = "3", number = "1", pages = "59--73", day = "31", month = dec, year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/fernau.bib", } @Article{Eichner:1973:LRE, author = "Lutz Eichner", title = "{Lineare Realisierbarkeit endlicher Automaten {\"u}ber endlichen K{\"o}rpern}. ({German}) [{Linearly} Realizable Finite Automata over Finite Fields]", journal = j-ACTA-INFO, volume = "3", number = "1", pages = "75--100", day = "31", month = dec, year = "1973", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Betteridge:1974:ASA, author = "Terry Betteridge", title = "An Analytic Storage Allocation Model", journal = j-ACTA-INFO, volume = "3", number = "2", pages = "101--122", day = "7", month = may, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/gc.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/Heaps.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Horowitz:1974:UVC, author = "Ellis Horowitz", title = "A Unified View of the Complexity of Evaluation and Interpolation", journal = j-ACTA-INFO, volume = "3", number = "2", pages = "123--133", day = "7", month = may, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Hoare:1974:CCF, author = "C. A. R. Hoare and Peter E. Lauer", title = "Consistent and Complementary Formal Theories of the Semantics of Programming Languages", journal = j-ACTA-INFO, volume = "3", number = "3", pages = "135--153", day = "22", month = jul, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/prog.lang.theory.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/semantics.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/leavens.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/dershowitz.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/logic.bib", annote = "30 references.", } @Article{Schuler:1974:WCS, author = "P. F. Schuler", title = "Weakly Context-Sensitive Languages as Model for Programming Languages", journal = j-ACTA-INFO, volume = "3", number = "2", pages = "155--170", day = "7", month = may, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", keywords = "context-sensitive language", } @Article{Kaufholz:1974:VM, author = "Gerd Kaufholz", title = "{{\"U}ber die Vernetzungsstruktur von Maschinen}. ({German}) [{On} the Network Structure of Machines]", journal = j-ACTA-INFO, volume = "3", number = "2", pages = "171--186", day = "7", month = may, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Benson:1974:AMT, author = "David B. Benson", title = "An Abstract Machine Theory for Formal Language Parsers", journal = j-ACTA-INFO, volume = "3", number = "2", pages = "187--202", day = "7", month = may, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Kuck:1974:BPE, author = "David J. Kuck and Yoichi Muraoka", title = "Bounds on the Parallel Evaluation of Arithmetic Expressions Using Associativity and Commutativity", journal = j-ACTA-INFO, volume = "3", number = "3", pages = "203--216", day = "22", month = jul, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibdate = "Thu Oct 2 14:36:03 1986", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib", owner = "seufert", } @Article{Paul:1974:KS, author = "Wolfgang J. Paul and H.-J. Sto{\ss}", title = "{Zur Komplexit{\"a}t von Sortierproblemen}. ({German}) [{On} the Complexity of the Sorting Problem]", journal = j-ACTA-INFO, volume = "3", number = "3", pages = "217--225", day = "22", month = jul, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Langmaack:1974:POS, author = "Hans Langmaack", title = "On Procedures as Open Subroutines. {II}", journal = j-ACTA-INFO, volume = "3", number = "3", pages = "227--241", day = "22", month = jul, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Manna:1974:AAT, author = "Zohar Manna and Amir Pnueli", title = "Axiomatic Approach to Total Correctness of Programs", journal = j-ACTA-INFO, volume = "3", number = "3", pages = "243--263", day = "22", month = jul, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibdate = "Wed Dec 10 14:27:15 1986", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/dershowitz.bib", owner = "seufert", } @Article{Ehrenfeucht:1974:NVH, author = "Andrzej Ehrenfeucht and Grzegorz Rozenberg", title = "Nonterminals Versus Homomorphisms in Defining Languages for Some Classes of Rewriting Systems", journal = j-ACTA-INFO, volume = "3", number = "3", pages = "265--283", day = "22", month = jul, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Penttonen:1974:DLC, author = "Martti Penttonen", title = "On Derivation Languages Corresponding to Context-Free Grammars", journal = j-ACTA-INFO, volume = "3", number = "3", pages = "285--291", day = "22", month = jul, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Berstel:1974:CG, author = "Jean Berstel", title = "Sur une Conjecture de {S. Greibach}", journal = j-ACTA-INFO, volume = "3", number = "3", pages = "293--295", day = "22", month = jul, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Hoare:1974:ACA, author = "C. A. R. Hoare and N. Wirth", title = "Addenda and Corrigenda to {{\em An Axiomatic Definition of the Programming Language Pascal}}", journal = j-ACTA-INFO, volume = "3", number = "3", pages = "296--296", day = "22", month = jul, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibdate = "Fri Oct 08 22:02:37 1999", note = "See \cite{Hoare:1973:ADP}.", acknowledgement = ack-nhfb, } @Article{Gotlieb:1974:CSS, author = "C. C. Gotlieb and Frank Wm. Tompa", title = "Choosing a Storage Schema", journal = j-ACTA-INFO, volume = "3", number = "4", pages = "297--319", day = "4", month = oct, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Gelenbe:1974:AAG, author = "Erol Gelenbe and Jaques Lenfant and Dominique Potier", title = "Analyse d'un algorithme de gestion simultan{\'e}e {M}{\'e}moire centrale---Disque de pagination. ({French}) [{Analysis} of a Simultaneous Management Algorithm for Central Memory and Paging Disk]", journal = j-ACTA-INFO, volume = "3", number = "4", pages = "321--345", day = "4", month = oct, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Garey:1974:PBS, author = "M. R. Garey and R. L. Graham", title = "Performance Bounds on the Splitting Algorithm for Binary Testing", journal = j-ACTA-INFO, volume = "3", number = "4", pages = "347--355", day = "4", month = oct, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Nielsen:1974:NHCb, author = "Mogens Nielsen and Grzegorz Rozenberg and Arto Salomaa and Sven Skyum", title = "Nonterminals, Homomorphisms and Codings in Different Variations of {OL}-Systems. {II}. {Nondeterministic} Systems", journal = j-ACTA-INFO, volume = "3", number = "4", pages = "357--364", day = "4", month = oct, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Ecker:1974:ELA, author = "K. Ecker and H. Ratschek", title = "{Eigenschaften der von linearen Automaten erkennbaren Worte}. ({German}) [{Characteristics} of Words Recognized by Linear Automata]", journal = j-ACTA-INFO, volume = "3", number = "4", pages = "365--383", day = "4", month = oct, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Eichner:1974:TLR, author = "Lutz Eichner", title = "{Total lineare Realisierbarkeit endlicher Automaten}. ({German}) [{Total} Linear Realizability of Finite Automata]", journal = j-ACTA-INFO, volume = "3", number = "4", pages = "385--397", day = "4", month = oct, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Finkel:1974:QTD, author = "Raphael A. Finkel and Jon Louis Bentley", title = "Quad Trees: {A} Data Structure for Retrieval on Composite Keys", journal = j-ACTA-INFO, volume = "4", number = "1", pages = "1--9", day = "1", month = nov, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Database/Graefe.bib; ftp://ftp.ira.uka.de/pub/bibliography/Database/Wiederhold/Pre.1975.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/att.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/algobib.bib", keywords = "data structure; database; multidimensional search; quad-trees; tree", } @Article{Brandwajn:1974:MTS, author = "A. Brandwajn", title = "A Model of a Time Sharing Virtual Memory System Solved Using Equivalence and Decomposition Methods", journal = j-ACTA-INFO, volume = "4", number = "1", pages = "11--47", day = "1", month = nov, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Distributed/QLD/1974.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", date = "13/05/93", descriptors = "NIL", enum = "7058", language = "English", location = "SEL: Wi", references = "0", revision = "16/01/94", } @Article{Fayolle:1974:SPB, author = "Guy Fayolle and Erol Gelenbe and Jacques Labetoulle and D. Bastin", title = "The Stability Problem of Broadcast Packet Switching Computer Networks", journal = j-ACTA-INFO, volume = "4", number = "1", pages = "49--53", day = "1", month = nov, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Hotz:1974:SAK, author = "G{\"u}nter Hotz", title = "{Sequentielle Analyse kontextfreier Sprachen}. ({German}) [{Sequential} Analysis of Context-Free Grammars]", journal = j-ACTA-INFO, volume = "4", number = "1", pages = "55--75", day = "1", month = nov, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Khabbaz:1974:MPA, author = "Nabil A. Khabbaz", title = "Multipass Precedence Analysis", journal = j-ACTA-INFO, volume = "4", number = "1", pages = "77--85", day = "1", month = nov, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Nielsen:1974:NHCa, author = "Mogens Nielsen and Grzegorz Rozenberg and Arto Salomaa and Sven Skyum", title = "Nonterminals, Homomorphisms and Codings in Different Variations of {OL}-Systems. {I}. {Deterministic} Systems", journal = j-ACTA-INFO, volume = "4", number = "1", pages = "87--106", day = "1", month = nov, year = "1974", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/fernau.bib", } @Article{Breitbart:1975:AFE, author = "Yuri Breitbart and Allen Reiter", title = "Algorithms for Fast Evaluation of {Boolean} Expressions", journal = j-ACTA-INFO, volume = "4", number = "2", pages = "107--116", month = feb, year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Database/Graefe.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Newton:1975:PPI, author = "Glen Newton", title = "Proving Properties of Interacting Processes", journal = j-ACTA-INFO, volume = "4", number = "2", pages = "117--126", month = feb, year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Spitzen:1975:VSD, author = "Jay M. Spitzen and Ben Wegbreit", title = "The Verification and Synthesis of Data Structures", journal = j-ACTA-INFO, volume = "4", number = "2", pages = "127--144", month = feb, year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/leavens.bib; ftp://ftp.ira.uka.de/pub/bibliography/SE/COMPASS.bib; ftp://ftp.ira.uka.de/pub/bibliography/SE/obscure.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/dershowitz.bib", annote = "Generator induction.", } @Article{Igarashi:1975:APVa, author = "Shigeru Igarashi and Ralph L. London and David C. Luckham", title = "Automatic program verification. {I}. {A} logical basis and its implementation", journal = j-ACTA-INFO, volume = "4", number = "2", pages = "145--182", month = feb, year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/SE/dependability.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/dershowitz.bib", xxauthor = "S. Igarishi and R. L. London and D. C. Luckham", } @Article{Earley:1975:APS, author = "Jay Earley", title = "Ambiguity and Precedence in Syntax Description", journal = j-ACTA-INFO, volume = "4", number = "2", pages = "183--192", month = feb, year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Ibarra:1975:HVH, author = "Oscar H. Ibarra and Chul E. Kim", title = "On $3$-Head Versus $2$-Head Finite Automata", journal = j-ACTA-INFO, volume = "4", number = "2", pages = "193--200", month = feb, year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Ehrich:1975:GTDa, author = "Hans-Dieter Ehrich", title = "{Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil I: Datenstrukturen und Schemata}. ({German}) [{Foundation} of a Theory of Data Structures and Access Systems. {Part I}. Data Structures and Schemata]", journal = j-ACTA-INFO, volume = "4", number = "3", pages = "201--211", day = "31", month = jul, year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Gimpel:1975:NPT, author = "James F. Gimpel", title = "Nonlinear Pattern Theory", journal = j-ACTA-INFO, volume = "4", number = "3", pages = "213--229", day = "31", month = jul, year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Lecarme:1975:MCP, author = "Olivier Lecarme and Pierre Desjardins", title = "More Comments on the Programming Language {Pascal}", journal = j-ACTA-INFO, volume = "4", number = "3", pages = "231--243", day = "31", month = jul, year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/leavens.bib", note = "See \cite{Wirth:1971:PLP,Habermann:1973:CCP}. An earlier version appeared in ACM SIGPLAN Notices, October, 1975.", annote = "30 references.", } @Article{Zislis:1975:SDC, author = "Paul M. Zislis", title = "Semantic Decomposition of Computer Programs: An Aid to Program Testing", journal = j-ACTA-INFO, volume = "4", number = "3", pages = "243--269", day = "31", month = jul, year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Levy:1975:ACS, author = "J.-P. L{\'e}vy", title = "Automatic Correction of Syntax-Errors in Programming Languages", journal = j-ACTA-INFO, volume = "4", number = "3", pages = "271--292", day = "31", month = jul, year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Guibas:1975:PIB, author = "Leonidas J. Guibas", title = "A Principle of Independence for Binary Tree Searching", journal = j-ACTA-INFO, volume = "4", number = "4", pages = "293--298", month = "????", year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Ehrich:1975:GTDb, author = "Hans-Dieter Ehrich", title = "{Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil II: Zugriffssysteme}. ({German}) [{Foundation} of a Theory of Data Structures and Access Systems. {Part II}. Access Systems]", journal = j-ACTA-INFO, volume = "4", number = "4", pages = "299--310", month = "????", year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Breitbart:1975:BBA, author = "Yuri Breitbart and Allen Reiter", title = "A Branch-and-Bound Algorithm to Obtain an Optimal Evaluation Tree for Monotonic {Boolean} Functions", journal = j-ACTA-INFO, volume = "4", number = "4", pages = "311--319", month = "????", year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Paul:1975:BMU, author = "Wolfgang J. Paul", title = "{Boolesche Minimalpolynome und {\"U}berdeckungsprobleme}. ({German}) [{Boolean} Minimal Polynomials and Coverage Problems]", journal = j-ACTA-INFO, volume = "4", number = "4", pages = "321--336", month = "????", year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Rosen:1975:DGG, author = "Barry K. Rosen", title = "Deriving Graphs from Graphs by Applying a Production", journal = j-ACTA-INFO, volume = "4", number = "4", pages = "337--357", month = "????", year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/gragra.bib", added = "1996-03-13-10-09-20", } @Article{Schuler:1975:WAC, author = "P. F. Schuler", title = "{WCS}-Analysis of the Context-Sensitive", journal = j-ACTA-INFO, volume = "4", number = "4", pages = "359--371", month = "????", year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Nielsen:1975:ESC, author = "Mogens Nielsen", title = "{EOL} systems with control devices", journal = j-ACTA-INFO, volume = "4", number = "4", pages = "373--386", month = "????", year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/fernau.bib", } @Article{vanWijngaarden:1975:RRA, author = "Adriaan van Wijngaarden and B. J. Mailloux and J. E. L. Peck and C. H. A. Koster and M. Sintzoff and C. H. Lindsey and L. G. L. T. Meertens and R. G. Fisker", title = "Revised Report on the Algorithmic Language {ALGOL 68}", journal = j-ACTA-INFO, volume = "5", number = "1--3", pages = "1--236", day = "19", month = dec, year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/CLiCS.bib", checked = "4 September 1990", } @Article{Nehmer:1975:DPC, author = "J. Nehmer", title = "Dispatcher Primitives for the Construction of Operating System Kernels", journal = j-ACTA-INFO, volume = "5", number = "4", pages = "237--255", day = "19", month = dec, year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", MRclass = "68N05", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Os/IMMD_IV.bib", } @Article{Giloi:1975:IGI, author = "Wolfgang K. Giloi and J. Encarna{\c{c}}{\~a}o and S. Savitt", title = "Interactive Graphics on Intelligent Terminals in a Time-Sharing Environment", journal = j-ACTA-INFO, volume = "5", number = "4", pages = "257--271", day = "19", month = dec, year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Rice:1975:PAA, author = "John R. Rice", title = "Parallel Algorithms for Adaptive Quadrature {II} Metalgorithm Correctness", journal = j-ACTA-INFO, volume = "5", number = "4", pages = "273--285", day = "19", month = dec, year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Mehlhorn:1975:NOB, author = "Kurt Mehlhorn", title = "Nearly Optimal Binary Search Trees", journal = j-ACTA-INFO, volume = "5", number = "4", pages = "287--295", day = "19", month = dec, year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/online.competitive.algorithms.bib", } @Article{Lauer:1975:FSC, author = "P. E. Lauer and Roy H. Campbell", title = "Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes", journal = j-ACTA-INFO, volume = "5", number = "4", pages = "297--332", day = "19", month = dec, year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibdate = "Wed Dec 29 21:20:34 1982", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Database/is.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Os/IMMD_IV.bib; ftp://ftp.ira.uka.de/pub/bibliography/Os/os.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/dershowitz.bib", note = "See addenda and corrigenda \cite{Lauer:1977:ACF}.", abstract = "High level programs for generating systems of cooperating concurrent processes are classified according to syntactic criteria. Their semantic characterization by means of Petri Nets, a mathematical theory of system descriptions, induces a corresponding syntactic classification on the latter. This permits the transferal of intuitively important semantical results of Petri Net theory to their corresponding programs. As a consequence it becomes possible to determine a certain kind of semantic correctness of a programm mereley by its syntactic classification. Alternate solutions to a well known synchronization problem are treated in this way.", comment = "Addenda and Corrigenda: Acta Informatica 7: 325 (1977)", keywords = "Petri-nets; Semantik; Synchronization", } @Article{Katz:1975:CLT, author = "Shmuel M. Katz and Zohar Manna", title = "A Closer Look at Termination", journal = j-ACTA-INFO, volume = "5", number = "4", pages = "333--352", day = "19", month = dec, year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/dershowitz.bib", } @Article{Deussen:1975:DCV, author = "Peter Deussen", title = "A Decidability Criterion for {van Wijngaarden} Grammars", journal = j-ACTA-INFO, volume = "5", number = "4", pages = "353--375", day = "19", month = dec, year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Ginsburg:1975:SGF, author = "Seymour Ginsburg and Edwin H. Spanier", title = "Substitution of Grammar Forms", journal = j-ACTA-INFO, volume = "5", number = "4", pages = "377--386", day = "19", month = dec, year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Schuler:1975:NDC, author = "P. F. Schuler", title = "A Note on Degrees of Context-Sensitivity", journal = j-ACTA-INFO, volume = "5", number = "4", pages = "387--394", day = "19", month = dec, year = "1975", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Coffman:1976:AMM, author = "E. G. {Coffman, Jr.} and Ravi Sethi", title = "Algorithms Minimizing Mean Flow Time: Schedule Length Properties", journal = j-ACTA-INFO, volume = "6", number = "1", pages = "1--14", day = "31", month = mar, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/att.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", note = "ctr127", } @Article{Neuhold:1976:SPC, author = "Erich J. Neuhold and T. Weller", title = "Specification and Proving of Command Programs", journal = j-ACTA-INFO, volume = "6", number = "1", pages = "15--40", day = "31", month = mar, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Darlington:1976:SWA, author = "John L. Darlington and Rod M. Burstall", title = "A System which Automatically Improves Programs", journal = j-ACTA-INFO, volume = "6", number = "1", pages = "41--60", day = "31", month = mar, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Ai/Learning.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/Functional.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/lisp.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/Functional.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/dershowitz.bib", abstract = "Here we given methods of mechanically converting programs that are easy to understand into more efficient ones, converting recursion equations using high level operations into lower level flowchart programs. The main transformations involved are \begin{enumerate} \item recursion removal \item eliminating common subexpressions and combining loops \item replacing procedure calls by thier bodies \item introducing assignments which overwrite list cells no longer in use (compile time garbage collection) \end{enumerate}.", checked = "19940609", keywords = "common subexpressions; compile time garbage collection; inlining; LISP; program transformation; recursion removal; transformations functional", refs = "17", sjb = "Recursion removal is achieved by requiring the programmer to use certain recursion schemata for which efficient iterative versions are known. Assuming that any pre-conditions on the use of the schemata hold, the recursive version can easily be replaced by the iterative one (See \cite{Meijer:Fokkinga:Paterson:fplca:1991} which state a number of these schemata as higher-order functions). Compile time garbage collection is achieved by expanding out expressions into a symbolic state and then symbolically evaluating this to determine which cells can be shared. An interactive system has been developed which allows a user to input a function and then apply the various transformations described in the paper. An example is given of the optimisation of a set union function and a sorting program.", source = "Dept. Library", xxnote = "Journal has authors: J. Darlington and R. M. Burstall", } @Article{Ershov:1976:AMA, author = "A. P. Ershov", title = "Axiomatics for Memory Allocation", journal = j-ACTA-INFO, volume = "6", number = "1", pages = "61--75", day = "31", month = mar, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", abstract = "In the paper, a method of labelling is applied to constructing a correct and complete transformation system, which allows one, for any program scheme, to construct systematically any permissible memory allocation for variables of the scheme. Permissible memory allocations are assumed to be such allocations that preserve all information flow connections from the initial scheme.", checked = "19940609", keywords = "memory allocation; theory", refs = "4", source = "Dept. Library", } @Article{Galil:1976:HCP, author = "Zvi Galil", title = "Hierarchies of Complete Problems", journal = j-ACTA-INFO, volume = "6", number = "1", pages = "77--88", day = "31", month = mar, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Book:1976:INA, author = "Ronald V. Book and Ashok K. Chandra", title = "Inherently Nonplanar Automata", journal = j-ACTA-INFO, volume = "6", number = "1", pages = "89--94", day = "31", month = mar, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Monien:1976:TMT, author = "Burkhard Monien", title = "Transformational Methods and their Application to Complexity Problems", journal = j-ACTA-INFO, volume = "6", number = "1", pages = "95--108", day = "31", month = mar, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", note = "See corrigenda \cite{Monien:1977:CTM}.", } @Article{Anderson:1976:SMP, author = "E. R. Anderson and F. C. Belz and E. K. Blum", title = "{SEMANOL(73)}. {A} Metalanguage for Programming the Semantics of Programming Languages", journal = j-ACTA-INFO, volume = "6", number = "2", pages = "109--131", day = "2", month = jul, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/allison.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Karr:1976:ARA, author = "Michael Karr", title = "On affine relationships among variables of a program", journal = j-ACTA-INFO, volume = "6", number = "2", pages = "133--151", day = "2", month = jul, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Moenck:1976:APH, author = "Robert T. Moenck", title = "Another Polynomial Homomorphism", journal = j-ACTA-INFO, volume = "6", number = "2", pages = "153--169", day = "2", month = jul, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Tarjan:1976:EDS, author = "Robert Endre Tarjan", title = "Edge-Disjoint Spanning Trees and Depth-First Search", journal = j-ACTA-INFO, volume = "6", number = "2", pages = "171--185", day = "2", month = jul, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Franta:1976:MAC, author = "W. R. Franta", title = "The Mathematical Analysis of the Computer System Modeled as a Two Stage Cyclic Queue", journal = j-ACTA-INFO, volume = "6", number = "2", pages = "187--209", day = "2", month = jul, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Nutt:1976:SRA, author = "Gary J. Nutt", title = "Some Resource Allocation Policies in a Multi Associative Processor", journal = j-ACTA-INFO, volume = "6", number = "3", pages = "211--225", day = "10", month = aug, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Schmid:1976:EIC, author = "Hans Albrecht Schmid", title = "On the Efficient Implementation of Conditional Critical Regions and the Construction of Monitors", journal = j-ACTA-INFO, volume = "6", number = "3", pages = "227--249", day = "10", month = aug, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Object/Nierstrasz.bib; ftp://ftp.ira.uka.de/pub/bibliography/Os/IMMD_IV.bib", abstract = "A method is presented that allows the efficient implementation of conditional critical regions combined with scheduling of the waiting processes. It is based on the knowledge of static and invariant relations that exist among the condi tional critical regions of a process system. Mathematical methods are applied in order to show the nature of these relations, and to determine them for practical applications. By collecting the conditional critical regions in a program module, a monitor is obtained. Its rather abstract user level allows clear and well structured programming style. It also shows some advantages in comparison to other monitor proposals on the implementation level.", keywords = "concurrency READ; Critical Region; Monitors", } @Article{Courtois:1976:DMP, author = "P.-J. Courtois and H. Vantilborgh", title = "A Decomposable Model of Program Paging Behaviour", journal = j-ACTA-INFO, volume = "6", number = "3", pages = "251--275", day = "10", month = aug, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Math/Matrix.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", kwds = "memory hierarchy, Markov chain, nearly uncoupled system", } @Article{Backhouse:1976:AAI, author = "Roland C. Backhouse", title = "An Alternative Approach to the Improvement of {{\em LR($k$)}} Parsers", journal = j-ACTA-INFO, volume = "6", number = "3", pages = "277--296", day = "10", month = aug, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/Compiler.Lins.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Schneider:1976:GPG, author = "Hans J{\"u}rgen Schneider and Hartmut Ehrig", title = "Grammars on Partial Graphs", journal = j-ACTA-INFO, volume = "6", number = "3", pages = "297--316", day = "10", month = aug, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/gragra.bib", added = "1996-03-13-10-09-20", } @Article{Ashcroft:1976:RPP, author = "E. A. Ashcroft and M. Clint and C. A. R. Hoare", title = "Remarks on {{\em Program Proving: Jumps and Functions}} by {M. Clint} and {C. A. R. Hoare}", journal = j-ACTA-INFO, volume = "6", number = "3", pages = "317--318", day = "10", month = aug, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/Hypatia/H/HoareCAR.bib", note = "See \cite{Clint:1972:PPJ}.", } @Article{Owicki:1976:APT, author = "Susan Speer Owicki and David Gries", editor = "Springer-Verlag", title = "An Axiomatic Proof Technique for Parallel Programs {I}", journal = j-ACTA-INFO, volume = "6", number = "4", pages = "319--340", month = "????", year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/Hypatia/G/GriesD.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/security.2.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/security.bib; ftp://ftp.ira.uka.de/pub/bibliography/SE/dependability.bib; ftp://ftp.ira.uka.de/pub/bibliography/Theory/dershowitz.bib", checked = "4 January 1994", enteredby = "Glenn S Benson (benson at dove)", timestamp = "Tue Jul 5 10:20:19 2005", } @Article{Cohen:1976:ISF, author = "Jacques Cohen and Martin Roth", title = "On the Implementation of {Strassen}'s Fast Multiplication Algorithm", journal = j-ACTA-INFO, volume = "6", number = "4", pages = "341--355", month = "????", year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/Compiler.Lins.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Dijkstra:1976:GTD, author = "Edsger W. Dijkstra", title = "On a Gauntlet Thrown by {David Gries}", journal = j-ACTA-INFO, volume = "6", number = "4", pages = "357--359", month = "????", year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Taniguchi:1976:ACS, author = "Kenichi Taniguchi and Tadeo Kasami", title = "An {$O(n)$} Algorithm for Computing the Set of Available Expressions of {$D$}-Charts", journal = j-ACTA-INFO, volume = "6", number = "4", pages = "361--364", month = "????", year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Brandwajn:1976:MVM, author = "A. Brandwajn", title = "A Model of a Virtual Memory System", journal = j-ACTA-INFO, volume = "6", number = "4", pages = "365--386", month = "????", year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Wharton:1976:RAP, author = "R. M. Wharton", title = "Resolution of Ambiguity in Parsing", journal = j-ACTA-INFO, volume = "6", number = "4", pages = "387--395", month = "????", year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Maurer:1976:GFT, author = "Hermann A. Maurer and D. Wood", title = "On Grammar Forms with Terminal Context", journal = j-ACTA-INFO, volume = "6", number = "4", pages = "397--402", month = "????", year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Heise:1976:OCA, author = "Werner Heise", title = "Optimal Codes, {$n$}-Arcs and {Laguerre} Geometry", journal = j-ACTA-INFO, volume = "6", number = "4", pages = "403--406", month = "????", year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Ehrenfeucht:1976:PCL, author = "Andrzej Ehrenfeucht and Grzegorz Rozenberg", title = "On Proving that Certain Languages are not {ETOL}", journal = j-ACTA-INFO, volume = "6", number = "4", pages = "407--415", month = "????", year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Zuczek:1976:NAP, author = "R. Zuczek", title = "A New Approach to Parallel Computing", journal = j-ACTA-INFO, volume = "7", number = "1", pages = "1--13", day = "15", month = oct, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Lamport:1976:SIP, author = "Leslie Lamport", title = "The Synchronization of Independent Processes", journal = j-ACTA-INFO, volume = "7", number = "1", pages = "15--34", day = "15", month = oct, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Gelenbe:1976:PMC, author = "Erol Gelenbe and Richard R. Muntz", title = "Probabilistic Models of Computer Systems---{Part I} (Exact Results)", journal = j-ACTA-INFO, volume = "7", number = "1", pages = "35--60", day = "15", month = oct, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Distributed/QLD/1976.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", annote = "This paper is a survey of certain known results concerning networks of queues. The choice of the topics presented has been made with special emphasis on mathematical results which can be applied to the analysis and synthesis of mathematical or simulation models of complex computer systems in which an ensemble of resources is shared among a set of user programs. The subjects covered include the Jackson, and Gordon and Newell theorems; the work\ldots{}.", date = "22/03/84", descriptors = "Queueing system; survey; analytical model", enum = "1083", language = "English", location = "RWTH-AC-DFV: TELL", references = "38", revision = "21/04/91", } @Article{Madsen:1976:LPE, author = "Ole Lehrmann Madsen and Bent Bruun Kristensen", title = "{{\em LR}}-Parsing of Extended Context Free Grammars", journal = j-ACTA-INFO, volume = "7", number = "1", pages = "61--73", day = "15", month = oct, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/allison.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", abstract = "CFG with repetition *, alternation $|$, and parenthesis =$>$ ECFG", keywords = "CFG; context free grammar; LR parser; parse; parser", } @Article{Walter:1976:GG, author = "H. K.-G. Walter", title = "Grammarforms and Grammarhomomorphisms", journal = j-ACTA-INFO, volume = "7", number = "1", pages = "75--93", day = "15", month = oct, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Schnorr:1976:NCT, author = "Claus-Peter Schnorr", title = "The Network Complexity and the {Turing} Machine Complexity of Finite Functions", journal = j-ACTA-INFO, volume = "7", number = "1", pages = "95--107", day = "15", month = oct, year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", MRclass = "03D10 68Q25 94C10", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Gaver:1976:MMM, author = "Donald P. Gaver and George Humfeld", title = "Multitype Multiprogramming Models", journal = j-ACTA-INFO, volume = "7", number = "2", pages = "111--121", month = "????", year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Gelenbe:1976:BSQ, author = "Erol Gelenbe and Guy Pujolle", title = "The Behaviour of a Single-Queue in a General Queueing Network", journal = j-ACTA-INFO, volume = "7", number = "2", pages = "123--136", month = "????", year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Distributed/QLD/1976.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", annote = "We Developed a method based on diffusion approximations in order to compute, under general conditions, the queue length distribution of a single queue in a network of queues. Several applications of this approach to computer network performance analysis and to time-sharing systems are presented. The accuracy of model predictions are evaluated by comparison with known exact results in particular cases, with simulation experiments and with the \ldots{}.", date = "22/03/84", descriptors = "Queueing network; queue length; distribution; diffusion approximation", enum = "1084", language = "English", location = "RWTH-AC-DFV: TELL", references = "18", revision = "21/04/91", } @Article{Giammo:1976:VCP, author = "Thomas Giammo", title = "Validation of a Computer Performance Model of the Exponential Queuing Network Family", journal = j-ACTA-INFO, volume = "7", number = "2", pages = "137--152", month = "????", year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Distributed/QLD/1976.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", annote = "The applicability and accuracy of a general queueing network approach to the modeling of computer performance was tested in an actual production environment. The validation exercise established that such an approach had both sufficient flexibility and precision to be used in long range planning efforts. The accuracy of the results further suggests that these techniques may be successfully extended to a wide range of uses.", date = "22/03/84", descriptors = "Exponential queueing network; application; case study", enum = "1113", language = "English", location = "RWTH-AC-DFV: TELL", references = "14", revision = "21/04/91", } @Article{Landwehr:1976:EPM, author = "Carl E. Landwehr", title = "An Endogenous Priority Model for Load Control in Combined Batch-Interactive Computer Systems", journal = j-ACTA-INFO, volume = "7", number = "2", pages = "153--166", month = "????", year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Buzen:1976:FOL, author = "Jeffrey P. Buzen", title = "Fundamental Operational Laws of Computer System Performance", journal = j-ACTA-INFO, volume = "7", number = "2", pages = "167--182", month = "????", year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibdate = "Wed Oct 7 21:23:57 1981", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Distributed/QLD/1976.bib; ftp://ftp.ira.uka.de/pub/bibliography/Distributed/simulan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib; ftp://ftp.ira.uka.de/pub/bibliography/Os/storage.bib", annote = "A number of laws are derived establish relationships between throughput, response time, device utilization space-time products and various other factors related to computer system performance. These laws are obtained through the operational method of computer system analysis. The operational method, which is formally introduced in this paper, differs significantly from the conventional stochastic modeling approach and is based on a set of \ldots{}.", date = "22/03/84", descriptors = "Operational Analysis; performance evaluation; method; Survey", enum = "485", language = "English", location = "RWTH-AC-DFV: TELL", references = "14", revision = "21/04/91", } @Article{Labetoulle:1976:SQN, author = "Jacques Labetoulle and Guy Pujolle", title = "A Study of Queueing Networks with Deterministic Service and Application to Computer Networks", journal = j-ACTA-INFO, volume = "7", number = "2", pages = "183--195", month = "????", year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Distributed/QLD/1976.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", annote = "We consider a packet-switching network as a queueing system with constant service times: that means the lengths of the packets are equal. We study such a network by isolating a particular path which we treat as tandem queueing system. Two aspects will be examined: the study of the response time of such a system, and the throughput of such a system when time-outs are used to destroy packets. The results we obtain show that when the interference \ldots{}.", date = "22/03/84", descriptors = "Tandem queue; packet switching; CYCLADES; constant service time", enum = "1844", language = "English", location = "RWTH-AC-DFV: TELL", references = "17", revision = "21/04/91", } @Article{Denning:1976:OM, author = "Peter J. Denning and Kevin C. Kahn and Jacques Leroudier and Dominique Potier and Rajan Suri", title = "Optimal Multiprogramming", journal = j-ACTA-INFO, volume = "7", number = "2", pages = "197--216", month = "????", year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Spirn:1976:MQS, author = "Jeffrey R. Spirn", title = "Multi-Queue Scheduling of Two Tasks", journal = j-ACTA-INFO, volume = "7", number = "2", pages = "217--226", month = "????", year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Welch:1976:SCM, author = "Peter D. Welch", title = "On the Self Contained Modelling of {DB/DC} Systems", journal = j-ACTA-INFO, volume = "7", number = "2", pages = "227--247", month = "????", year = "1976", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Pager:1977:PGM, author = "David Pager", title = "A Practical General Method for Constructing {{\em LR($k$)}} Parsers", journal = j-ACTA-INFO, volume = "7", number = "3", pages = "249--268", day = "20", month = jan, year = "1977", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Kern:1977:SF, author = "Werner Kern", title = "{Speicheroptimale Formel{\"u}bersetzung}. ({German}) [{Storage} Optimal Formula Translation]", journal = j-ACTA-INFO, volume = "7", number = "3", pages = "269--287", day = "20", month = jan, year = "1977", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Rosenberg:1977:SSB, author = "Arnold L. Rosenberg and Larry J. Stockmeyer", title = "Storage Schemes for Boundedly Extendible Arrays", journal = j-ACTA-INFO, volume = "7", number = "3", pages = "289--303", day = "20", month = jan, year = "1977", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib", } @Article{Kam:1977:MDF, author = "John B. Kam and Jeffrey D. Ullman", title = "Monotone Data Flow Analysis Frameworks", journal = j-ACTA-INFO, volume = "7", number = "3", pages = "305--317", day = "20", month = jan, year = "1977", CODEN = "AINFA2", ISSN = "0001-5903 (print), 1432-0525 (electronic)", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/bevan.bib; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/Compiler.Lins.bib; ftp://ftp.ira.uka.de/pub/bibli