%%% -*-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 corr