Alpern, Bowen; Schneider, Fred B. Verifying temporal properties without temporal logic. (English) Zbl 0676.68003 ACM Trans. Program. Lang. Syst. 11, No. 1, 147-167 (1989). Reviewer: S.Gottwald MSC: 68N01 68Q60 68Q45 PDFBibTeX XMLCite \textit{B. Alpern} and \textit{F. B. Schneider}, ACM Trans. Program. Lang. Syst. 11, No. 1, 147--167 (1989; Zbl 0676.68003) Full Text: DOI Link
Back, R. J. R.; Kurki-Suonio, R. Distributed cooperation with action systems. (English) Zbl 0663.68028 ACM Trans. Program. Lang. Syst. 10, No. 4, 513-554 (1988). MSC: 68N25 68Q60 68Q65 PDFBibTeX XMLCite \textit{R. J. R. Back} and \textit{R. Kurki-Suonio}, ACM Trans. Program. Lang. Syst. 10, No. 4, 513--554 (1988; Zbl 0663.68028) Full Text: DOI Link
Inoue, Katsuro; Seki, Hiroyuki; Yagi, Hikaru Analysis of functional programs to detect run-time garbage cells. (English) Zbl 0663.68021 ACM Trans. Program. Lang. Syst. 10, No. 4, 555-578 (1988). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{K. Inoue} et al., ACM Trans. Program. Lang. Syst. 10, No. 4, 555--578 (1988; Zbl 0663.68021) Full Text: DOI Link
Reps, Thomas; Demers, Alan Sublinear-space evaluation algorithms for attribute grammars. (English) Zbl 0633.68005 ACM Trans. Program. Lang. Syst. 9, 408-440 (1987). MSC: 68Q60 68N20 68N01 PDFBibTeX XMLCite \textit{T. Reps} and \textit{A. Demers}, ACM Trans. Program. Lang. Syst. 9, 408--440 (1987; Zbl 0633.68005) Full Text: DOI Link Link
Loeckx, Jacques Algorithmic specificatons: A constitutive specification method for abstract data types. (English) Zbl 0631.68020 ACM Trans. Program. Lang. Syst. 9, 646-685 (1987). MSC: 68P05 PDFBibTeX XMLCite \textit{J. Loeckx}, ACM Trans. Program. Lang. Syst. 9, 646--685 (1987; Zbl 0631.68020) Full Text: DOI Link
Allen, Randy; Kennedy, Ken Automatic translation of FORTRAN programs to vector form. (English) Zbl 0631.68019 ACM Trans. Program. Lang. Syst. 9, 491-542 (1987). MSC: 68Q60 PDFBibTeX XMLCite \textit{R. Allen} and \textit{K. Kennedy}, ACM Trans. Program. Lang. Syst. 9, 491--542 (1987; Zbl 0631.68019) Full Text: DOI Link
Cuny, Janice E.; Snyder, Lawrence Conversion from data-driven to synchronous execution in loop programs. (English) Zbl 0631.68017 ACM Trans. Program. Lang. Syst. 9, 599-617 (1987). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{J. E. Cuny} and \textit{L. Snyder}, ACM Trans. Program. Lang. Syst. 9, 599--617 (1987; Zbl 0631.68017) Full Text: DOI Link
Bic, Lubomir; Lee, Craig A data-driven model for a subset of logic programming. (English) Zbl 0631.68014 ACM Trans. Program. Lang. Syst. 9, 618-645 (1987). MSC: 68Q60 68N01 68P20 PDFBibTeX XMLCite \textit{L. Bic} and \textit{C. Lee}, ACM Trans. Program. Lang. Syst. 9, 618--645 (1987; Zbl 0631.68014) Full Text: DOI Link
Wing, Jeannette M. Writing Larch interface language specifications. (English) Zbl 0627.68014 ACM Trans. Program. Lang. Syst. 9, 1-24 (1987). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{J. M. Wing}, ACM Trans. Program. Lang. Syst. 9, 1--24 (1987; Zbl 0627.68014) Full Text: DOI Link
Broy, Manfred; Wirsing, Martin; Pepper, Peter On the algebraic definition of programming languages. (English) Zbl 0627.68009 ACM Trans. Program. Lang. Syst. 9, 54-99 (1987). MSC: 68N01 68Q60 68P05 PDFBibTeX XMLCite \textit{M. Broy} et al., ACM Trans. Program. Lang. Syst. 9, 54--99 (1987; Zbl 0627.68009) Full Text: DOI Link
Banerjee, Debasish A methodology for snythesis of recursive functional programs. (English) Zbl 0623.68013 ACM Trans. Program. Lang. Syst. 9, 441-462 (1987). MSC: 68Q60 PDFBibTeX XMLCite \textit{D. Banerjee}, ACM Trans. Program. Lang. Syst. 9, 441--462 (1987; Zbl 0623.68013) Full Text: DOI Link
Ferrante, Jeanne; Ottenstein, Karl J.; Warren, Joe D. The program dependence graph and its use in optimization. (English) Zbl 0623.68012 ACM Trans. Program. Lang. Syst. 9, 319-349 (1987). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{J. Ferrante} et al., ACM Trans. Program. Lang. Syst. 9, 319--349 (1987; Zbl 0623.68012) Full Text: DOI Link
Yemini, Shaula; Berry, Daniel M. An axiomatic treatment of exception handling in an expression-oriented language. (English) Zbl 0623.68010 ACM Trans. Program. Lang. Syst. 9, 390-407 (1987). MSC: 68N01 PDFBibTeX XMLCite \textit{S. Yemini} and \textit{D. M. Berry}, ACM Trans. Program. Lang. Syst. 9, 390--407 (1987; Zbl 0623.68010) Full Text: DOI Link
Apt, Krzysztof R. Correctnss proofs of distributed termination algorithms. (English) Zbl 0599.68017 ACM Trans. Program. Lang. Syst. 8, 388-405 (1986). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{K. R. Apt}, ACM Trans. Program. Lang. Syst. 8, 388--405 (1986; Zbl 0599.68017) Full Text: DOI Link
Chandy, Mani; Misra, Jayadev An example of stepwise refinement of distributed programs: quiescence detection. (English) Zbl 0598.68031 ACM Trans. Program. Lang. Syst. 8, 326-343 (1986). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{M. Chandy} and \textit{J. Misra}, ACM Trans. Program. Lang. Syst. 8, 326--343 (1986; Zbl 0598.68031) Full Text: DOI Link
Hennessy, Matthew Proving systolic systems correct. (English) Zbl 0598.68030 ACM Trans. Program. Lang. Syst. 8, 344-387 (1986). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{M. Hennessy}, ACM Trans. Program. Lang. Syst. 8, 344--387 (1986; Zbl 0598.68030) Full Text: DOI Link
Turchin, Valentin F. The concept of a supercompiler. (English) Zbl 0598.68016 ACM Trans. Program. Lang. Syst. 8, 292-325 (1986). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{V. F. Turchin}, ACM Trans. Program. Lang. Syst. 8, 292--325 (1986; Zbl 0598.68016) Full Text: DOI Link
Pingali, Keshav; Arvind Efficient demand-driven evaluation. II. (English) Zbl 0596.68024 ACM Trans. Program. Lang. Syst. 8, 109-139 (1986). MSC: 68Q60 PDFBibTeX XMLCite \textit{K. Pingali} and \textit{Arvind}, ACM Trans. Program. Lang. Syst. 8, 109--139 (1986; Zbl 0596.68024) Full Text: DOI Link
Pingali, Keshav; Arvind Clarification of ”Feeding inputs on demand” in efficient demand-driven evaluation. I. (English) Zbl 0596.68023 ACM Trans. Program. Lang. Syst. 8, 140-141 (1986). MSC: 68Q60 PDFBibTeX XMLCite \textit{K. Pingali} and \textit{Arvind}, ACM Trans. Program. Lang. Syst. 8, 140--141 (1986; Zbl 0596.68023) Full Text: DOI Link
Clarke, E. M.; Emerson, E. A.; Sistla, A. P. Automatic verification of finite-state concurrent systems using temporal logic specifications. (English) Zbl 0591.68027 ACM Trans. Program. Lang. Syst. 8, 244-263 (1986). MSC: 68N25 PDFBibTeX XMLCite \textit{E. M. Clarke} et al., ACM Trans. Program. Lang. Syst. 8, 244--263 (1986; Zbl 0591.68027) Full Text: DOI Link
Chirica, Laurian M.; Martin, David F. Toward compiler implementation correctness proofs. (English) Zbl 0591.68014 ACM Trans. Program. Lang. Syst. 8, 185-214 (1986). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{L. M. Chirica} and \textit{D. F. Martin}, ACM Trans. Program. Lang. Syst. 8, 185--214 (1986; Zbl 0591.68014) Full Text: DOI Link
Nielson, Flemming Program transformations in a denotational setting. (English) Zbl 0566.68013 ACM Trans. Program. Lang. Syst. 7, 359-379 (1985). MSC: 68Q60 PDFBibTeX XMLCite \textit{F. Nielson}, ACM Trans. Program. Lang. Syst. 7, 359--379 (1985; Zbl 0566.68013) Full Text: DOI Link Link
Dershowitz, Nachum Program abstraction and instantiation. (English) Zbl 0566.68012 ACM Trans. Program. Lang. Syst. 7, 446-477 (1985). MSC: 68Q60 PDFBibTeX XMLCite \textit{N. Dershowitz}, ACM Trans. Program. Lang. Syst. 7, 446--477 (1985; Zbl 0566.68012) Full Text: DOI Link
Schmidt, David A. Detecting global variables in denotational specifications. (English) Zbl 0562.68008 ACM Trans. Program. Lang. Syst. 7, 299-310 (1985). MSC: 68N01 68Q60 68P05 PDFBibTeX XMLCite \textit{D. A. Schmidt}, ACM Trans. Program. Lang. Syst. 7, 299--310 (1985; Zbl 0562.68008) Full Text: DOI Link
Bergeretti, Jean-François; Carré, Bernard A. Information-flow and data-flow analysis of while-programs. (English) Zbl 0559.68014 ACM Trans. Program. Lang. Syst. 7, 37-61 (1985). MSC: 68Q60 PDFBibTeX XMLCite \textit{J.-F. Bergeretti} and \textit{B. A. Carré}, ACM Trans. Program. Lang. Syst. 7, 37--61 (1985; Zbl 0559.68014) Full Text: DOI Link Link
Bates, Joseph L.; Constable, Robert L. Proofs as programs. (English) Zbl 0555.68003 ACM Trans. Program. Lang. Syst. 7, 113-136 (1985). Reviewer: R.Nabert MSC: 68N01 68T15 68Q65 68T20 PDFBibTeX XMLCite \textit{J. L. Bates} and \textit{R. L. Constable}, ACM Trans. Program. Lang. Syst. 7, 113--136 (1985; Zbl 0555.68003) Full Text: DOI Link
Georgeff, Michael Transformations and reduction strategies for typed lambda expressions. (English) Zbl 0555.68007 ACM Trans. Program. Lang. Syst. 6, 603-631 (1984). Reviewer: J.Zlatuska MSC: 68Q60 03B40 68Q65 68Q05 68Q25 PDFBibTeX XMLCite \textit{M. Georgeff}, ACM Trans. Program. Lang. Syst. 6, 603--631 (1984; Zbl 0555.68007) Full Text: DOI
Soundararajan, N. Axiomatic semantics of communicating sequential processes. (English) Zbl 0542.68013 ACM Trans. Program. Lang. Syst. 6, 647-662 (1984). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{N. Soundararajan}, ACM Trans. Program. Lang. Syst. 6, 647--662 (1984; Zbl 0542.68013) Full Text: DOI
Bird, R. S. The promotion and accumulation strategies in transformational programming. (English) Zbl 0542.68006 ACM Trans. Program. Lang. Syst. 6, 487-504 (1984). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{R. S. Bird}, ACM Trans. Program. Lang. Syst. 6, 487--504 (1984; Zbl 0542.68006) Full Text: DOI
Ramanath, M. V. S.; Solomon, Marvin Jump minimization in linear time. (English) Zbl 0542.68005 ACM Trans. Program. Lang. Syst. 6, 527-545 (1984). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{M. V. S. Ramanath} and \textit{M. Solomon}, ACM Trans. Program. Lang. Syst. 6, 527--545 (1984; Zbl 0542.68005) Full Text: DOI
Ben-Ari, Mordechai Algorithms for on-the-fly garbage collection. (English) Zbl 0536.68030 ACM Trans. Program. Lang. Syst. 6, 333-344 (1984). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{M. Ben-Ari}, ACM Trans. Program. Lang. Syst. 6, 333--344 (1984; Zbl 0536.68030) Full Text: DOI
Schlichting, Richard D.; Schneider, Fred B. Using message passing for distributed programming: Proof rules and disciplines. (English) Zbl 0536.68023 ACM Trans. Program. Lang. Syst. 6, 402-431 (1984). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{R. D. Schlichting} and \textit{F. B. Schneider}, ACM Trans. Program. Lang. Syst. 6, 402--431 (1984; Zbl 0536.68023) Full Text: DOI
Apt, Krzysztof R.; Francez, Nissim Modeling the distributed termination convention of CSP. (English) Zbl 0536.68018 ACM Trans. Program. Lang. Syst. 6, 370-379 (1984). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{K. R. Apt} and \textit{N. Francez}, ACM Trans. Program. Lang. Syst. 6, 370--379 (1984; Zbl 0536.68018) Full Text: DOI Link
Manna, Zohar; Wolper, Pierre Synthesis of communicating processes from temporal logic specifications. (English) Zbl 0522.68030 ACM Trans. Program. Lang. Syst. 6, 68-93 (1984). MSC: 68Q85 03B44 68Q60 PDFBibTeX XMLCite \textit{Z. Manna} and \textit{P. Wolper}, ACM Trans. Program. Lang. Syst. 6, 68--93 (1984; Zbl 0522.68030) Full Text: DOI
Constable, Robert L.; Zlatin, Daniel R. The type theory of PL/CV3. (English) Zbl 0522.68020 ACM Trans. Program. Lang. Syst. 6, 94-117 (1984). MSC: 68Q60 68N01 68Q65 03B15 03B40 PDFBibTeX XMLCite \textit{R. L. Constable} and \textit{D. R. Zlatin}, ACM Trans. Program. Lang. Syst. 6, 94--117 (1984; Zbl 0522.68020) Full Text: DOI
Colussi, L. Recursion as an effective step in program development. (English) Zbl 0522.68016 ACM Trans. Program. Lang. Syst. 6, 55-67 (1984). MSC: 68Q60 PDFBibTeX XMLCite \textit{L. Colussi}, ACM Trans. Program. Lang. Syst. 6, 55--67 (1984; Zbl 0522.68016) Full Text: DOI
Cameron, Robert D.; Ito, M. Robert Grammar-based definition of metaprogramming systems. (English) Zbl 0522.68015 ACM Trans. Program. Lang. Syst. 6, 20-54 (1984). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{R. D. Cameron} and \textit{M. R. Ito}, ACM Trans. Program. Lang. Syst. 6, 20--54 (1984; Zbl 0522.68015) 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
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
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
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
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
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
Thatcher, J. W.; Wagner, E. G.; Wright, J. B. Data type specification: Parameterization and the power of specification techniques. (English) Zbl 0495.68020 ACM Trans. Program. Lang. Syst. 4, 711-732 (1982). MSC: 68P05 68Q60 PDFBibTeX XMLCite \textit{J. W. Thatcher} et al., ACM Trans. Program. Lang. Syst. 4, 711--732 (1982; Zbl 0495.68020) Full Text: DOI
Mallgren, William R. Formal specification of graphic data types. (English) Zbl 0494.68016 ACM Trans. Program. Lang. Syst. 4, 687-710 (1982). MSC: 68Q60 68P05 68N01 PDFBibTeX XMLCite \textit{W. R. Mallgren}, ACM Trans. Program. Lang. Syst. 4, 687--710 (1982; Zbl 0494.68016) Full Text: DOI
Baker, T. P. A one-pass algorithm for overload resolution in Ada. (English) Zbl 0492.68030 ACM Trans. Program. Lang. Syst. 4, 601-614 (1982). MSC: 68N25 68N01 68Q60 PDFBibTeX XMLCite \textit{T. P. Baker}, ACM Trans. Program. Lang. Syst. 4, 601--614 (1982; Zbl 0492.68030) Full Text: DOI
Williams, John H. On the development of the algebra of functional programs. (English) Zbl 0492.68018 ACM Trans. Program. Lang. Syst. 4, 733-757 (1982). MSC: 68Q60 PDFBibTeX XMLCite \textit{J. H. Williams}, ACM Trans. Program. Lang. Syst. 4, 733--757 (1982; Zbl 0492.68018) Full Text: DOI
Dewar, Robert B. K.; Sharir, Micha; Weixelbaum, Elia Transformational derivation of a garbage collection algorithm. (English) Zbl 0492.68015 ACM Trans. Program. Lang. Syst. 4, 650-667 (1982). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{R. B. K. Dewar} et al., ACM Trans. Program. Lang. Syst. 4, 650--667 (1982; Zbl 0492.68015) Full Text: DOI
Boom, H. J. A weaker precondition for loops. (English) Zbl 0492.68014 ACM Trans. Program. Lang. Syst. 4, 668-677 (1982). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{H. J. Boom}, ACM Trans. Program. Lang. Syst. 4, 668--677 (1982; Zbl 0492.68014) Full Text: DOI
Hennessy, John Symbolic debugging of optimized code. (English) Zbl 0484.68011 ACM Trans. Program. Lang. Syst. 4, 323-344 (1982). MSC: 68Q60 68N25 68N99 PDFBibTeX XMLCite \textit{J. Hennessy}, ACM Trans. Program. Lang. Syst. 4, 323--344 (1982; Zbl 0484.68011) Full Text: DOI
Paige, Robert; Koenig, Shaye Finite differencing of computable expressions. (English) Zbl 0484.68009 ACM Trans. Program. Lang. Syst. 4, 402-454 (1982). MSC: 68Q60 PDFBibTeX XMLCite \textit{R. Paige} and \textit{S. Koenig}, ACM Trans. Program. Lang. Syst. 4, 402--454 (1982; Zbl 0484.68009) Full Text: DOI
Owicki, Susan; Lamport, Leslie Proving liveness properties of concurrent programs. (English) Zbl 0483.68013 ACM Trans. Program. Lang. Syst. 4, 455-495 (1982). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{S. Owicki} and \textit{L. Lamport}, ACM Trans. Program. Lang. Syst. 4, 455--495 (1982; Zbl 0483.68013) Full Text: DOI
Hoffmann, Christoph M.; O’Donnell, Michael J. Programming with equations. (English) Zbl 0481.68008 ACM Trans. Program. Lang. Syst. 4, 83-112 (1982). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{C. M. Hoffmann} and \textit{M. J. O'Donnell}, ACM Trans. Program. Lang. Syst. 4, 83--112 (1982; Zbl 0481.68008) Full Text: DOI
Feather, Martin S. A system for assisting program transformation. (English) Zbl 0479.68014 ACM Trans. Program. Lang. Syst. 4, 1-20 (1982). MSC: 68Q60 PDFBibTeX XMLCite \textit{M. S. Feather}, ACM Trans. Program. Lang. Syst. 4, 1--20 (1982; Zbl 0479.68014) Full Text: DOI
Greif, Irene; Meyer, Albert R. Specifying the semantics of while programs: a tutorial and critique of a paper by Hoare and Lauer. (English) Zbl 0471.68007 ACM Trans. Program. Lang. Syst. 3, 484-507 (1981). MSC: 68Q60 68N01 68Q65 PDFBibTeX XMLCite \textit{I. Greif} and \textit{A. R. Meyer}, ACM Trans. Program. Lang. Syst. 3, 484--507 (1981; Zbl 0471.68007) Full Text: DOI
Apt, Krzysztof R. Ten years of Hoare’s logic: A survey - Part 1. (English) Zbl 0471.68006 ACM Trans. Program. Lang. Syst. 3, 431-483 (1981). MSC: 68Q60 68N01 68Q65 PDFBibTeX XMLCite \textit{K. R. Apt}, ACM Trans. Program. Lang. Syst. 3, 431--483 (1981; Zbl 0471.68006) Full Text: DOI
Misra, Jayadev An exercise in program explanation. (English) Zbl 0454.68004 ACM Trans. Program. Lang. Syst. 3, 104-108 (1981). MSC: 68Q60 68Q25 PDFBibTeX XMLCite \textit{J. Misra}, ACM Trans. Program. Lang. Syst. 3, 104--108 (1981; Zbl 0454.68004) Full Text: DOI
Juelich, Otto C.; Foulk, Clinton R. Compilation of acyclic smooth programs for parallel execution. (English) Zbl 0452.68017 ACM Trans. Program. Lang. Syst. 3, 24-48 (1981). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{O. C. Juelich} and \textit{C. R. Foulk}, ACM Trans. Program. Lang. Syst. 3, 24--48 (1981; Zbl 0452.68017) Full Text: DOI
Schonberg, Edmond; Schwartz, Jacob T.; Sharir, Micha An automatic technique for selection of data representations in SETL programs. (English) Zbl 0452.68010 ACM Trans. Program. Lang. Syst. 3, 126-143 (1981). MSC: 68N01 68Q60 68P05 PDFBibTeX XMLCite \textit{E. Schonberg} et al., ACM Trans. Program. Lang. Syst. 3, 126--143 (1981; Zbl 0452.68010) Full Text: DOI
Andrews, Gregory R.; Reitman, Richard P. An axiomatic approach to information flow in programs. (English) Zbl 0468.68034 ACM Trans. Program. Lang. Syst. 2, 56-76 (1980). MSC: 68N25 68Q60 68Q65 PDFBibTeX XMLCite \textit{G. R. Andrews} and \textit{R. P. Reitman}, ACM Trans. Program. Lang. Syst. 2, 56--76 (1980; Zbl 0468.68034) Full Text: DOI
Francez, Nissim Distributed termination. (English) Zbl 0468.68025 ACM Trans. Program. Lang. Syst. 2, 42-55 (1980). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{N. Francez}, ACM Trans. Program. Lang. Syst. 2, 42--55 (1980; Zbl 0468.68025) Full Text: DOI
Clarke, Edmund Melson jun. Synthesis of resource invariants for concurrent programs. (English) Zbl 0468.68024 ACM Trans. Program. Lang. Syst. 2, 338-358 (1980). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{E. M. Clarke jun.}, ACM Trans. Program. Lang. Syst. 2, 338--358 (1980; Zbl 0468.68024) Full Text: DOI
Apt, Krzysztof R.; Francez, Nissim; De Roever, Willem P. A proof system for communicating sequential processes. (English) Zbl 0468.68023 ACM Trans. Program. Lang. Syst. 2, 359-385 (1980). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{K. R. Apt} et al., ACM Trans. Program. Lang. Syst. 2, 359--385 (1980; Zbl 0468.68023) Full Text: DOI Link
Ernst, George W.; Ogden, William F. Specification of abstract data types in MODULA. (English) Zbl 0468.68020 ACM Trans. Program. Lang. Syst. 2, 522-543 (1980). MSC: 68P05 68Q60 PDFBibTeX XMLCite \textit{G. W. Ernst} and \textit{W. F. Ogden}, ACM Trans. Program. Lang. Syst. 2, 522--543 (1980; Zbl 0468.68020) Full Text: DOI
Broy, Manfred; Krieg-Brückner, Bernd Derivation of invariant assertions during program development by transformation. (English) Zbl 0468.68016 ACM Trans. Program. Lang. Syst. 2, 321-337 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{M. Broy} and \textit{B. Krieg-Brückner}, ACM Trans. Program. Lang. Syst. 2, 321--337 (1980; Zbl 0468.68016) Full Text: DOI
Harel, David And/or programs: A new approach to structured programming. (English) Zbl 0468.68015 ACM Trans. Program. Lang. Syst. 2, 1-17 (1980). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{D. Harel}, ACM Trans. Program. Lang. Syst. 2, 1--17 (1980; Zbl 0468.68015) Full Text: DOI
Luckham, D. C.; Polak, W. Ada exception handling: An axiomatic approach. (English) Zbl 0468.68014 ACM Trans. Program. Lang. Syst. 2, 225-233 (1980). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{D. C. Luckham} and \textit{W. Polak}, ACM Trans. Program. Lang. Syst. 2, 225--233 (1980; Zbl 0468.68014) Full Text: DOI
Manna, Zohar; Waldinger, Richard A deductive approach to program synthesis. (English) Zbl 0468.68009 ACM Trans. Program. Lang. Syst. 2, 90-121 (1980). MSC: 68Q60 68T20 68T15 68Q65 PDFBibTeX XMLCite \textit{Z. Manna} and \textit{R. Waldinger}, ACM Trans. Program. Lang. Syst. 2, 90--121 (1980; Zbl 0468.68009) Full Text: DOI
Gries, David; Levin, Gary Assignment and procedure call proof rules. (English) Zbl 0468.68006 ACM Trans. Program. Lang. Syst. 2, 564-579 (1980). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{D. Gries} and \textit{G. Levin}, ACM Trans. Program. Lang. Syst. 2, 564--579 (1980; Zbl 0468.68006) Full Text: DOI
Casanova, Marco A.; Bernstein, Philip A. A formal system for reasoning about programs accessing a relational database. (English) Zbl 0462.68085 ACM Trans. Program. Lang. Syst. 2, 386-414 (1980). MSC: 68P20 68N25 68Q65 03B60 68Q60 03B10 PDFBibTeX XMLCite \textit{M. A. Casanova} and \textit{P. A. Bernstein}, ACM Trans. Program. Lang. Syst. 2, 386--414 (1980; Zbl 0462.68085) Full Text: DOI
Lamport, Leslie A new approach to proving the correctness of multiprocess programs. (English) Zbl 0463.68022 ACM Trans. Program. Lang. Syst. 1, 84-97 (1979). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{L. Lamport}, ACM Trans. Program. Lang. Syst. 1, 84--97 (1979; Zbl 0463.68022) Full Text: DOI
Constable, Robert L.; Donahue, James E. A hierarchical approach to formal semantics with application to the definition of PL/CS. (English) Zbl 0463.68013 ACM Trans. Program. Lang. Syst. 1, 98-114 (1979). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{R. L. Constable} and \textit{J. E. Donahue}, ACM Trans. Program. Lang. Syst. 1, 98--114 (1979; Zbl 0463.68013) Full Text: DOI
Luckham, David C.; Suzuki, Norihisa Verification of array, record, and pointer operations in Pascal. (English) Zbl 0452.68014 ACM Trans. Program. Lang. Syst. 1, 226-244 (1979). MSC: 68Q60 68P05 PDFBibTeX XMLCite \textit{D. C. Luckham} and \textit{N. Suzuki}, ACM Trans. Program. Lang. Syst. 1, 226--244 (1979; Zbl 0452.68014) Full Text: DOI
Nelson, Greg; Oppen, Derek C. Simplification by cooperating decision procedures. (English) Zbl 0452.68013 ACM Trans. Program. Lang. Syst. 1, 245-257 (1979). MSC: 68Q60 68Q65 68W30 68Q25 PDFBibTeX XMLCite \textit{G. Nelson} and \textit{D. C. Oppen}, ACM Trans. Program. Lang. Syst. 1, 245--257 (1979; Zbl 0452.68013) Full Text: DOI
Gries, David Is sometime ever better than alway? (English) Zbl 0452.68012 ACM Trans. Program. Lang. Syst. 1, 258-265 (1979). MSC: 68Q60 PDFBibTeX XMLCite \textit{D. Gries}, ACM Trans. Program. Lang. Syst. 1, 258--265 (1979; Zbl 0452.68012) Full Text: DOI