Shanthikumar, J. G. On a software availability model with imperfect maintenance. (English) Zbl 0529.90050 Oper. Res. Lett. 2, 285-290 (1984). MSC: 90B25 68Q60 PDFBibTeX XMLCite \textit{J. G. Shanthikumar}, Oper. Res. Lett. 2, 285--290 (1984; Zbl 0529.90050) Full Text: DOI
Benson, David B.; Guessarian, Irene Iterative and recursive matrix theories. (English) Zbl 0527.18004 J. Algebra 86, 302-314 (1984). MSC: 18C10 68N01 12E12 13F25 15A99 16Y60 18B20 68Q60 PDFBibTeX XMLCite \textit{D. B. Benson} and \textit{I. Guessarian}, J. Algebra 86, 302--314 (1984; Zbl 0527.18004) Full Text: DOI
Guessarian, Irène Applications of universal algebra to computer science. (English) Zbl 0526.68010 Stud. Sci. Math. Hung. 19, 321-337 (1984). MSC: 68Q60 PDFBibTeX XMLCite \textit{I. Guessarian}, Stud. Sci. Math. Hung. 19, 321--337 (1984; Zbl 0526.68010)
Apt, Krzysztof R. Ten years of Hoare’s logic: A survey. II: Nondeterminism. (English) Zbl 0523.68015 Theor. Comput. Sci. 28, 83-109 (1984). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{K. R. Apt}, Theor. Comput. Sci. 28, 83--109 (1984; Zbl 0523.68015) Full Text: DOI
Boute, Raymond T. Functional languages and their application to the description of digital systems. (English) Zbl 0522.68031 J. A 25, 27-33 (1984). MSC: 68N25 68Q60 68N01 PDFBibTeX XMLCite \textit{R. T. Boute}, J. A 25, 27--33 (1984; Zbl 0522.68031)
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
Lubachevsky, Boris D. An approach to automating the verification of compact parallel coordination programs. I. (English) Zbl 0522.68017 Acta Inf. 21, 125-169 (1984). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{B. D. Lubachevsky}, Acta Inf. 21, 125--169 (1984; Zbl 0522.68017) 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
Bergstra, J. A.; Tucker, J. V. Hoare’s logic for programming languages with two data types. (English) Zbl 0522.68012 Theor. Comput. Sci. 28, 215-221 (1984). MSC: 68N01 68Q60 68P05 68Q65 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{J. V. Tucker}, Theor. Comput. Sci. 28, 215--221 (1984; Zbl 0522.68012) Full Text: DOI Link
Hartwig, Rolf An algebraic approach to the syntax and semantics of languages with subscripted variables. (English) Zbl 0517.68029 Period. Math. Hung. 15, 61-71 (1984). MSC: 68Q60 08A55 68Q55 PDFBibTeX XMLCite \textit{R. Hartwig}, Period. Math. Hung. 15, 61--71 (1984; Zbl 0517.68029) Full Text: DOI
Tsin, Yung H.; Chin, Francis Y. A general program scheme for finding bridges. (English) Zbl 0529.68039 Inf. Process. Lett. 17, 269-272 (1983). MSC: 68R10 68Q60 68W99 68Q25 68Q05 PDFBibTeX XMLCite \textit{Y. H. Tsin} and \textit{F. Y. Chin}, Inf. Process. Lett. 17, 269--272 (1983; Zbl 0529.68039) Full Text: DOI
Gonczarowski, J. Decidable properties of monadic recursive schemas with a depth parameter. (English) Zbl 0529.68006 Trees in algebra and programming, CAAP ’83, Proc. 8th Colloq., L’Aquila/Italy 1983, Lect. Notes Comput. Sci. 159, 236-254 (1983). MSC: 68Q60 68Q45 68Q42 PDFBibTeX XML
He, Jifeng Program state transformer. II. (Chinese) Zbl 0528.68010 J. East China Norm. Univ., Nat. Sci. Ed. 1983, No. 3, 37-44 (1983). MSC: 68Q60 PDFBibTeX XMLCite \textit{J. He}, J. East China Norm. Univ., Nat. Sci. Ed. 1983, No. 3, 37--44 (1983; Zbl 0528.68010)
He, Jifeng Program state transformer. I. (Chinese) Zbl 0528.68009 J. East China Norm. Univ., Nat. Sci. Ed. 1983, No. 1, 25-36 (1983). MSC: 68Q60 PDFBibTeX XMLCite \textit{J. He}, J. East China Norm. Univ., Nat. Sci. Ed. 1983, No. 1, 25--36 (1983; Zbl 0528.68009)
Manna, Zohar; Pnueli, Amir Proving precedence properties: The temporal way. (English) Zbl 0528.68008 Automata, languages and programming, 10th Colloq., Barcelona/Spain 1983, Lect. Notes Comput. Sci. 154, 491-512 (1983). MSC: 68Q60 03B45 68Q65 PDFBibTeX XML
Andreka, H. Sharpening the characterization of the power of Floyd method. (English) Zbl 0528.68007 Logics of programs and their applications, Proc. Symp., Poznan 1980, Lect. Notes Comput. Sci. 148, 1-26 (1983). MSC: 68Q60 03B60 68Q65 03C52 03B10 03D15 PDFBibTeX XML
Valiev, M. K. On axiomatization of process logic. (English) Zbl 0528.03014 Logics of programs and their applications, Proc. Symp., Poznan 1980, Lect. Notes Comput. Sci. 148, 304-313 (1983). MSC: 03B60 68Q65 03B25 03D15 68Q60 PDFBibTeX XML
Park, D. The ”Fairness” problem and nondeterministic computing networks. (English) Zbl 0527.68012 Foundations of computer science IV. Distributed systems. Part 2: Semantics and logic, Math. Cent. Tracts 159, 133-161 (1983). MSC: 68Q60 68N25 68M20 PDFBibTeX XML
de Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch. Linear time and branching time semantics for recursion with merge. (English) Zbl 0527.68011 Automata, languages and programming, 10th Colloq., Barcelona/Spain 1983, Lect. Notes Comput. Sci. 154, 39-51 (1983). MSC: 68Q60 68P05 68N01 PDFBibTeX XML
Buj, D. B. On the emptiness problem for flow charts over memory. (Russian) Zbl 0527.68010 Dokl. Akad. Nauk Ukr. SSR, Ser. A 1983, No. 11, 72-74 (1983). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{D. B. Buj}, Dokl. Akad. Nauk Ukr. SSR, Ser. A 1983, No. 11, 72--74 (1983; Zbl 0527.68010)
Cheuk-Wai Ma, Alan; Barnard, David T. Experience with verification of parallel Modula programs. (English) Zbl 0527.68009 INFOR 21, 192-205 (1983). MSC: 68Q60 PDFBibTeX XMLCite \textit{A. Cheuk-Wai Ma} and \textit{D. T. Barnard}, INFOR 21, 192--205 (1983; Zbl 0527.68009) Full Text: DOI
Skowron, Andrzej Concurrent programs. (English) Zbl 0526.68018 Logics of programs and their applications, Proc. Symp., Poznan 1980, Lect. Notes Comput. Sci. 148, 258-269 (1983). MSC: 68N25 68Q60 PDFBibTeX XML
Semenova, T. V. Restoration of a program without loops from the tree of examples. (English. Russian original) Zbl 0526.68013 Mosc. Univ. Comput. Math. Cybern. 1983, No. 3, 64-68 (1983); translation from Vestn. Mosk. Univ., Ser. XV 1983, No. 3, 50-53 (1983). MSC: 68Q60 PDFBibTeX XMLCite \textit{T. V. Semenova}, Mosc. Univ. Comput. Math. Cybern. 1983, No. 3, 64--68 (1983; Zbl 0526.68013); translation from Vestn. Mosk. Univ., Ser. XV 1983, No. 3, 50--53 (1983)
Saukkonen, Samuli A constructive method for the architectural design and correctness verification of real-time programs. (English) Zbl 0526.68008 Acta Polytech. Scand., Math. Comput. Sci. Ser. 40, 122 p. (1983). MSC: 68Q60 68N25 PDFBibTeX XML
Francez, Nissim Product properties and their direct verification. (English) Zbl 0526.68007 Acta Inf. 20, 329-344 (1983). MSC: 68Q60 PDFBibTeX XMLCite \textit{N. Francez}, Acta Inf. 20, 329--344 (1983; Zbl 0526.68007) Full Text: DOI
Rytter, Wojciech Time complexity of two-way pushdown automata and recursive programs. (Polish) Zbl 0525.68027 Spraw. Inst. Inf. Uniw. Warsz. 128, 56 p. (1983). MSC: 68Q25 68Q05 68Q60 68Q45 PDFBibTeX XML
Padawitz, Peter Correctness, completeness and consistency of equational data type specifications. (Thesis). (English) Zbl 0525.68007 Fachbereich Informatik der Technischen Universität Berlin. 256 p. (1983). MSC: 68Q60 68Q65 68P05 PDFBibTeX XML
Manna, Zohar; Waldinger, Richard Deductive synthesis of the unification algorithm. (English) Zbl 0525.68005 Computer program synthesis methodologies, Proc. NATO Adv. Study Inst., Bonas/France 1981, NATO ASI Ser., Ser. C 95, 251-307 (1983). MSC: 68Q60 68T15 PDFBibTeX XML
Orlowska, Ewa On some extensions of dynamic logic. (English) Zbl 0525.03007 Logics of programs and their applications, Proc. Symp., Poznan 1980, Lect. Notes Comput. Sci. 148, 205-212 (1983). MSC: 03B45 03C80 68Q60 68Q65 PDFBibTeX XML
Guessarian, Irene Survey on classes of interpretations and some of their applications. (English) Zbl 0524.68017 SIGACT News 15, No. 3, 45-71 (1983). MSC: 68Q65 68Q60 03C05 PDFBibTeX XML
Hebenstreit, Rolf; Herrlich, Ottomar; Schreyer, Lutz-Karsten Zur Fehleranalyse numerischer Programme. (German) Zbl 0523.68025 Wiss. Z. Tech. Univ. Dres. 32, No. 3, 5-9 (1983). MSC: 68N99 68Q60 PDFBibTeX XMLCite \textit{R. Hebenstreit} et al., Wiss. Z. Tech. Univ. Dres. 32, No. 3, 5--9 (1983; Zbl 0523.68025)
Sadowski, Zenon On connections between parallel programs and nondeterministic sequential programs. (English) Zbl 0523.68018 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 171-183 (1983). MSC: 68Q60 PDFBibTeX XMLCite \textit{Z. Sadowski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 171--183 (1983; Zbl 0523.68018)
Abramov, S. A. Analysis of programs and binary relations. (Russian) Zbl 0523.68017 Zh. Vychisl. Mat. Mat. Fiz. 23, No. 2, 440-452 (1983). MSC: 68Q60 PDFBibTeX XMLCite \textit{S. A. Abramov}, Zh. Vychisl. Mat. Mat. Fiz. 23, No. 2, 440--452 (1983; Zbl 0523.68017)
Otter, Wolfgang Die prinzipiellen Möglichkeiten zur Optimierung von Programmen. (German) Zbl 0523.68016 Wiss. Z. Tech. Univ. Dres. 32, No. 3, 15-21 (1983). MSC: 68Q60 PDFBibTeX XMLCite \textit{W. Otter}, Wiss. Z. Tech. Univ. Dres. 32, No. 3, 15--21 (1983; Zbl 0523.68016)
Coppo, M.; Giovannetti, E. Completeness results for a polymorphic type system. (English) Zbl 0523.68011 Trees in algebra and programming, CAAP’83, Proc. 8th Colloq., L’Aquila/Italy 1983, Lect. Notes Comput. Sci. 159, 179-190 (1983). MSC: 68N01 68Q60 68Q65 PDFBibTeX XML
Kawai, Hiroya A formal system for parallel programs in discrete time and space. (English) Zbl 0523.68009 Logics of programs and their applications, Proc. Symp., Poznan 1980, Lect. Notes Comput. Sci. 148, 156-165 (1983). MSC: 68N01 68Q60 68N25 PDFBibTeX XML
Ecsedi-Toth, P. A theory of finite functions. I: On finite trees associated to certain finite functions. (English) Zbl 0523.08003 Acta Cybern. 6, 213-225 (1983). MSC: 08A40 03E20 05C05 68Q60 PDFBibTeX XMLCite \textit{P. Ecsedi-Toth}, Acta Cybern. 6, 213--225 (1983; Zbl 0523.08003)
Berman, Francine Nonstandard models in propositional dynamic logic. (English) Zbl 0523.03024 Logics of programs and their applications, Proc. Symp., Poznan 1980, Lect. Notes Comput. Sci. 148, 81-85 (1983). MSC: 03C52 68Q60 68Q65 03H99 PDFBibTeX XML
Smith, Jan The identification of propositions and types in Martin-Loef’s type theory: A programming example. (English) Zbl 0522.68034 Foundations of computation theory, Proc. inf. FCT-Conf., Borgholm/ Swed. 1983, Lect. Notes Comput. Sci. 158, 445-456 (1983). MSC: 68Q65 68Q60 03F50 03D65 03F55 03B15 68P10 PDFBibTeX XML
Mahr, B.; Makowsky, J. A. Characterizing specification languages which admit initial semantics. (English) Zbl 0522.68026 Trees in algebra and programming, CAAP ’83, Proc. 8th Colloq., L’Aquila/Italy 1983, Lect. Notes Comput. Sci. 159, 300-316 (1983). MSC: 68P05 68Q60 03C99 PDFBibTeX XML
Dittrich, Gisbert; Merzenich, Wolfgang Operatornets: Their unfoldments and coverings. (English) Zbl 0522.68023 Elektron. Inform.-verarb. Kybernetik 19, 33-53 (1983). MSC: 68Q60 18A40 18B20 05C70 05C38 68Q70 PDFBibTeX XMLCite \textit{G. Dittrich} and \textit{W. Merzenich}, Elektron. Informationsverarbeitung Kybernetik 19, 33--53 (1983; Zbl 0522.68023)
Jouannaud, Jean-Pierre; Kodratoff, Yves Program synthesis from examples of behavior. (English) Zbl 0522.68021 Computer program synthesis methodologies, Proc. NATO Adv. Study Inst., Bonas/France 1981, NATO ASI Ser., Ser. C 95, 213-250 (1983). MSC: 68Q60 PDFBibTeX XML
Kyng, Morten Specification and verification of networks in a Petri net based language. (English) Zbl 0522.68019 Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 181-198 (1983). MSC: 68Q60 68N01 68Q85 PDFBibTeX XML
Hansen, N. D.; Madsen, K. H. Formal semantics by a combination of denotational semantics and high- level Petri nets. (English) Zbl 0522.68018 Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 132-148 (1983). MSC: 68Q60 68Q85 68Q55 PDFBibTeX XML
Jouannaud, Jean-Pierre Confluent and coherent equational term rewriting systems application to proofs in abstract data types. (English) Zbl 0522.68013 Trees in algebra and programming, CAAP ’83, Proc. 8th Colloq., L’Aquila/Italy 1983, Lect. Notes Comput. Sci. 159, 269-283 (1983). MSC: 68Q60 68W30 68P05 68T15 08A50 03F05 PDFBibTeX XML
Mayoh, Brian H. Models of programs and processes. (English) Zbl 0522.68010 Inf. Process. Lett. 17, 211-214 (1983). MSC: 68N01 68Q60 68N25 PDFBibTeX XMLCite \textit{B. H. Mayoh}, Inf. Process. Lett. 17, 211--214 (1983; Zbl 0522.68010) Full Text: DOI
Leathrum, J. F. Foundations of software design. (English) Zbl 0522.68005 Reston, Virginia: Reston Publishing Company, Inc., a Prentice-Hall Company. X, 182 p. $ 33.70 (1983). MSC: 68-01 68N01 68Q60 PDFBibTeX XML
Broy, Manfred; Wirsing, Martin Generalized heterogeneous algebras and partial interpretations. (English) Zbl 0522.08001 Trees in algebra and programming, CAAP ’83, Proc. 8th Colloq., L’Aquila/Italy 1983, Lect. Notes Comput. Sci. 159, 1-34 (1983). MSC: 08A02 68Q60 PDFBibTeX XML
Ochranova, Renata Finding dominators. (English) Zbl 0521.68074 Foundations of computation theory, Proc. int. FCT-Conf., Borgholm/ Swed. 1983, Lect. Notes Comput. Sci. 158, 328-334 (1983). MSC: 68R10 68Q60 PDFBibTeX XML
Ganzinger, Harald On the design of data abstraction mechanisms for compiler description languages. (English) Zbl 0521.68024 Programming languages and system design, Proc. IFIP Conf., Dresden/GDR 1983, 59-82 (1983). MSC: 68P05 68Q60 68N25 PDFBibTeX XML
Roehrlich, Johannes Fast automatic liveness analysis of hierarchical parallel systems. (English) Zbl 0521.68021 Programming languages and system design, Proc. IFIP Conf., Dresden/GDR 1983, 13-27 (1983). MSC: 68Q60 68N25 PDFBibTeX XML
Dembinski, Piotr Design and verification oriented microprogram transformations. (English) Zbl 0521.68020 Programming languages and system design, Proc. IFIP Conf., Dresden/GDR 1983, 141-156 (1983). MSC: 68Q60 PDFBibTeX XML
Tang, Chih-sung XYZ: A program development environment based on temporal logic. (English) Zbl 0521.68018 Programming languages and system design, Proc. IFIP Conf., Dresden/GDR 1983, 117-127 (1983). MSC: 68Q60 68Q65 PDFBibTeX XML
Marque-Pucheu, G. Rational set of trees and the algebraic semantics of logic programming. (English) Zbl 0521.68017 Acta Inf. 20, 249-260 (1983). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{G. Marque-Pucheu}, Acta Inf. 20, 249--260 (1983; Zbl 0521.68017) Full Text: DOI
Moeller, Bernhard An algebraic semantics for busy (data-driven) and lazy (demand-driven) evaluation and its application to a functional language. (English) Zbl 0521.68016 Automata, languages and programming, 10th Colloq., Barcelona/Spain 1983, Lect. Notes Comput. Sci. 154, 513-526 (1983). MSC: 68Q60 PDFBibTeX XML
Courcelle, Bruno Fundamental properties of infinite trees. (English) Zbl 0521.68013 Theor. Comput. Sci. 25, 95-169 (1983). MSC: 68N01 68Q60 68Q55 PDFBibTeX XMLCite \textit{B. Courcelle}, Theor. Comput. Sci. 25, 95--169 (1983; Zbl 0521.68013) Full Text: DOI
Grabowski, Michal Some model-theoretical properties of logic for programs with random control. (English) Zbl 0519.68048 Logics of programs and their applications, Proc. Symp., Poznan 1980, Lect. Notes Comput. Sci. 148, 148-155 (1983). MSC: 68Q65 03B15 03C80 03B45 68Q60 PDFBibTeX XML
Petermann, Uwe On algorithmic logic with partial operations. (English) Zbl 0519.68047 Logics of programs and their applications, Proc. Symp., Poznan 1980, Lect. Notes Comput. Sci. 148, 213-223 (1983). MSC: 68Q65 68Q60 03B45 PDFBibTeX XML
Ramesh, S.; Mehndiratta, S. L. The lifeness property of on-the-fly garbage collector - a proof. (English) Zbl 0519.68039 Inf. Process. Lett. 17, 189-195 (1983). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{S. Ramesh} and \textit{S. L. Mehndiratta}, Inf. Process. Lett. 17, 189--195 (1983; Zbl 0519.68039) Full Text: DOI
Hughes, J. W.; Powell, M. S. DTL: A language for the design and implementation of concurrent programs as structured networks. (English) Zbl 0519.68030 Softw., Pract. Exper. 13, 1099-1112 (1983). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{J. W. Hughes} and \textit{M. S. Powell}, Softw., Pract. Exper. 13, 1099--1112 (1983; Zbl 0519.68030) Full Text: DOI
Lapkin, L. Ya. Realization of logical functions by vector programs. (English. Russian original) Zbl 0519.68018 Autom. Remote Control 44, 120-128 (1983); translation from Avtom. Telemekh. 1983, No. 3, 372-380 (1983). MSC: 68Q60 PDFBibTeX XMLCite \textit{L. Ya. Lapkin}, Autom. Remote Control 44, 120--128 (1983; Zbl 0519.68018); translation from Avtom. Telemekh. 1983, No. 3, 372--380 (1983)
Abbott, Russell J. Program design by informal English descriptions. (English) Zbl 0519.68017 Commun. ACM 26, 882-894 (1983). MSC: 68Q60 PDFBibTeX XMLCite \textit{R. J. Abbott}, Commun. ACM 26, 882--894 (1983; Zbl 0519.68017) Full Text: DOI
Barbuti, R.; Martelli, A. A structured approach to static semantics correctness. (English) Zbl 0519.68015 Sci. Comput. Program. 3, 279-311 (1983). MSC: 68Q60 PDFBibTeX XMLCite \textit{R. Barbuti} and \textit{A. Martelli}, Sci. Comput. Program. 3, 279--311 (1983; Zbl 0519.68015) Full Text: DOI
Nemeti, I. Nonstandard runs of Floyd-provable programs. (English) Zbl 0519.68014 Logics of programs and their applications, Proc. Symp., Poznan 1980, Lect. Notes Comput. Sci. 148, 186-204 (1983). MSC: 68Q60 PDFBibTeX XML
Cohn, Avra The equivalence of two semantic definitions: A case study in LCF. (English) Zbl 0518.68047 SIAM J. Comput. 12, 267-285 (1983). MSC: 68Q55 68Q60 68T15 PDFBibTeX XMLCite \textit{A. Cohn}, SIAM J. Comput. 12, 267--285 (1983; Zbl 0518.68047) Full Text: DOI
Broy, Manfred Program construction by transformations: A family tree of sorting programs. (English) Zbl 0518.68018 Computer program synthesis methodologies, Proc. NATO Adv. Study Inst., Bonas/France 1981, NATO ASI Ser., Ser. C 95, 1-49 (1983). MSC: 68Q60 PDFBibTeX XML
Sintzoff, Michel Issues in the methodical design of concurrent programs. (English) Zbl 0518.68017 Computer program synthesis methodologies, Proc. NATO Adv. Study Inst., Bonas/France 1981, NATO ASI Ser., Ser. C 95, 51-78 (1983). MSC: 68Q60 68N25 PDFBibTeX XML
Backhouse, Roland An analysis of choice in program design. (English) Zbl 0518.68016 Computer program synthesis methodologies, Proc. NATO Adv. Study Inst., Bonas/France 1981, NATO ASI Ser., Ser. C 95, 79-124 (1983). MSC: 68Q60 PDFBibTeX XML
Courcelle, B.; Lavandier, F. A class of program schemes based on tree rewriting systems. (English) Zbl 0518.68015 Trees in algebra and programming, CAAP’83, Proc. 8th Colloq., L’Aquila/Italy 1983, Lect. Notes Comput. Sci. 159, 191-204 (1983). MSC: 68Q60 68Q65 68N01 PDFBibTeX XML
Darondeau, Ph.; Kott, L. On the observational semantics of fair parallelism. (English) Zbl 0518.68014 Automata, languages and programming, 10th Colloq., Barcelona/Spain 1983, Lect. Notes Comput. Sci. 154, 147-159 (1983). MSC: 68Q60 68N25 68Q99 PDFBibTeX XML
Pratt, Terrence W. Formal specification of software using H-graph semantics. (English) Zbl 0518.68013 Graph-grammars and their application to computer science, 2nd int. Workshop, Haus Ohrbeck/Ger. 1982, Lect. Notes Comput. Sci. 153, 314-332 (1983). MSC: 68Q60 68N01 68Q45 PDFBibTeX XML
Allison, Lloyd An executable Prolog semantics. (English) Zbl 0518.68012 Algol Bull. 50, 10-18 (1983). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{L. Allison}, Algol Bull. 50, 10--18 (1983; Zbl 0518.68012)
Dimitrov, I. A systems specification language. (English) Zbl 0518.68006 Adequate modeling of systems, Proc. int. Conf., Bad Honnef/Ger. 1982, 66-77 (1983). MSC: 68N01 68Q60 PDFBibTeX XML
Tajtslin, M. A. Hierarchies of logics of programs. (Russian) Zbl 0518.03002 Sib. Mat. Zh. 24, No. 3(139), 184-192 (1983). MSC: 03B15 68Q60 68Q65 PDFBibTeX XMLCite \textit{M. A. Tajtslin}, Sib. Mat. Zh. 24, No. 3(139), 184--192 (1983; Zbl 0518.03002) Full Text: EuDML
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
Slape, John K.; Wallis, Peter J. L. Conversion of Fortran to Ada using an intermediate tree representation. (English) Zbl 0517.68038 Comput. J. 26, 344-353 (1983). MSC: 68Q60 PDFBibTeX XMLCite \textit{J. K. Slape} and \textit{P. J. L. Wallis}, Comput. J. 26, 344--353 (1983; Zbl 0517.68038) 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
Mange, Daniel Applications de la théorie des systèmes logiques à la structuration des programmes. (French) Zbl 0517.68030 RAIRO, Tech. Sci. Inf. 2, 167-177 (1983). MSC: 68Q60 94C10 PDFBibTeX XMLCite \textit{D. Mange}, RAIRO, Tech. Sci. Inf. 2, 167--177 (1983; Zbl 0517.68030)
Main, Michael G.; Benson, David B. Functional behavior of nondeterministic programs. (English) Zbl 0517.68028 Foundations of computation theory, Proc. int. FCT-Conf., Borgholm/ Swed. 1983, Lect. Notes Comput. Sci. 158, 290-301 (1983). MSC: 68Q60 PDFBibTeX XML
De Nicola, Rocco A complete set of axioms for a theory of communicating sequential processes. (English) Zbl 0517.68027 Foundations of computation theory, Proc. int. FCT-Conf., Borgholm/ Swed. 1983, Lect. Notes Comput. Sci. 158, 115-126 (1983). MSC: 68Q60 68N25 PDFBibTeX XML
De Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch. Linear time and branching time semantics for recursion with merge. (English) Zbl 0517.68026 Automata, languages and programming, 10th Colloq., Barcelona/Spain 1983, Lect. Notes Comput. Sci. 154, 39-51 (1983). MSC: 68Q60 68W99 PDFBibTeX XML
Allison, Lloyd Programming denotational semantics. (English) Zbl 0517.68023 Comput. J. 26, 164-174 (1983). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{L. Allison}, Comput. J. 26, 164--174 (1983; Zbl 0517.68023) Full Text: DOI
Dosch, Walter; Moeller, Bernhard An algebraic semantics for Backus’ functional programming language with infinite objects. (English) Zbl 0517.68022 GI - 13. Jahrestag., Proc., Hamburg 1983, Inf.-Fachber. 73, 67-85 (1983). MSC: 68N01 68Q60 68P05 PDFBibTeX XML
Broy, Manfred Funktionales Programmieren, Programmieren mit Funktionalen. (German) Zbl 0517.68021 GI - 13. Jahrestag., Proc., Hamburg 1983, Inf.-Fachber. 73, 24-40 (1983). MSC: 68N01 68Q60 68P05 PDFBibTeX XML
Enjalbert, Patrice Algebraic semantics and program logics: Algorithmic logic for program trees. (English) Zbl 0516.68036 Logics of programs and their applications, Proc. Symp., Poznan 1980, Lect. Notes Comput. Sci. 148, 132-147 (1983). MSC: 68Q65 68Q60 03B45 PDFBibTeX XML
de Bakker, J. W.; Zucker, J. I. Processes and a fair semantics for the ADA rendez-vous. (English) Zbl 0516.68025 Automata, languages and programming, 10th Colloq., Barcelona/Spain 1983, Lect. Notes Comput. Sci. 154, 52-66 (1983). MSC: 68N25 68Q60 PDFBibTeX XML
Stefan, Tudor An efficient method for obtaining structured programs. (Romanian) Zbl 0516.68018 Stud. Cercet. Mat. 35, 205-219 (1983). MSC: 68Q60 PDFBibTeX XMLCite \textit{T. Stefan}, Stud. Cercet. Mat. 35, 205--219 (1983; Zbl 0516.68018)
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
Krause, Manfred Programs with global read-only parameters and an inference rule for procedures with value parameters. (English) Zbl 0516.68016 Ber., Inst. Inf. Prakt. Math., Christian-Albrechts-Univ., Kiel 8307, 14 p. (1983). MSC: 68Q60 PDFBibTeX XML
Mycroft, A.; Nielson, F. Strong abstract interpretation using power domains (extended abstract). (English) Zbl 0516.68012 Automata, languages and programming 10th Colloq., Barcelona/Spain 1983, Lect. Notes Comput. Sci. 154, 536-544 (1983). MSC: 68Q60 PDFBibTeX XML
Rem, M. Partially ordered computations, with applications to VLSI design. (English) Zbl 0516.68011 Foundations of computer science IV. Distributed systems. Part 2: Semantics and logic, Math. Cent. Tracts 159, 1-44 (1983). MSC: 68Q60 68Q55 94C99 68N25 PDFBibTeX XML
Smirnova, T. N.; Aleksandrova, A. A.; Stsiborskaya, N. B. Implementation of some multioperations on sequential computers. (English) Zbl 0515.68071 J. Sov. Math. 23, 2018-2032 (1983). MSC: 68U99 68Q45 68Q60 PDFBibTeX XMLCite \textit{T. N. Smirnova} et al., J. Sov. Math. 23, 2018--2032 (1983; Zbl 0515.68071) Full Text: DOI
Nourani, C. Farshid Abstract implementations and their correctness proofs. (English) Zbl 0515.68014 J. Assoc. Comput. Mach. 30, 343-359 (1983). MSC: 68Q60 PDFBibTeX XMLCite \textit{C. F. Nourani}, J. Assoc. Comput. Mach. 30, 343--359 (1983; Zbl 0515.68014) Full Text: DOI
Hawryszkiewycz, Igor T. A semantic design method. (English) Zbl 0515.68013 IEEE Trans. Software Eng. 9, 373-384 (1983). MSC: 68Q60 68P05 68P20 PDFBibTeX XMLCite \textit{I. T. Hawryszkiewycz}, IEEE Trans. Softw. Eng. 9, 373--384 (1983; Zbl 0515.68013) Full Text: DOI
Williams, M. H. Flowchart schemata and the problem of nomenclature. (English) Zbl 0515.68011 Comput. J. 26, 270-276 (1983). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{M. H. Williams}, Comput. J. 26, 270--276 (1983; Zbl 0515.68011) Full Text: DOI
Zakrecki, Jerzy The notions of program module and modularization in programming languages. (Polish) Zbl 0514.68022 Pr. Inst. Postaw Inf. Pol. Akad. Nauk 4, 44 p. (1983). MSC: 68Q60 PDFBibTeX XML
Blikle, Andrzej; Tarlecki, Andrzej Naive denotational semantics. (English) Zbl 0514.68021 Pr. Inst. Postaw Inf. Pol. Akad. Nauk 500, 40 p. (1983). MSC: 68Q60 68N01 PDFBibTeX XML