Sippu, Seppo; Soisalon-Soininen, Eljas A syntax-error-handling technique and its experimental analysis. (English) Zbl 0527.68058 ACM Trans. Program. Lang. Syst. 5, 656-679 (1983). MSC: 68N20 PDFBibTeX XMLCite \textit{S. Sippu} and \textit{E. Soisalon-Soininen}, ACM Trans. Program. Lang. Syst. 5, 656--679 (1983; Zbl 0527.68058) Full Text: DOI
Giegerich, Robert A formal framework for the derivation of machine-specific optimizers. (English) Zbl 0526.68024 ACM Trans. Program. Lang. Syst. 5, 478-498 (1983). MSC: 68N25 PDFBibTeX XMLCite \textit{R. Giegerich}, ACM Trans. Program. Lang. Syst. 5, 478--498 (1983; Zbl 0526.68024) Full Text: DOI
Cohen, Norman H. Eliminating redundant recursive calls. (English) Zbl 0526.68004 ACM Trans. Program. Lang. Syst. 5, 265-299 (1983). MSC: 68N01 68R99 68T99 68R10 PDFBibTeX XMLCite \textit{N. H. Cohen}, ACM Trans. Program. Lang. Syst. 5, 265--299 (1983; Zbl 0526.68004) Full Text: DOI
Hennessy, John; Gross, Thomas Postpass code optimization of pipeline constraints. (English) Zbl 0525.68020 ACM Trans. Program. Lang. Syst. 5, 422-448 (1983). MSC: 68M20 68N25 PDFBibTeX XMLCite \textit{J. Hennessy} and \textit{T. Gross}, ACM Trans. Program. Lang. Syst. 5, 422--448 (1983; Zbl 0525.68020) Full Text: DOI
Dekel, Eliezer; Sahni, Sartaj Parallel generation of postfix and tree forms. (English) Zbl 0525.68017 ACM Trans. Program. Lang. Syst. 5, 300-317 (1983). MSC: 68W99 68N20 68N25 PDFBibTeX XMLCite \textit{E. Dekel} and \textit{S. Sahni}, ACM Trans. Program. Lang. Syst. 5, 300--317 (1983; Zbl 0525.68017) Full Text: DOI
Ossefort, Marty Correctness proofs of communicating processes: Three illustrative examples from the literature. (English) Zbl 0517.68054 ACM Trans. Program. Lang. Syst. 5, 620-640 (1983). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{M. Ossefort}, ACM Trans. Program. Lang. Syst. 5, 620--640 (1983; Zbl 0517.68054) Full Text: DOI
Sethi, Ravi Control flow aspects of semantics-directed compiling. (English) Zbl 0517.68046 ACM Trans. Program. Lang. Syst. 5, 554-595 (1983). MSC: 68N25 PDFBibTeX XMLCite \textit{R. Sethi}, ACM Trans. Program. Lang. Syst. 5, 554--595 (1983; Zbl 0517.68046) Full Text: DOI
Jones, C. B. Tentative steps toward a development method for interfering programs. (English) Zbl 0517.68032 ACM Trans. Program. Lang. Syst. 5, 596-619 (1983). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{C. B. Jones}, ACM Trans. Program. Lang. Syst. 5, 596--619 (1983; Zbl 0517.68032) Full Text: DOI
Weyuker, Elaine J. Assessing test data adequacy through program inference. (English) Zbl 0517.68031 ACM Trans. Program. Lang. Syst. 5, 641-655 (1983). MSC: 68Q60 PDFBibTeX XMLCite \textit{E. J. Weyuker}, ACM Trans. Program. Lang. Syst. 5, 641--655 (1983; Zbl 0517.68031) Full Text: DOI
Reiss, Steven P. Generation of compiler symbol processing mechanisms from specifications. (English) Zbl 0516.68029 ACM Trans. Program. Lang. Syst. 5, 127-163 (1983). MSC: 68N25 68N01 PDFBibTeX XMLCite \textit{S. P. Reiss}, ACM Trans. Program. Lang. Syst. 5, 127--163 (1983; Zbl 0516.68029) Full Text: DOI
Buckley, G. N.; Silberschatz, A. An effective implementation for the generalized input-output construct of CSP. (English) Zbl 0516.68026 ACM Trans. Program. Lang. Syst. 5, 223-235 (1983). MSC: 68N25 PDFBibTeX XMLCite \textit{G. N. Buckley} and \textit{A. Silberschatz}, ACM Trans. Program. Lang. Syst. 5, 223--235 (1983; Zbl 0516.68026) Full Text: DOI
Maher, B.; Sleeman, D. H. Automatic program improvement: Variable usage transformations. (English) Zbl 0516.68017 ACM Trans. Program. Lang. Syst. 5, 236-264 (1983). MSC: 68Q60 PDFBibTeX XMLCite \textit{B. Maher} and \textit{D. H. Sleeman}, ACM Trans. Program. Lang. Syst. 5, 236--264 (1983; Zbl 0516.68017) Full Text: DOI
Lamport, Leslie Specifying concurrent program modules. (English) Zbl 0516.68010 ACM Trans. Program. Lang. Syst. 5, 190-222 (1983). MSC: 68N01 68N25 PDFBibTeX XMLCite \textit{L. Lamport}, ACM Trans. Program. Lang. Syst. 5, 190--222 (1983; Zbl 0516.68010) Full Text: DOI
Liskov, Barbara; Scheifler, Robert Guardians and actions: Linguistic support for robust, distributed programs. (English) Zbl 0512.68027 ACM Trans. Program. Lang. Syst. 5, 381-404 (1983). MSC: 68N25 68Q60 68N01 PDFBibTeX XMLCite \textit{B. Liskov} and \textit{R. Scheifler}, ACM Trans. Program. Lang. Syst. 5, 381--404 (1983; Zbl 0512.68027) Full Text: DOI
Lipton, Richard J.; Valdes, Jacobo; Vijayan, Gopalakrishnan; North, Stephen C. VLSI layout as programming. (English) Zbl 0511.94018 ACM Trans. Program. Lang. Syst. 5, 405-421 (1983). MSC: 94C10 68N99 PDFBibTeX XMLCite \textit{R. J. Lipton} et al., ACM Trans. Program. Lang. Syst. 5, 405--421 (1983; Zbl 0511.94018) Full Text: DOI
Gottlieb, Allan; Lubachevsky, B. D.; Rudolph, Larry Basic techniques for the efficient coordination of very large numbers of cooperating sequential processors. (English) Zbl 0511.68012 ACM Trans. Program. Lang. Syst. 5, 164-189 (1983). MSC: 68N25 PDFBibTeX XMLCite \textit{A. Gottlieb} et al., ACM Trans. Program. Lang. Syst. 5, 164--189 (1983; Zbl 0511.68012) Full Text: DOI
Ganzinger, Harald Parameterized specifications: Parameter passing and imlementation with respect to observability. (English) Zbl 0511.68010 ACM Trans. Program. Lang. Syst. 5, 318-354 (1983). MSC: 68P05 PDFBibTeX XMLCite \textit{H. Ganzinger}, ACM Trans. Program. Lang. Syst. 5, 318--354 (1983; Zbl 0511.68010) Full Text: DOI
Hart, Sergiu; Sharir, Micha; Pnueli, Amir Termination of probabilistic concurrent programs. (English) Zbl 0511.68009 ACM Trans. Program. Lang. Syst. 5, 356-380 (1983). MSC: 68Q60 PDFBibTeX XMLCite \textit{S. Hart} et al., ACM Trans. Program. Lang. Syst. 5, 356--380 (1983; Zbl 0511.68009) Full Text: DOI
Gallager, R. G.; Humblet, P. A.; Spira, P. M. A distributed algorithm for minimum-weight spanning trees. (English) Zbl 0498.68040 ACM Trans. Program. Lang. Syst. 5, 66-77 (1983). MSC: 68R10 PDFBibTeX XMLCite \textit{R. G. Gallager} et al., ACM Trans. Program. Lang. Syst. 5, 66--77 (1983; Zbl 0498.68040) Full Text: DOI
Peterson, Gary L. A new solution to Lamport’s concurrent programming problem using small shared variables. (English) Zbl 0498.68011 ACM Trans. Program. Lang. Syst. 5, 56-65 (1983). MSC: 68N25 PDFBibTeX XMLCite \textit{G. L. Peterson}, ACM Trans. Program. Lang. Syst. 5, 56--65 (1983; Zbl 0498.68011) Full Text: DOI
Peterson, Gary L. Concurrent reading while writing. (English) Zbl 0498.68010 ACM Trans. Program. Lang. Syst. 5, 46-55 (1983). MSC: 68N25 PDFBibTeX XMLCite \textit{G. L. Peterson}, ACM Trans. Program. Lang. Syst. 5, 46--55 (1983; Zbl 0498.68010) Full Text: DOI Link
Merlin, Philip; Bochmann, Gregor V. On the construction of submodule specifications and communication protocols. (English) Zbl 0498.68009 ACM Trans. Program. Lang. Syst. 5, 1-25 (1983). MSC: 68N25 PDFBibTeX XMLCite \textit{P. Merlin} and \textit{G. V. Bochmann}, ACM Trans. Program. Lang. Syst. 5, 1--25 (1983; Zbl 0498.68009) Full Text: DOI
Kamin, Samuel Finaly data types and their specification. (English) Zbl 0498.68008 ACM Trans. Program. Lang. Syst. 5, 97-121 (1983). MSC: 68P05 PDFBibTeX XMLCite \textit{S. Kamin}, ACM Trans. Program. Lang. Syst. 5, 97--121 (1983; Zbl 0498.68008) Full Text: DOI
Freudenberger, Stefan M.; Schwartz, Jacob T.; Sharir, Micha Experience with the SETL optimizer. (English) Zbl 0498.68007 ACM Trans. Program. Lang. Syst. 5, 26-45 (1983). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{S. M. Freudenberger} et al., ACM Trans. Program. Lang. Syst. 5, 26--45 (1983; Zbl 0498.68007) Full Text: DOI
Kieburtz, Richard B.; Silberschatz, Abraham Access-right expressions. (English) Zbl 0498.68006 ACM Trans. Program. Lang. Syst. 5, 78-96 (1983). MSC: 68N01 68P05 68N25 68Q60 PDFBibTeX XMLCite \textit{R. B. Kieburtz} and \textit{A. Silberschatz}, ACM Trans. Program. Lang. Syst. 5, 78--96 (1983; Zbl 0498.68006) Full Text: DOI