Bierbaum, Fritz About the transformation of interval programs into convergent interval programs. (English) Zbl 0551.65023 Interval mathematics, Proc. int. Symp., Freiburg/Ger. 1980, 257-266 (1980). Reviewer: H.Fischer MSC: 65G30 68W99 68Q60 PDFBibTeX XML
Erimbetov, M. M. Model-theoretic properties of languages of algorithmic logics. (Russian) Zbl 0536.03014 Theory of models and its applications, Collect. Artic., Alma-Ata 1980, 3-6 (1980). Reviewer: J.Zlatuska MSC: 03C07 03B60 68Q65 68Q60 PDFBibTeX XML
Damm, Werner Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen. (German) Zbl 0534.68015 Mathematisch-Naturwissenschaftliche Fakultät der Rheinisch-Westfälischen Technischen Hochschule Aachen. 222 S. (1980). MSC: 68Q60 03D05 03D55 68Q45 03B40 68Q65 PDFBibTeX XML
Nemeti, Istvan Some constructions of cylindric algebra theory applied to dynamic algebras of programs. (English) Zbl 0523.03054 Comput. Linguist. Comput. Lang. 14, 43-65 (1980). MSC: 03G15 03G25 68Q60 03G05 PDFBibTeX XMLCite \textit{I. Nemeti}, Comput. Linguist. Comput. Lang. 14, 43--65 (1980; Zbl 0523.03054)
Zielonka, Wieslaw Proving assertions about parallel programs by means of traces. (English) Zbl 0506.68021 Pr. Inst. Podstaw Inf. Pol. Akad. Nauk 424, 44 p. (1980). MSC: 68Q60 68N25 68Q85 PDFBibTeX XML
Jarzabek, S. Automatic construction of optimizers for a certain class of intermediate languages. (Polish) Zbl 0498.68013 Pr. Nauk.-Badw. Inst. Masz. Mat. 1980, No. 1, 1-82 (1980). MSC: 68N25 68Q60 PDFBibTeX XML
Golunkov, Yu. V. On precomplete classes of algorithms preserving the belonging to a set. II. (Russian) Zbl 0496.68022 Veroyatn. Metody Kibern. 17, 35-51 (1980). MSC: 68W99 68Q60 PDFBibTeX XMLCite \textit{Yu. V. Golunkov}, Veroyatn. Metody Kibern. 17, 35--51 (1980; Zbl 0496.68022) Full Text: EuDML
Val’kovskij, V. A. Practical methods for improvement of parallel programming structures. (English. Russian original) Zbl 0491.68018 Eng. Cybern. 18, No. 5, 86-91 (1980); translation from Izv. Akad. Nauk SSSR, Tekh. Kibern. 1980, No. 5, 130-137 (1980). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{V. A. Val'kovskij}, Eng. Cybern. 18, No. 5, 86--91 (1980; Zbl 0491.68018); translation from Izv. Akad. Nauk SSSR, Tekh. Kibern. 1980, No. 5, 130--137 (1980)
Biryukov, A. N.; Kurochkin, V. M.; Serebryakov, V. A. Global attributes and their use in the description of programming languages. (English) Zbl 0489.68009 U.S.S.R. Comput. Math. Math. Phys. 20, No. 5, 185-194 (1980). MSC: 68Q60 68N01 68Q45 68Q55 PDFBibTeX XMLCite \textit{A. N. Biryukov} et al., U.S.S.R. Comput. Math. Math. Phys. 20, No. 5, 185--194 (1980; Zbl 0489.68009) Full Text: DOI
Fothi, Akos; Varga, Zoltan Modelling programs via recursive functions. I. (Hungarian) Zbl 0489.68008 Alkalmazott Mat. Lapok 6, 331-336 (1980). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{A. Fothi} and \textit{Z. Varga}, Alkalmazott Mat. Lapok 6, 331--336 (1980; Zbl 0489.68008)
Gibson, J. E. Thin shells. Computing and theory. (English) Zbl 0486.73060 Structures and Solid Body Mechanics Series. Oxford etc.: Pergamon Press. IX, 289 p. hbk: £19.25; $ 43.00; pbk: £7.50; $ 18.00 (1980). MSC: 74K15 74-01 68Q60 74S05 74S30 PDFBibTeX XML
Van Leeuwen, Jan Über Programmeffizienz und algebraische Komplexitaet. (German) Zbl 0483.68017 Inf.-Spektrum 3, 172-180 (1980). MSC: 68Q60 68Q25 PDFBibTeX XML
Biryukov, A. N.; Kurochkin, V. M.; Serebryakov, V. A. Globale Attribute und ihre Verwendung bei der Definition von Programmiersprachen. (Russian) Zbl 0481.68010 Zh. Vychisl. Mat. Mat. Fiz. 20, 1284-1293 (1980). MSC: 68Q60 68N01 68Q45 68Q55 PDFBibTeX XMLCite \textit{A. N. Biryukov} et al., Zh. Vychisl. Mat. Mat. Fiz. 20, 1284--1293 (1980; Zbl 0481.68010)
Veliashvili, N. M.; Shengeliya, L. V. About one interpretation of programming languages. (Russian) Zbl 0481.68009 Soobshch. Akad. Nauk Gruz. SSR 99, 577-580 (1980). MSC: 68N01 68Q60 68Q45 PDFBibTeX XMLCite \textit{N. M. Veliashvili} and \textit{L. V. Shengeliya}, Soobshch. Akad. Nauk Gruz. SSR 99, 577--580 (1980; Zbl 0481.68009)
Cazanescu, Virgil Emil On the uniqueness of the solution of a system of context-free equations. (English) Zbl 0479.68083 An. Univ. Bucur., Mat. 29, 15-20 (1980). MSC: 68Q55 68Q60 PDFBibTeX XMLCite \textit{V. E. Cazanescu}, An. Univ. Bucur., Mat. 29, 15--20 (1980; Zbl 0479.68083)
Majster-Cederbaum, Mila E. Semantics: Algebras, fixed points, axioms. (English) Zbl 0479.68082 Automata, languages and programming, 7th Colloq., Noordwijkerhout/ Netherlands 1980, Lect. Notes Comput. Sci. 85, 394-408 (1980). MSC: 68Q55 68N01 68Q60 PDFBibTeX XML
Oppen, Derek C. Reasoning about recursively defined data structures. (English) Zbl 0477.68025 J. Assoc. Comput. Mach. 27, 403-411 (1980). MSC: 68P05 68Q60 PDFBibTeX XMLCite \textit{D. C. Oppen}, J. Assoc. Comput. Mach. 27, 403--411 (1980; Zbl 0477.68025) Full Text: DOI
Sethi, Ravi; Tang, Adrian Constructing call-by-value continuation semantics. (English) Zbl 0477.68023 J. Assoc. Comput. Mach. 27, 580-597 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{R. Sethi} and \textit{A. Tang}, J. Assoc. Comput. Mach. 27, 580--597 (1980; Zbl 0477.68023) Full Text: DOI
Beck, Heinrich Entscheidbarkeit und Komplexitaet der Funktionsgleichheit von Programmen. (Dissertation). (German) Zbl 0476.68020 Fakultät für Informatik der Universität Karlsruhe (Technische Hochschule). 220 S. (1980). MSC: 68Q60 03B25 03D15 68Q25 03D55 03D80 PDFBibTeX XML
Abramov, S. A. Models of sets of sequences and the proof of the correctness of programs. (English) Zbl 0474.68016 U.S.S.R. Comput. Math. Math. Phys. 20, No. 5, 258-262 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{S. A. Abramov}, U.S.S.R. Comput. Math. Math. Phys. 20, No. 5, 258--262 (1980; Zbl 0474.68016) Full Text: DOI
Hajek, Petr; Kalasek, Pavel; Kurka, Petr On dynamic logic. (Czech) Zbl 0473.03023 Kybernetika 16, Suppl., 40 p. (1980). MSC: 03B60 68Q65 68Q60 PDFBibTeX XML Full Text: EuDML
Damm, Werner The io- and oi-hierarchies. (English) Zbl 0471.68058 Schr. Inf. Angew. Math., Ber. 42, 232 p. (1980). MSC: 68Q45 68Q55 68Q60 PDFBibTeX XML
Kawai, Hiroya A formal system for parallel programs in discrete time and space. (English) Zbl 0469.68040 Inf. Process. Lett. 11, 204-210 (1980). MSC: 68Q65 68Q60 03B45 68N01 03C75 PDFBibTeX XMLCite \textit{H. Kawai}, Inf. Process. Lett. 11, 204--210 (1980; Zbl 0469.68040) Full Text: DOI
Nigiyan, S. A. Reducibility to free schemes. (English. Russian original) Zbl 0469.68019 Program. Comput. Software 6, 175-180 (1980); translation from Programmirovanie 1980, No. 4, 14-20 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{S. A. Nigiyan}, Program. Comput. Softw. 6, 175--180 (1980; Zbl 0469.68019); translation from Programmirovanie 1980, No. 4, 14--20 (1980)
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
Stoy, Joseph E. Foundations of denotational semantics. (English) Zbl 0468.68013 Abstract software specifications, Proc. Winter Sch., Cophenhagen 1979, Lect. Notes Comput. Sci. 86, 43-99 (1980). MSC: 68Q60 PDFBibTeX XML
Majster-Cederbaum, Mila E. A simple relation between relational and predicate transformer semantics for nondeterministic programs. (English) Zbl 0468.68012 Inf. Process. Lett. 11, 190-192 (1980). MSC: 68Q60 68Q65 PDFBibTeX XMLCite \textit{M. E. Majster-Cederbaum}, Inf. Process. Lett. 11, 190--192 (1980; Zbl 0468.68012) Full Text: DOI
Tyugu, Eh. Kh.; Kharf, M. Ya. Algorithms of structured synthesis of programs. (English. Russian original) Zbl 0468.68010 Program. Comput. Software 6, 165-175 (1980); translation from Programmirovanie 1980, No. 4, 3-13 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{Eh. Kh. Tyugu} and \textit{M. Ya. Kharf}, Program. Comput. Softw. 6, 165--175 (1980; Zbl 0468.68010); translation from Programmirovanie 1980, No. 4, 3--13 (1980)
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
Val’kovskij, V. A. Synthesis of optimal programs using computation models. (English. Russian original) Zbl 0468.68008 Program. Comput. Software 6, 303-310 (1980); translation from Programmirovanie 1980, No. 6, 303-310 (1980). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{V. A. Val'kovskij}, Program. Comput. Softw. 6, 303--310 (1980; Zbl 0468.68008); translation from Programmirovanie 1980, No. 6, 303--310 (1980)
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
Pottosin, I. V.; Yugrinova, O. V. Toward a theory of loop cleaning. (English. Russian original) Zbl 0468.68004 Program. Comput. Software 6, 223-235 (1980); translation from Programmirovanie 1980, No. 5, 3-16 (1980). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{I. V. Pottosin} and \textit{O. V. Yugrinova}, Program. Comput. Softw. 6, 223--235 (1980; Zbl 0468.68004); translation from Programmirovanie 1980, No. 5, 3--16 (1980)
Kogan, Ya. A. Modelling and evaluation of program behavior with overlapping localities. (English. Russian original) Zbl 0467.68023 Autom. Remote Control 41, 1749-1754 (1981); translation from Avtom. Telemekh. 1980, No. 12, 157-164 (1980). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{Ya. A. Kogan}, Autom. Remote Control 41, 1749--1754 (1980; Zbl 0467.68023); translation from Avtom. Telemekh. 1980, No. 12, 157--164 (1980)
Plotkin, G. D. Dijkstra’s predicate transformers and Smyth’s power domains. (English) Zbl 0467.68011 Abstract software specifications, Proc. Winter Sch., Copenhagen 1979, Lect. Notes Comput. Sci. 86, 527-553 (1980). MSC: 68Q60 68N01 68Q55 PDFBibTeX XML
Hupbach, Ulrich L. Abstract implementation of abstract data types. (English) Zbl 0467.68008 Mathematical foundations of computer science, Proc. 9th Symp., Rydzyna/Pol. 1980, Lect. Notes Comput. Sci. 88, 291-304 (1980). MSC: 68N01 68Q60 68P05 PDFBibTeX XML
Bird, R. S. Tabulation techniques for recursive programs. (English) Zbl 0466.68017 Comput. Surv. 12, 403-417 (1980). MSC: 68Q60 68Q25 68R99 PDFBibTeX XMLCite \textit{R. S. Bird}, Comput. Surv. 12, 403--417 (1980; Zbl 0466.68017)
Csirmaz, Laszlo A survey of semantics of Floyd-Hoare derivability. (English) Zbl 0466.68016 Comput. Linguist. Comput. Lang. 14, 21-42 (1980). MSC: 68Q60 68N01 03C99 68Q65 PDFBibTeX XMLCite \textit{L. Csirmaz}, Comput. Linguist. Comput. Lang. 14, 21--42 (1980; Zbl 0466.68016)
Laurinskas, Justinas An algorithm for testing the correctness of the program control flow graph. (Russian) Zbl 0464.68064 Program. EhVM 3, 113-124 (1980). MSC: 68R10 68Q60 PDFBibTeX XMLCite \textit{J. Laurinskas}, Program. ÈVM 3, 113--124 (1980; Zbl 0464.68064)
Lyapunov, A. A. On logical schemes of programs. (Russian) Zbl 0464.68023 Probl. Kibern. 37, 185-213 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{A. A. Lyapunov}, Probl. Kibern. 37, 185--213 (1980; Zbl 0464.68023)
Krinitskij, N. A. Logic schemes of programs and algorithms. (English. Russian original) Zbl 0464.68022 Program. Comput. Software 6, 119-128 (1980); translation from Programmirovanie 1980, No. 3, 3-13 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{N. A. Krinitskij}, Program. Comput. Softw. 6, 119--128 (1980; Zbl 0464.68022); translation from Programmirovanie 1980, No. 3, 3--13 (1980)
Guyard, J.; Lescanne, P. Manipulating d’arbres syntaxiques et construction de programmes PASCAL. (English) Zbl 0464.68020 Les arbres en algebre et en programmation, 5ieme Colloq., Lille 1980, 209-224 (1980). MSC: 68Q60 PDFBibTeX XML
Efimkin, K. N.; Zadykhajlo, I. B. Verification of programs written in symbolic processor language. (English. Russian original) Zbl 0464.68017 Program. Comput. Software 6, 103-110 (1980); translation from Programmirovanie 1980, No. 2, 69-77 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{K. N. Efimkin} and \textit{I. B. Zadykhajlo}, Program. Comput. Softw. 6, 103--110 (1980; Zbl 0464.68017); translation from Programmirovanie 1980, No. 2, 69--77 (1980)
Borzov, Yu. V. Program testing using symbolic execution. (English. Russian original) Zbl 0464.68016 Program. Comput. Software 6, 39-45 (1980); translation from Programmirovanie 1980, No. 1, 51-59 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{Yu. V. Borzov}, Program. Comput. Softw. 6, 39--45 (1980; Zbl 0464.68016); translation from Programmirovanie 1980, No. 1, 51--59 (1980)
Kas’yanov, V. N. Analysis of program structure. (English. Russian original) Zbl 0464.68014 Cybernetics 16, 53-67 (1980); translation from Kibernetika 1980, No. 1, 48-61 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{V. N. Kas'yanov}, Cybernetics 16, 53--67 (1980; Zbl 0464.68014); translation from Kibernetika 1980, No. 1, 48--61 (1980) Full Text: DOI
Trakhtenbrot, M. B. Transformations predefining a program. (English. Russian original) Zbl 0464.68013 Cybernetics 16, 221-228 (1980); translation from Kibernetika 1980, No. 2, 55-60 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{M. B. Trakhtenbrot}, Cybernetics 16, 221--228 (1980; Zbl 0464.68013); translation from Kibernetika 1980, No. 2, 55--60 (1980) Full Text: DOI
Pozin, B. A. A method of test structuring for debugging control programs. (English. Russian original) Zbl 0464.68012 Program. Comput. Software 6, 98-103 (1980); translation from Programmirovanie 1980, No. 2, 62-69 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{B. A. Pozin}, Program. Comput. Softw. 6, 98--103 (1980; Zbl 0464.68012); translation from Programmirovanie 1980, No. 2, 62--69 (1980)
Perminov, O. N. Mechanical programming procedures. (English. Russian original) Zbl 0464.68011 Program. Comput. Software 6, 93-97 (1980); translation from Programmirovanie 1980, No. 2, 56-61 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{O. N. Perminov}, Program. Comput. Softw. 6, 93--97 (1980; Zbl 0464.68011); translation from Programmirovanie 1980, No. 2, 56--61 (1980)
Arkhangel’skij, B. V. Certain optimization procedures on operator schemes. I. (English. Russian original) Zbl 0464.68010 Program. Comput. Software 6, 128-140 (1980); translation from Programmirovanie 1980, No. 3, 13-27 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{B. V. Arkhangel'skij}, Program. Comput. Softw. 6, 128--140 (1980; Zbl 0464.68010); translation from Programmirovanie 1980, No. 3, 13--27 (1980)
Astesiano, Egidio; Costa, Gerardo Nondeterminism and fully abstract models. (English) Zbl 0463.03024 RAIRO, Inf. Théor. 14, 323-347 (1980). MSC: 03C99 03B40 68N01 68Q60 68Q65 PDFBibTeX XMLCite \textit{E. Astesiano} and \textit{G. Costa}, RAIRO, Inf. Théor. 14, 323--347 (1980; Zbl 0463.03024) Full Text: EuDML
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
Astesiano, Egidio; Costa, Gerardo Delayed evaluation trees and their application to semantics. (English) Zbl 0462.68004 Les arbres en algebre et en programmation, 5ieme Colloq., Lille 1980, 110-118 (1980). MSC: 68Q65 68Q60 03B40 68N01 PDFBibTeX XML
Bloom, Stephen L.; Elgot, Calvin C.; Wright, Jesse B. Vector iteration in pointed iterative theories. (English) Zbl 0461.68047 SIAM J. Comput. 9, 525-540 (1980). MSC: 68Q99 18C10 68Q60 05C05 PDFBibTeX XMLCite \textit{S. L. Bloom} et al., SIAM J. Comput. 9, 525--540 (1980; Zbl 0461.68047) Full Text: DOI
Berg, H. K.; Franta, W. R.; Moher, T. G. Correctness of software - an overview. (English) Zbl 0461.68021 The use of formal specification of software, Semin. Berlin 1979, Inf.- Fachber. 36, 237-354 (1980). MSC: 68Q60 68N99 PDFBibTeX XML
Yushchenko, E. L.; Kasatkina, I. V. Current methods for proving program correctness. (English. Russian original) Zbl 0461.68020 Cybernetics 16, 832-861 (1981); translation from Kibernetika 1980, No. 6, 37-62 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{E. L. Yushchenko} and \textit{I. V. Kasatkina}, Cybernetics 16, 832--861 (1980; Zbl 0461.68020); translation from Kibernetika 1980, No. 6, 37--62 (1980) Full Text: DOI
Bierbaum, F. Über die Umformung von beliebigen Programmen in konvergente Programme. (German) Zbl 0461.68017 Z. Angew. Math. Mech. 60, T282-T283 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{F. Bierbaum}, Z. Angew. Math. Mech. 60, T282--T283 (1980; Zbl 0461.68017)
Borisenko, V. I. Translation of sequential program schemes into data-flow schemes. (English. Russian original) Zbl 0461.68016 Cybernetics 16, 502-509 (1981); translation from Kibernetika 1980, No. 4, 41-47 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{V. I. Borisenko}, Cybernetics 16, 502--509 (1980; Zbl 0461.68016); translation from Kibernetika 1980, No. 4, 41--47 (1980) Full Text: DOI
Varga, L. Synthesis of abstract algorithms. (English) Zbl 0461.68014 Acta Cybern. 5, 59-76 (1980). MSC: 68Q60 68N01 68P05 PDFBibTeX XMLCite \textit{L. Varga}, Acta Cybern. 5, 59--76 (1980; Zbl 0461.68014)
Belov, Yu. A.; Makarov, V. L.; Shelepov, V. G.; Shul’zhenko, V. B. One approach to confirmation of the adequacy of the flow chart for the algorithm of the functioning of the block diagram of a pulse information- measuring system. (English. Russian original) Zbl 0459.68055 Sov. Phys., Dokl. 25, 891-893 (1980); translation from Dokl. Akad. Nauk SSSR 255, 36-40 (1980). MSC: 68U20 68Q60 94-04 PDFBibTeX XMLCite \textit{Yu. A. Belov} et al., Sov. Phys., Dokl. 25, 891--893 (1980; Zbl 0459.68055); translation from Dokl. Akad. Nauk SSSR 255, 36--40 (1980)
Godlevskij, A. B.; Letichevskij, A. A.; Shukuryan, S. K. Reducibility of program-scheme functional equivalence on a nondegenerate basis of rank unity to the equivalence of automata with multidimensional tapes. (English. Russian original) Zbl 0459.68020 Cybernetics 16, 793-799 (1981); translation from Kibernetika 1980, No. 6, 1-7 (1980). MSC: 68Q05 68Q45 20M35 68Q60 PDFBibTeX XMLCite \textit{A. B. Godlevskij} et al., Cybernetics 16, 793--799 (1980; Zbl 0459.68020); translation from Kibernetika 1980, No. 6, 1--7 (1980) Full Text: DOI
Box, G. E. P. Sampling inference, Bayes’ inference, and robustness in the advancement of learning. (English) Zbl 0459.62008 Bayesian statistics, Proc. 1st int. Meet., Valencia 1979, 366-381 (1980). MSC: 62D05 62F15 62F35 PDFBibTeX XML
Downey, Peter J.; Sethi, Ravi; Tarjan, Robert Endre Variations on the common subexpression problem. (English) Zbl 0458.68026 J. Assoc. Comput. Mach. 27, 758-771 (1980). MSC: 68R99 68R10 68N25 68P20 68Q60 68Q25 PDFBibTeX XMLCite \textit{P. J. Downey} et al., J. Assoc. Comput. Mach. 27, 758--771 (1980; Zbl 0458.68026) Full Text: DOI
Huet, Gerard Confluent reductions: Abstract properties and applications to term rewriting systems. (English) Zbl 0458.68007 J. Assoc. Comput. Mach. 27, 797-821 (1980). MSC: 68Q65 68Q60 PDFBibTeX XMLCite \textit{G. Huet}, J. Assoc. Comput. Mach. 27, 797--821 (1980; Zbl 0458.68007) Full Text: DOI
Bracho, Felipe Continuously generated fixed points in \(P_\omega\). (English) Zbl 0458.68004 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 3, 477-489 (1980). MSC: 68Q60 68Q55 68Q99 06B99 06F25 PDFBibTeX XMLCite \textit{F. Bracho}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 3, 477--489 (1980; Zbl 0458.68004)
Dittrich, Gisbert; Merzenich, Wolfgang Unfoldments and coverings of Omega-nets. (English) Zbl 0458.68001 Les arbres en algebre et en programmation, 5ieme Colloq., Lille 1980, 200-208 (1980). MSC: 68Q60 18B20 68Q99 PDFBibTeX XML
Begay, D.; Kott, L. Preuves de programmes sans induction. (French) Zbl 0456.68018 Les arbres en algebre et en programmation, 5ieme Colloq., Lille 1980, 182-198 (1980). MSC: 68Q60 PDFBibTeX XML
Dahl, Ole-Johan Time sequences as a tool for describing program behaviour. (English) Zbl 0456.68017 Abstract software specifications, Proc. Winter Sch., Copenhagen 1979, Lect. Notes Comput. Sci. 86, 273-290 (1980). MSC: 68Q60 PDFBibTeX XML
Emerson, E. Allen; Clarke, Edmund M. Characterizing correctness properties of parallel programs using fixpoints. (English) Zbl 0456.68016 Automata, languages and programming, 7th Colloq., Noordwijkerhout/ Netherlands 1980, Lect. Notes Comput. Sci. 85, 169-181 (1980). MSC: 68Q60 PDFBibTeX XML
Cousineau, Guy An algebraic definition for control structures. (English) Zbl 0456.68015 Theor. Comput. Sci. 12, 175-192 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{G. Cousineau}, Theor. Comput. Sci. 12, 175--192 (1980; Zbl 0456.68015) Full Text: DOI
Itkin, V. Eh. A characterization of structured graphs of program jumps. (English. Russian original) Zbl 0456.68014 Sov. Phys., Dokl. 25, 80-82 (1980); translation from Dokl. Akad. Nauk SSSR 250, 1077-1080 (1980). MSC: 68Q60 68R10 PDFBibTeX XMLCite \textit{V. Eh. Itkin}, Sov. Phys., Dokl. 25, 80--82 (1980; Zbl 0456.68014); translation from Dokl. Akad. Nauk SSSR 250, 1077--1080 (1980)
Klein, Hans-Joachim Zur Charakterisierung von Programmen mit endlichen Arten. (German) Zbl 0456.68013 Mathematisch-Naturwissenschaftliche Fakultät der Christian-Albrechts- Universität zu Kiel. IV, 180 S. (1980). MSC: 68Q60 PDFBibTeX XML
Dömölki, Balint An example of hierarchical program specification. (English) Zbl 0456.68012 Abstract software specifications, Proc. Winter Sch., Copenhagen 1979, Lect. Notes Comput. Sci. 86, 333-353 (1980). MSC: 68Q60 PDFBibTeX XML
Fehr, Elfriede Lambda-Kalkül als Kontrollstruktur von Programmiersprachen. (German) Zbl 0455.68024 Mathematisch-Naturwissenschaftliche Fakultät der Rheinisch- Westfälischen Technischen Hochschule Aachen. 121 S. (1980). MSC: 68Q65 68Q45 68N01 68Q60 68Q55 PDFBibTeX XML
DeMillo, Richard A.; Lipton, Richard J.; Perlis, Alan J. Social processes and proofs of theorems and programs. (English) Zbl 0455.68017 Math. Intell. 3, 31-40 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{R. A. DeMillo} et al., Math. Intell. 3, 31--40 (1980; Zbl 0455.68017) Full Text: DOI
Newbold, Paul The equivalence of two tests of time series model adequacy. (English) Zbl 0455.62069 Biometrika 67, 463-465 (1980). MSC: 62M10 PDFBibTeX XMLCite \textit{P. Newbold}, Biometrika 67, 463--465 (1980; Zbl 0455.62069) Full Text: DOI
Culik, Karel Entry strong components and their application (in computer science). (English) Zbl 0455.05034 Combinatorics, graph theory and computing, Proc. 11th southeast. Conf., Boca Raton/Florida 1980, Vol. I, Congr. Numerantium 28, 335-350 (1980). MSC: 05C20 05C40 68Q60 68R10 PDFBibTeX XML
Curteanu, Neculai A fuzzy extension of De Bakker’s semantics. (English) Zbl 0454.68003 An. Stiint. Univ. Al. I. Cuza Iasi, N. Ser., Sect. Ia 26, 271-279 (1980). MSC: 68Q60 68Q55 PDFBibTeX XML
Plyushkyavichus, R. A. Some questions of the structural theory of proving the correctness of programs. (Russian) Zbl 0454.68002 Semiotika Inf. 14, 81-91 (1980). MSC: 68Q60 68Q65 03B15 03B99 PDFBibTeX XMLCite \textit{R. A. Plyushkyavichus}, Semiotika Inf. 14, 81--91 (1980; Zbl 0454.68002)
Bloom, Stephen L.; Elgot, Calvin C.; Wright, Jesse B. Solutions of the iteration equation and extensions of the scalar iteration operation. (English) Zbl 0454.18011 SIAM J. Comput. 9, 25-45 (1980). MSC: 18C10 68Q60 PDFBibTeX XMLCite \textit{S. L. Bloom} et al., SIAM J. Comput. 9, 25--45 (1980; Zbl 0454.18011) Full Text: DOI
Gonnet, Gaston H. Open-addressing hashing with unequal-probability keys. (English) Zbl 0453.68027 J. Comput. Syst. Sci. 21, 354-367 (1980). MSC: 68P10 68Q60 65B15 60K99 41A60 PDFBibTeX XMLCite \textit{G. H. Gonnet}, J. Comput. Syst. Sci. 21, 354--367 (1980; Zbl 0453.68027) Full Text: DOI
Arnold, Andre; Nivat, Maurice The metric space of infinite trees. Algebraic and topological properties. (English) Zbl 0453.68021 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 3, 445-475 (1980). MSC: 68Q99 68Q60 68Q55 54H99 68N01 PDFBibTeX XMLCite \textit{A. Arnold} and \textit{M. Nivat}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 3, 445--475 (1980; Zbl 0453.68021)
Winterstein, Georg; Dausmann, Manfred; Persch, Guido Deriving different unification algorithms from a specification in logic. (English) Zbl 0453.68002 Ber., Univ. Karlsruhe, Fak. Inf., Inst. Inf. II 12/80, 12 p. (1980). MSC: 68N01 68W99 68Q60 68Q65 03B10 68T15 PDFBibTeX XML
Danko, Wiktor Definability in algorithmic logic. (English) Zbl 0453.03026 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 2, 277-287 (1979). MSC: 03B60 03C40 68Q60 68W99 68Q65 68N01 PDFBibTeX XMLCite \textit{W. Danko}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 2, 277--287 (1980; Zbl 0453.03026)
Lauer, P. E.; Shields, M. W.; Best, E. Design and analysis of highly parallel and distributed systems. (English) Zbl 0452.68037 Abstract software specifications, Proc. Winter Sch., Copenhagen 1979, Lect. Notes Comput. Sci. 86, 451-503 (1980). MSC: 68N25 68Q60 68Q85 PDFBibTeX XML
Levitt, Karl N.; Robinson, Lawrence; Silverberg, Brad A. Writing simulatable specifications in SPECIAL. (English) Zbl 0452.68021 The use of formal specification of software, Semin. Berlin 1979, Inf.- Fachber. 36, 39-78 (1980). MSC: 68P05 68Q60 PDFBibTeX XML
Boyd, D. L.; Pizzarello, A.; Wood, W. T. Abstraction and refinement in RDM. (English) Zbl 0452.68020 The use of formal specification of software, Semin. Berlin 1979, Inf.- Fachber. 36, 111-149 (1980). MSC: 68Q60 68N01 68P05 PDFBibTeX XML
Boyd, D. L.; Pizzarello, A.; Wood, W. T. An overview of RDM: rational design methodology. (English) Zbl 0452.68019 The use of formal specification of software, Semin. Berlin 1979, Inf.- Fachber. 36, 79-110 (1980). MSC: 68Q60 68N01 68P05 PDFBibTeX XML
Moriconi, Mark Interactive design and verification: A message switching network example. (English) Zbl 0452.68015 The use of formal specification of software, Semin. Berlin 1979, Inf.- Fachber. 36, 355-388 (1980). MSC: 68Q60 68N25 PDFBibTeX XML
de Bakker, Jaco [De Bruin, Arie; Zucker, Jeffery] Mathematical theory of program correctness. With the assistance of Arie de Bruin and Jeffery Zucker. (English) Zbl 0452.68011 Prentice-Hall International Series in Computer Science. Englewood Cliffs, New Jersey, etc.: Prentice-Hall International. XVII, 505 p. $ 39.95; £17.95 (1980). MSC: 68-02 68Q60 PDFBibTeX XML
Skordev, D. G. Semi-combinatory spaces. (Russian) Zbl 0452.03037 C. R. Acad. Bulg. Sci. 33, 739-742 (1980). MSC: 03D75 68Q60 06F05 03D15 68Q25 68N25 68Q05 PDFBibTeX XMLCite \textit{D. G. Skordev}, C. R. Acad. Bulg. Sci. 33, 739--742 (1980; Zbl 0452.03037)
Himmelblau, D. M.; Lindsay, J. W. An evaluation of subsitute methods for derivatives in unconstrained optimization. (English) Zbl 0451.90095 Oper. Res. 28, 668-686 (1980). MSC: 90C30 65K05 68Q60 PDFBibTeX XMLCite \textit{D. M. Himmelblau} and \textit{J. W. Lindsay}, Oper. Res. 28, 668--686 (1980; Zbl 0451.90095) Full Text: DOI
Beney, J.; Frecon, L. Langage et système d’ecriture de transducteurs. (French) Zbl 0451.68048 RAIRO, Inf. 14, 379-394 (1980). MSC: 68N20 68Q60 68Q45 PDFBibTeX XMLCite \textit{J. Beney} and \textit{L. Frecon}, RAIRO, Inf. 14, 379--394 (1980; Zbl 0451.68048)
Gergely, Tamás; Úry, László Nondeterministic programming within the frame of first order classical logic. II. (English) Zbl 0451.68030 Acta Cybern. 4, No. 4, 355-375 (1980). MSC: 68Q65 68N01 68Q60 03B10 PDFBibTeX XMLCite \textit{T. Gergely} and \textit{L. Úry}, Acta Cybern. 4, No. 4, 355--375 (1980; Zbl 0451.68030) Full Text: Link
Gergely, Tamás; Úry, László Nondeterministic programming within the frame of first order classical logic. I. (English) Zbl 0451.68029 Acta Cybern. 4, No. 4, 333-354 (1980). MSC: 68Q65 68N01 68Q60 03B10 PDFBibTeX XMLCite \textit{T. Gergely} and \textit{L. Úry}, Acta Cybern. 4, No. 4, 333--354 (1980; Zbl 0451.68029) Full Text: Link