Backhouse, R. C. An alternative approach to the improvement of LR(k) parsers. (English) Zbl 0358.68115 Acta Inf. 6, 277-296 (1976). MSC: 68Q45 68N01 PDFBibTeX XMLCite \textit{R. C. Backhouse}, Acta Inf. 6, 277--296 (1976; Zbl 0358.68115) Full Text: DOI
Karr, Michael Affine relationships among variables of a program. (English) Zbl 0358.68025 Acta Inf. 6, 133-151 (1976). MSC: 68N01 68W99 PDFBibTeX XMLCite \textit{M. Karr}, Acta Inf. 6, 133--151 (1976; Zbl 0358.68025) Full Text: DOI
Ehrenfeucht, A.; Rozenberg, G. On proving that certain languages are not ETOL. (English) Zbl 0349.68034 Acta Inf. 6, 407-415 (1976). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} and \textit{G. Rozenberg}, Acta Inf. 6, 407--415 (1976; Zbl 0349.68034) Full Text: DOI
Ershov, A. P. Axiomatics for memory allocation. (English) Zbl 0338.68034 Acta Inf. 6, 61-75 (1976). MSC: 68N01 68W99 PDFBibTeX XMLCite \textit{A. P. Ershov}, Acta Inf. 6, 61--75 (1976; Zbl 0338.68034) Full Text: DOI
Wharton, R. M. Resolution of ambiguity in parsing. (English) Zbl 0338.68016 Acta Inf. 6, 387-395 (1976). MSC: 68N01 68Q45 PDFBibTeX XMLCite \textit{R. M. Wharton}, Acta Inf. 6, 387--395 (1976; Zbl 0338.68016) Full Text: DOI
Franta, W. R. The mathematical analysis of the computer system modeled as a two stage cyclic queue. (English) Zbl 0337.68036 Acta Inf. 6, 187-209 (1976). MSC: 68Q45 60K25 PDFBibTeX XMLCite \textit{W. R. Franta}, Acta Inf. 6, 187--209 (1976; Zbl 0337.68036) Full Text: DOI
Heise, Werner Optimal codes, n-arcs and Laguerre geometry. (English) Zbl 0336.94007 Acta Inf. 6, 403-406 (1976). MSC: 94B99 51B05 05B25 PDFBibTeX XMLCite \textit{W. Heise}, Acta Inf. 6, 403--406 (1976; Zbl 0336.94007) Full Text: DOI
Dijkstra, Edsger W. On a gauntlet thrown by David Gries. (English) Zbl 0332.05001 Acta Inf. 6, 357-359 (1976). MSC: 05-04 05A05 68W99 PDFBibTeX XMLCite \textit{E. W. Dijkstra}, Acta Inf. 6, 357--359 (1976; Zbl 0332.05001) Full Text: DOI
Schneider, H. J.; Ehrig, H. Grammars on partial graphs. (English) Zbl 0329.68061 Acta Inf. 6, 297-316 (1976). MSC: 68Q45 18B20 05C99 PDFBibTeX XMLCite \textit{H. J. Schneider} and \textit{H. Ehrig}, Acta Inf. 6, 297--316 (1976; Zbl 0329.68061) Full Text: DOI
Monien, Burkhard Transformational methods and their application to complexity problems. (English) Zbl 0329.02015 Acta Inf. 6, 95-108 (1976). MSC: 03D10 68Q25 03D05 68Q45 PDFBibTeX XMLCite \textit{B. Monien}, Acta Inf. 6, 95--108 (1976; Zbl 0329.02015) Full Text: DOI
Ashcroft, E. A.; Clint, M.; Hoare, C. A. R. Remarks on ’Program proving: Jumps and functions’ by M. Clint and C.A.R. Hoare. (English) Zbl 0326.68011 Acta Inf. 6, 317-318 (1976). MSC: 68N01 PDFBibTeX XMLCite \textit{E. A. Ashcroft} et al., Acta Inf. 6, 317--318 (1976; Zbl 0326.68011) Full Text: DOI
Brandwajn, A. A model of a virtual memory system. (English) Zbl 0325.68032 Acta Inf. 6, 365-386 (1976). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Brandwajn}, Acta Inf. 6, 365--386 (1976; Zbl 0325.68032) Full Text: DOI
Darlington, J.; Burstall, R. M. A system which automatically improves programs. (English) Zbl 0323.68008 Acta Inf. 6, 41-60 (1976). MSC: 68N01 68W99 68W30 PDFBibTeX XMLCite \textit{J. Darlington} and \textit{R. M. Burstall}, Acta Inf. 6, 41--60 (1976; Zbl 0323.68008) Full Text: DOI
Taniguchi, K.; Kasami, T. An \(O(n)\) algorithm for computing the set of available expressions of D-charts. (English) Zbl 0313.68031 Acta Inf. 6, 361-364 (1976). MSC: 68W99 68N01 68Q25 PDFBibTeX XMLCite \textit{K. Taniguchi} and \textit{T. Kasami}, Acta Inf. 6, 361--364 (1976; Zbl 0313.68031) Full Text: DOI
Schmid, Hans Albrecht On the efficient implementation of conditional critical regions, and the construction of monitors. (English) Zbl 0313.68027 Acta Inf. 6, 227-249 (1976). MSC: 68N01 68Q45 PDFBibTeX XMLCite \textit{H. A. Schmid}, Acta Inf. 6, 227--249 (1976; Zbl 0313.68027) Full Text: DOI
Maurer, H. A.; Wood, D. On grammar forms with terminal context. (English) Zbl 0312.68040 Acta Inf. 6, 307-402 (1976). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. A. Maurer} and \textit{D. Wood}, Acta Inf. 6, 307--402 (1976; Zbl 0312.68040) Full Text: DOI
Nutt, Gary J. Some resource allocation policies in a multi associative processor. (English) Zbl 0312.68031 Acta Inf. 6, 211-225 (1976). MSC: 68Q45 68N01 68W99 PDFBibTeX XMLCite \textit{G. J. Nutt}, Acta Inf. 6, 211--225 (1976; Zbl 0312.68031) Full Text: DOI
Cohen, Jacques; Roth, Martin On the implementation of Strassen’s fast multiplication algorithm. (English) Zbl 0312.68026 Acta Inf. 6, 341-355 (1976). MSC: 68W99 68N01 68Q45 65K05 PDFBibTeX XMLCite \textit{J. Cohen} and \textit{M. Roth}, Acta Inf. 6, 341--355 (1976; Zbl 0312.68026) Full Text: DOI
Moenck, Robert T. Another polynomial homomorphism. (English) Zbl 0312.68024 Acta Inf. 6, 153-169 (1976). MSC: 68W99 PDFBibTeX XMLCite \textit{R. T. Moenck}, Acta Inf. 6, 153--169 (1976; Zbl 0312.68024) Full Text: DOI
Owicki, Susan; Gries, David An axiomatic proof technique for parallel programs. (English) Zbl 0312.68011 Acta Inf. 6, 319-340 (1976). MSC: 68N01 PDFBibTeX XMLCite \textit{S. Owicki} and \textit{D. Gries}, Acta Inf. 6, 319--340 (1976; Zbl 0312.68011) Full Text: DOI
Courtois, P.-J.; Vantilborgh, H. A decomposable model of program paging behaviour. (English) Zbl 0309.68059 Acta Inf. 6, 251-275 (1976). MSC: 68Q45 68N01 PDFBibTeX XMLCite \textit{P. J. Courtois} and \textit{H. Vantilborgh}, Acta Inf. 6, 251--275 (1976; Zbl 0309.68059) Full Text: DOI
Coffman, E. G. jun.; Sethi, Ravi Algorithms minimizing mean flow time: Schedule-length properties. (English) Zbl 0309.68039 Acta Inf. 6, 1-14 (1976). MSC: 68W99 68Q45 PDFBibTeX XMLCite \textit{E. G. Coffman jun.} and \textit{R. Sethi}, Acta Inf. 6, 1--14 (1976; Zbl 0309.68039) Full Text: DOI
Anderson, E. R.; Belz, F. C.; Blum, E. K. SEMANOL (73), a metalanguage for programming the semantics of programming languages. (English) Zbl 0309.68011 Acta Inf. 6, 109-131 (1976). MSC: 68N01 PDFBibTeX XMLCite \textit{E. R. Anderson} et al., Acta Inf. 6, 109--131 (1976; Zbl 0309.68011) Full Text: DOI
Tarjan, Robert Endre Edge-disjoint spanning trees and depth-first search. (English) Zbl 0307.05104 Acta Inf. 6, 171-185 (1976). MSC: 05C05 68W99 PDFBibTeX XMLCite \textit{R. E. Tarjan}, Acta Inf. 6, 171--185 (1976; Zbl 0307.05104) Full Text: DOI
Book, Ronald V.; Chandra, Ashok K. Inherently nonplanar automata. (English) Zbl 0305.94052 Acta Inf. 6, 89-94 (1976). Reviewer: Ronald V. Book (New Haven, CT) MSC: 68Q45 PDFBibTeX XMLCite \textit{R. V. Book} and \textit{A. K. Chandra}, Acta Inf. 6, 89--94 (1976; Zbl 0305.94052) Full Text: DOI
Galil, Zvi Hierarchies of complete problems. (English) Zbl 0304.68044 Acta Inf. 6, 77-88 (1976). MSC: 68W99 68T15 68Q45 PDFBibTeX XMLCite \textit{Z. Galil}, Acta Inf. 6, 77--88 (1976; Zbl 0304.68044) Full Text: DOI
Neuhold, E. J.; Weller, T. Specification and proving of command programs. (English) Zbl 0304.68024 Acta Inf. 6, 15-40 (1976). MSC: 68N01 PDFBibTeX XMLCite \textit{E. J. Neuhold} and \textit{T. Weller}, Acta Inf. 6, 15--40 (1976; Zbl 0304.68024) Full Text: DOI