Hartwig, R. Über Verifikationsaxiome für Mehrfachzuweisungen. (German) Zbl 0561.68006 Tech. Univ. Dresden, Weiterbildungszentrum Math. Kybernetik Rechentech. Informationsverarb. 55/81, 48-52 (1981). MSC: 68N01 PDFBibTeX XML
Stevens, Wayne P. Using structured design: how to make programs simple, changeable, flexible, and reusable. (English) Zbl 0551.68004 A Wiley-Interscience Publication. New York etc.: John Wiley & Sons. 213 p. (1981). MSC: 68-01 68N01 68Q60 PDFBibTeX XML
Gerstmann, Hans Oskar Hierarchischer Programmentwurf in der Algebra binärer Relationen. (German) Zbl 0533.68008 Fachbereich Informatik der Technischen Hochschule Darmstadt. 137 S. (1981). MSC: 68N01 68Q60 68P05 PDFBibTeX XML
Dhillon, B. S.; Singh, Chanan Engineering reliability. New techniques and applications. (English) Zbl 0529.90025 Wiley Series on Systems Engineering and Analysis. A Wiley-Interscience Publication. New York: John Wiley & Sons, Inc. XIX, 339 p. $ 36.95 (1981). MSC: 90B25 90-01 68N99 68Q60 60K20 PDFBibTeX XML
Steiner, Juraj Axiomatic semantics of indirect addressing. (English) Zbl 0518.68011 Mathematical foundations of computer science 1981, Proc. 10th Symp., Strbske Pleso/Czech. 1981, Lect. Notes Comput. Sci. 118, 515-523 (1981). MSC: 68N01 68Q60 PDFBibTeX XML
David, G.; Sarkoezy, A. SL: Many-sorted logic based programming language. (English) Zbl 0517.68025 Mathematical logic in computer science, Salgotarjan/Hung. 1978, Colloq. Math. Soc. Janos Bolyai 26, 303-319 (1981). MSC: 68N01 68Q60 03B10 PDFBibTeX XML
Letichevskij, A. A.; Godlevskij, A. B.; Krivoj, S. L. An efficient algorithm for constructing the basis of a subgroup of a free group. (English. Russian original) Zbl 0507.20002 Cybernetics 17, 407-416 (1982); translation from Kibernetika 1981, No. 3, 107-116 (1981). MSC: 20-04 20E05 20F05 68W99 68Q60 PDFBibTeX XMLCite \textit{A. A. Letichevskij} et al., Cybernetics 17, 407--416 (1981; Zbl 0507.20002); translation from Kibernetika 1981, No. 3, 107--116 (1981) Full Text: DOI
Radenski, A. A transformation program system: processing a calculation of functional programs. (Bulgarian) Zbl 0505.68008 Mathematics and education in mathematics, Proc. 10th Spring Conf. Union Bulg. Math., Sunny Beach 1981, 279-284 (1981). MSC: 68N01 68Q60 PDFBibTeX XML
Astesiano, Egidio; Zucca, Elena Semantics of distributed processes derived by translation. (English) Zbl 0503.68020 GI-11. Jahrestag., 3rd Conf. Eur. Co-op. Inf., München 1981, Inf.- Fachber. 50, 78-87 (1981). MSC: 68Q60 68N01 68N25 PDFBibTeX XML
Bozoyan, Sh. E. A language for the description of schemes of functional elements and delays. (Russian) Zbl 0503.68017 Applied mathematics, Interuniv. Collect. sci. Works, Erevan 1981, 22-33 (1981). MSC: 68Q60 68N01 PDFBibTeX XML
Ganzinger, Harald Programs as transformations of algebraic theories (extended abstract). (English) Zbl 0503.68015 GI - 11. Jahrestag., 3rd Conf. Eur. Co-op. Inf., München 1981, Inf.- Fachber. 50, 32-40 (1981). MSC: 68Q60 68N01 PDFBibTeX XML
Pluyushkyavichene, Aida Specification of cut-type rules in programming logics with a recursion. (Russian) Zbl 0502.68004 Mat. Logika Primen. 1, 33-60 (1981). MSC: 68Q65 68N01 PDFBibTeX XMLCite \textit{A. Pluyushkyavichene}, Mat. Logika Primen. 1, 33--60 (1981; Zbl 0502.68004)
Kawai, Hiroya On the completeness theorem for bi-modal system LTOmega and LETOmega. (English) Zbl 0498.03013 Math. Jap. 26, 377-383 (1981). MSC: 03B45 68N01 68Q60 03C75 68Q65 PDFBibTeX XMLCite \textit{H. Kawai}, Math. Japon. 26, 377--383 (1981; Zbl 0498.03013)
Gergely, T.; Ury, L. Time models for programming logics. (English) Zbl 0496.68010 Mathematical logic in computer science, Salgotarjan/Hung. 1978, Colloq. Math. Soc. Janos Bolyai 26, 359-427 (1981). MSC: 68N01 68Q60 03B10 68Q65 PDFBibTeX XML
Haendler, Wolfgang (ed.) CONPAR 81. Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981. Proceedings. (English) Zbl 0495.68001 Lecture Notes in Computer Science, 111. Berlin-Heidelberg-New York: Springer-Verlag. XI, 508 p. DM 49.00; $ 23.40 (1981). MSC: 68-06 00Bxx 68N25 65-04 68Q60 68W99 PDFBibTeX XML
Mirkowska, Grazyna PAL - Propositional algorithmic logic. (English) Zbl 0494.68030 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 4, 675-760 (1981). MSC: 68Q65 03B60 68N01 68Q60 PDFBibTeX XMLCite \textit{G. Mirkowska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 4, 675--760 (1981; Zbl 0494.68030)
Astesiano, E.; Costa, G. Reducing types in applicative languages with structured data. (English) Zbl 0492.68025 Formalization of programming concepts, Proc. int. Colloq., Peniscola/Spain 1981, Lect. Notes Comput. Sci. 107, 210-217 (1981). MSC: 68P05 68Q60 68N01 03B40 03B15 PDFBibTeX XML
Broy, Manfred; Wirsing, Martin On the algebraic extensions of abstract data types. (English) Zbl 0492.68024 Formalization of programming concepts, Proc. int. Colloq., Peniscola/Spain 1981, Lect. Notes Comput. Sci. 107, 244-251 (1981). MSC: 68P05 68Q60 68N01 PDFBibTeX XML
Arbib, M. A.; Manes, E. G. Abstract syntax and the canonical fixpoint of recursive calls. (English) Zbl 0492.68021 Mathematical logic in computer science, Salgotarjan/Hung. 1978, Colloq. Math. Soc. Janos Bolyai 26, 85-96 (1981). MSC: 68Q60 68N01 PDFBibTeX XML
Reichel, H. Algebraische Induktion als mathematisches Hifsmittel in der Computer Science. (German) Zbl 0492.68011 Mitt. Math. Ges. DDR 1981, No. 2-4, 111-127 (1981). MSC: 68N01 68Q60 68Q45 08B20 PDFBibTeX XMLCite \textit{H. Reichel}, Mitt. Math. Ges. DDR 1981, No. 2--4, 111--127 (1981; Zbl 0492.68011)
Urzyczyn, Pawel The unwind property in certain algebras. (English) Zbl 0491.03018 Inf. Control 50, 91-109 (1981). MSC: 03D80 68Q60 03D60 68N01 12D99 08A99 08B99 PDFBibTeX XMLCite \textit{P. Urzyczyn}, Inf. Control 50, 91--109 (1981; Zbl 0491.03018) Full Text: DOI
Khaletskij, A. K. Reliability evaluation of a hierarchical program. (English. Russian original) Zbl 0488.68022 Program. Comput. Software 7, 286-291 (1981); translation from Programmirovanie 1981, No. 5, 80-87 (1981). MSC: 68Q60 68N99 PDFBibTeX XMLCite \textit{A. K. Khaletskij}, Program. Comput. Softw. 7, 286--291 (1981; Zbl 0488.68022); translation from Programmirovanie 1981, No. 5, 80--87 (1981)
Horn, Christian Programmentwurf und -spezifikation in ABSTRACT-PASCAL. (German) Zbl 0487.68014 Wiss. Z. Humboldt-Univ. Berlin, Math.-Naturwiss. Reihe 30, 423-429 (1981). MSC: 68Q60 68P05 68N01 PDFBibTeX XMLCite \textit{C. Horn}, Wiss. Z. Humboldt-Univ. Berlin, Math.-Naturw. R. 30, 423--429 (1981; Zbl 0487.68014)
Bergstra, Jan Algorithmic degrees of algebraic structures. (English) Zbl 0487.68012 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 4, 851-861 (1981). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{J. Bergstra}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 4, 851--861 (1981; Zbl 0487.68012)
Pereira, L. M.; Monteiro, L. F. The semantics of parallelism and co-routining in logic programming. (English) Zbl 0487.68009 Mathematical logic in computer science, Salgotarjan/Hung. 1978, Colloq. Math. Soc. Janos Bolyai 26, 611-657 (1981). MSC: 68N01 68Q60 68N25 PDFBibTeX XML
Chen, Tsong Yueh On the relationship between computed functions and fixpoints of nondeterministic recursive definitions. (English) Zbl 0486.68014 Inf. Control 50, 13-22 (1981). MSC: 68Q60 68N01 03D60 PDFBibTeX XMLCite \textit{T. Y. Chen}, Inf. Control 50, 13--22 (1981; Zbl 0486.68014) Full Text: DOI
Chandrasekaran, B. (ed.); Radicchi, S. (ed.) [Zweben, S. H.; White, L. J.; Ghezzi, C.; Osterweil, L. J.; Fosdick, L. D.; Taylor, R. N.; Clarke, L. A.; Richardson, D. J.; Cohen, E. I.; Zeil, S. J.; Howden, W. E.; Budd, T. A.; Fairley, R. E.; Miller, E. F.; Henderson, J. B.; Mapp, T. E.; Cicu, A.; Degano, P.; Levi, G.; Celentano, A.; Liguori, F.; Haley, A.; Ceriani, M.; Maiocchi, M.] Computer program testing. Proceedings of the Summer School on Computer Program Testing held at Sogesta, Urbino, Italy, June 29 - July 3, 1981. (English) Zbl 0486.68005 Amsterdam, New York, Oxford: North-Holland Publishing Company. VIII, 326 p. $ 42.50; Dfl. 100.00 (1981). MSC: 68-06 68Q60 00Bxx 68R10 PDFBibTeX XML
de Bakker, J. W. (ed.); van Vliet, J. C. (ed.) Algorithmic languages. Proceedings of the International Symposium on Algorithmic Languages, Amsterdam, The Netherlands, 26-29 October 1981. (Organized by The Mathematical Centre, Amsterdam, under the auspices of IFIP Technical Committee 2, Programming, International Federation for Information Processing). (English) Zbl 0483.68001 Amsterdam - New York - Oxford: North-Holland Publishing Company. XXVI, 431 p. $ 45.00; Dfl. 110.00 (1981). MSC: 68-06 00Bxx 68T50 68Nxx PDFBibTeX XML
Broy, M.; Dosch, W.; Moeller, B.; Wirsing, M. GOTOs - A study in the algebraic specification of programming languages. (Extended abstract). (English) Zbl 0481.68028 GI - 11. Jahrestag., 3rd Conf. Eur. Co-op. Inf., München 1981, Inf.- Fachber. 50. 109-121 (1981). MSC: 68P05 68Q60 68N01 PDFBibTeX XML
Lauer, P. E.; Shields, M. W.; Cotronis, J. Y. Formal behavioural specification of concurrent systems without globality assumptions. (English) Zbl 0481.68012 Formalization of programming concepts, Proc. int. Colloq., Peniscola/Spain 1981, Lect. Notes Comput. Sci. 107, 115-151 (1981). MSC: 68Q60 68N01 68N25 PDFBibTeX XML
Polak, Wolfgang Compiler specification and verification. (English) Zbl 0481.68001 Lecture Notes in Computer Science, 124. Berlin-Heidelberg-New York: Springer-Verlag. XIII, 269 p. DM 29.50; $ 13.80 (1981). MSC: 68-02 68Nxx PDFBibTeX XML
Wulf, William A.; Shaw, Mary; Hilfinger, Paul N.; Flon, Lawrence Fundamental structures of computer science. (English) Zbl 0478.68001 Reading, Massachusetts, etc.: Addison-Wesley Publishing Company. XVIII, 621 p. (1981). MSC: 68-01 68N01 68P05 68Q60 PDFBibTeX XML
Ershov, A. P. (ed.); Knuth, D. E. (ed.) [Zemanek, H.; Knuth, D. E.; Uspensky, V. A.; Semenov, A. L.; Barzdin, J. M.; Manin, Yu. I.; Nepeivoda, N. N.; Tyugu, E. H.; Letichevsky, A. A.; Adel’son-Vel’skii, G. M.; Slisenko, A. O.; Alder, A.; Strassen, V.; Kleene, S. C.; Shanin, N. A.; Tseytlin, G. S.; Ershov, A. P.; Bauer, F. L.; Glushkov, V. M.; Matijasevic, Y.; Matiyasevich, Yu. V.; Buda, A.; Anisimov, A. V.] Algorithms in modern mathematics and computer science. Proceedings, Urgench, Uzbek SSR, September 16–22, 1979. (English) Zbl 0477.68035 Lecture Notes in Computer Science, 122. Berlin-Heidelberg-New York: Springer-Verlag. XI, 487 p. DM 45.50; $ 21.20 (1981). MSC: 68W99 68-06 01A30 03-06 68Q25 03D60 03B25 03D25 11U05 68N01 03F60 03F65 94A15 68P10 03A05 03D40 03D15 68Q60 PDFBibTeX XML
Patterson, David A. An experiment in high level language microprogramming and verification. (English) Zbl 0477.68014 Commun. ACM 24, 699-727 (1981). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{D. A. Patterson}, Commun. ACM 24, 699--727 (1981; Zbl 0477.68014) Full Text: DOI
Shaw, Mary (ed.) ALPHARD: form and content. (English) Zbl 0477.68012 New York - Heidelberg - Berlin: Springer-Verlag. VIII, 321 p. DM 42.00; $ 19.60 (1981). MSC: 68-06 68N01 68Q60 68-03 01A75 PDFBibTeX XML
Noltemeier, Hartmut Informatik I: Einführung in Algorithmen und Berechenbarkeit. (German) Zbl 0477.68002 München, Wien: Carl Hanser Verlag. 148 S. DM 32.00 (1981). MSC: 68-01 68W99 68Q05 03D60 03D20 68Q55 68Q60 68N01 68Q45 PDFBibTeX XML
Loeckx, Jacques Implementations of abstract data types and their verification. (English) Zbl 0476.68022 GI - 11. Jahrestag., 3rd Conf. Eur. Co-op. Inf., München 1981, Inf.- Fachber. 50, 96-108 (1981). MSC: 68P05 68N01 68Q60 PDFBibTeX XML
Kozen, Dexter Semantics of probabilistic programs. (English) Zbl 0476.68019 J. Comput. Syst. Sci. 22, 328-350 (1981). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{D. Kozen}, J. Comput. Syst. Sci. 22, 328--350 (1981; Zbl 0476.68019) Full Text: DOI
Reynolds, John C. The craft of programming. (English) Zbl 0476.68010 Prentice-Hall International Series in Computer Science. Englewood Cliffs, New Jersey etc.: Prentice-Hall International. XIII, 434 p. $ 33.50 (1981). MSC: 68-01 68N01 68Q60 PDFBibTeX XML
Boyer, R. S. (ed.); Moore, J. Strother (ed.) [Dijkstra, E. W.; Burstall, R. M.; Goguen, J. A.; Manna, Z.; Pnueli, A.] The correctness problem in computer science. (English) Zbl 0476.68009 International Lecture Series in Computer Science. London etc.: Academic Press, a subsidiary of Harcourt Brace Jovanovich, Publishers. XIII, 279 p. £14.20; $ 29.50 (1981). MSC: 68-02 68Q60 68N01 PDFBibTeX XML
Kogge, Peter M. The architecture of pipelined computers. (English) Zbl 0476.68004 McGraw-Hill Advanced Computer Science Series. Washington -New York - London: Hemisphere Publishing Corporation. New York etc.: McGraw-Hill Book Company. XII, 334 p. $ 28.00 (1981). MSC: 68N99 68-02 68M20 68Q60 PDFBibTeX XML
Guessarian, Irène Algebraic semantics. (English) Zbl 0474.68010 Lecture Notes in Computer Science, 99. Berlin-Heidelberg-New York: Springer-Verlag. XI, 158 p. DM 21.50; $ 12.70 (1981). MSC: 68Q60 68N30 03C05 08B20 68-02 68Q55 08C99 PDFBibTeX XML
Poigne, Axel Using least fixed points to characterize formal computations of non- deterministic equations. (English) Zbl 0472.68023 Formalization of programming concepts, Proc. int. Colloq., Peniscola/Spain 1981, Lect. Notes Comput. Sci. 107, 447-459 (1981). MSC: 68W30 68N01 68Q60 PDFBibTeX XML
Gries, David The science of programming. (English) Zbl 0472.68003 Texts and Monographs in Computer Science. New York - Heidelberg -Berlin: Springer-Verlag. XIII, 366 p. DM 54.00; $ 25.20 (1981). MSC: 68-01 68Q60 68N01 PDFBibTeX XML
Samet, Hanan Experience with software conversion. (English) Zbl 0471.68017 Softw., Pract. Exper. 11, 1053-1069 (1981). MSC: 68N99 68Q60 PDFBibTeX XMLCite \textit{H. Samet}, Softw., Pract. Exper. 11, 1053--1069 (1981; Zbl 0471.68017) 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
Martin, Alain J. An axiomatic definition of synchronization primitives. (English) Zbl 0469.68037 Acta Inf. 16, 219-235 (1981). MSC: 68N25 68Q60 68N01 PDFBibTeX XMLCite \textit{A. J. Martin}, Acta Inf. 16, 219--235 (1981; Zbl 0469.68037) Full Text: DOI
Kawai, Hiroya Deductive system LPC for parallel computation. (English) Zbl 0469.68036 Math. Jap. 26, 275-285 (1981). MSC: 68N25 68N01 03B45 68Q60 68Q65 PDFBibTeX XMLCite \textit{H. Kawai}, Math. Japon. 26, 275--285 (1981; Zbl 0469.68036)
Haase, Volkmar H. Real-time behavior of programs. (English) Zbl 0469.68032 IEEE Trans. Software Eng. 7, 494-501 (1981). MSC: 68N25 68N01 68M20 68Q60 PDFBibTeX XMLCite \textit{V. H. Haase}, IEEE Trans. Softw. Eng. 7, 494--501 (1981; Zbl 0469.68032) Full Text: DOI
Pnueli, A.; Zarhi, R. Realizing an equational specification. (English) Zbl 0469.68024 Automata, languages and programming, 8th Colloq., Acre (Akko)/Isr. 1981, Lect. Notes Comput. Sci. 115, 459-478 (1981). MSC: 68P05 68Q60 68N01 PDFBibTeX XML
Cunin, P. Y.; Rasser, A. M. Le langage MEFIA: définition axiomatique et propriétés. (French) Zbl 0469.68014 RAIRO, Inf. 15, 295-311 (1981). MSC: 68Q60 68P05 68N01 PDFBibTeX XMLCite \textit{P. Y. Cunin} and \textit{A. M. Rasser}, RAIRO, Inf. 15, 295--311 (1981; Zbl 0469.68014)
Manna, Zohar; Waldinger, Richard Problematic features of programming languages: A situational-calculus approach. (English) Zbl 0469.68005 Acta Inf. 16, 371-426 (1981). MSC: 68N01 68Q60 68P05 PDFBibTeX XMLCite \textit{Z. Manna} and \textit{R. Waldinger}, Acta Inf. 16, 371--426 (1981; Zbl 0469.68005) Full Text: DOI
Bauer, F. L.; Broy, M.; Dosch, W.; Gnatz, R.; Krieg-Brückner, B.; Laut, A.; Luckmann, M.; Matzner, T.; Möller, B.; Partsch, H.; Pepper, P.; Samelson, K.; Steinbrüggen, R.; Wirsing, M.; Wössner, H. Programming in a wide spectrum language: A collection of examples. (English) Zbl 0469.68003 Sci. Comput. Program. 1, 73-114 (1981). MSC: 68N01 68Q60 68P05 PDFBibTeX XMLCite \textit{F. L. Bauer} et al., Sci. Comput. Program. 1, 73--114 (1981; Zbl 0469.68003) Full Text: DOI
Tiuryn, J. A survey of the logic of effective definitions. (English) Zbl 0468.68037 Logic of programs, Workshop, ETH Zürich 1979, Lect. Notes Comput. Sci. 125, 198-245 (1981). MSC: 68Q65 68N01 03C75 68Q60 68-02 03-02 PDFBibTeX XML
Thatcher, James W.; Wagner, Eric G.; Wright, Jesse B. More on advice on structuring compilers and proving them correct. (English) Zbl 0468.68007 Theor. Comput. Sci. 15, 223-249 (1981). MSC: 68N01 68Q60 68N25 PDFBibTeX XMLCite \textit{J. W. Thatcher} et al., Theor. Comput. Sci. 15, 223--249 (1981; Zbl 0468.68007) Full Text: DOI
Bjorner, Dines The VDM principles of software specification & program design. A tutorial overview. (English) Zbl 0467.68039 Formalization of programming concepts, Proc. int. Colloq., Peniscola/Spain 1981, Lect. Notes Comput. Sci. 107, 44-74 (1981). MSC: 68N99 68Q60 68P05 PDFBibTeX XML
Mosses, Peter A semantic algebra for binding constructs. (English) Zbl 0467.68013 Formalization of programming concepts, Proc. int. Colloq., Peniscola/Spain 1981, Lect. Notes Comput. Sci. 107, 408-418 (1981). MSC: 68Q60 68P05 68N01 PDFBibTeX XML
Stoy, Joseph E. The congruence of two programming language definitions. (English) Zbl 0467.68012 Theor. Comput. Sci. 13, 151-174 (1981). MSC: 68Q60 68N01 68Q55 PDFBibTeX XMLCite \textit{J. E. Stoy}, Theor. Comput. Sci. 13, 151--174 (1981; Zbl 0467.68012) Full Text: DOI
Cook, Stephen A. Corrigendum to “Soundness and completeness of an axiom system for program verification”. (English) Zbl 0466.68015 SIAM J. Comput. 10, 612 (1981). MSC: 68Q60 68N01 68Q65 PDFBibTeX XMLCite \textit{S. A. Cook}, SIAM J. Comput. 10, 612 (1981; Zbl 0466.68015) Full Text: DOI
Simpson, R. B. A two-dimensional mesh verification algorithm. (English) Zbl 0466.65015 SIAM J. Sci. Stat. Comput. 2, 455-473 (1981). MSC: 65D15 65N30 65-04 PDFBibTeX XMLCite \textit{R. B. Simpson}, SIAM J. Sci. Stat. Comput. 2, 455--473 (1981; Zbl 0466.65015) Full Text: DOI Link
Ehrich, H. D. On realization and implementation. (English) Zbl 0465.68005 Mathematical foundations of computer science 1981, Proc. 10th Symp., Strbske Pleso/Czech. 1981, Lect. Notes Comput. Sci. 118, 271-280 (1981). MSC: 68P05 68Q60 68N01 PDFBibTeX XML
Ehrich, H.-D. Specifying algebraic data types by domain equations. (English) Zbl 0465.68004 Fundamentals of computation theory, Proc. int. FCT-Conf., Szeged/Hung. 1981, Lect. Notes Comput. Sci. 117, 120-129 (1981). MSC: 68P05 68Q60 68N01 PDFBibTeX XML
Olderog, Ernst-Rüdiger Sound and complete Hoare-like calculi based on copy rules. (English) Zbl 0464.68037 Acta Inf. 16, 161-197 (1981). MSC: 68Q65 68N01 68Q60 03B60 PDFBibTeX XMLCite \textit{E.-R. Olderog}, Acta Inf. 16, 161--197 (1981; Zbl 0464.68037) Full Text: DOI
Rem, Martin The closure statement: A programming language construct allowing ultraconcurrent execution. (English) Zbl 0464.68006 J. Assoc. Comput. Mach. 28, 393-410 (1981). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{M. Rem}, J. Assoc. Comput. Mach. 28, 393--410 (1981; Zbl 0464.68006) Full Text: DOI
Coleman, Derek; Hughes, Jane W.; Powell, Malcolm S. A method for the syntax directed design of multiprograms. (English) Zbl 0463.68041 IEEE Trans. Software Eng. 7, 189-196 (1981). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{D. Coleman} et al., IEEE Trans. Softw. Eng. 7, 189--196 (1981; Zbl 0463.68041) Full Text: DOI
Ellozy, Hamed A. The determination of loop invariants for programs with arrays. (English) Zbl 0463.68016 IEEE Trans. Software Eng. 7, 197-206 (1981). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{H. A. Ellozy}, IEEE Trans. Softw. Eng. 7, 197--206 (1981; Zbl 0463.68016) Full Text: DOI
Moriconi, Mark; Schwartz, Richard L. Automatic construction of verification condition generators from Hoare logics. (English) Zbl 0462.68005 Automata, languages and programming, 8th Colloq., Acre (Akko)/Isr. 1981, Lect. Notes Comput. Sci. 115, 363-377 (1981). MSC: 68Q65 68T15 68N01 PDFBibTeX XML
Sharir, Micha Formal integration: A program transformation technique. (English) Zbl 0461.68018 Comput. Lang. 6, 35-46 (1981). MSC: 68Q60 68N99 68N01 PDFBibTeX XMLCite \textit{M. Sharir}, Comput. Lang. 6, 35--46 (1981; Zbl 0461.68018) Full Text: DOI
Rice, John R. Matrix computations and mathematical software. (English) Zbl 0459.65008 McGraw-Hill Computer Science Series. New York etc.: McGraw-Hill Book Company. XII, 248 p. DM 76.57 (1981). MSC: 65Fxx 15A60 65F05 65F35 65F10 65F20 65D10 65K05 65-01 65-04 68Q60 68Q25 62J05 PDFBibTeX XML
Heiberger, Richard M. The specification of experimental designs to ANOVA programs. (English) Zbl 0457.62055 Am. Stat. 35, 98-108 (1981). MSC: 62J10 62K99 65C99 68Q60 68N99 PDFBibTeX XMLCite \textit{R. M. Heiberger}, Am. Stat. 35, 98--108 (1981; Zbl 0457.62055) Full Text: DOI
Ntafos, Simeon C.; Hakimi, S. Louis On structured digraphs and program testing. (English) Zbl 0454.68005 IEEE Trans. Comput. 30, 67-77 (1981). MSC: 68Q60 68R10 68Q25 PDFBibTeX XMLCite \textit{S. C. Ntafos} and \textit{S. L. Hakimi}, IEEE Trans. Comput. 30, 67--77 (1981; Zbl 0454.68005) Full Text: DOI
Brinch Hansen, Per Edison programs. (English) Zbl 0452.68030 Softw., Pract. Exper. 11, 397-414 (1981). MSC: 68N25 68N01 68Q60 PDFBibTeX XMLCite \textit{P. Brinch Hansen}, Softw., Pract. Exper. 11, 397--414 (1981; Zbl 0452.68030) 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
Conway, R.; Gries, D. Der neue Programmierstil gezeigt an PL/1. Ein Lehr- und Übungsbuch zur Programmierung in PL/1 und PL/C mit den Dialekten PL/CT und PL/CS. Übers. aus dem Engl. v. Gerd May. (German) Zbl 0452.68005 München, Wien: Carl Hanser Verlag. 672 S. DM 68.00 (1981). MSC: 68-01 68N01 68Q60 PDFBibTeX XML
Wile, David S. Type transformations. (English) Zbl 0447.68011 IEEE Trans. Software Eng. 7, 32-39 (1981). MSC: 68P05 68Q60 68N01 PDFBibTeX XMLCite \textit{D. S. Wile}, IEEE Trans. Softw. Eng. 7, 32--39 (1981; Zbl 0447.68011) Full Text: DOI
Broy, Manfred; Pepper, Peter Program development as a formal activity. (English) Zbl 0447.68005 IEEE Trans. Software Eng. 7, 14-22 (1981). MSC: 68Q60 68P05 68N01 PDFBibTeX XMLCite \textit{M. Broy} and \textit{P. Pepper}, IEEE Trans. Softw. Eng. 7, 14--22 (1981; Zbl 0447.68005) Full Text: DOI
de Bruin, Arie Goto statements: Semantics and deduction systems. (English) Zbl 0445.68005 Acta Inf. 15, 385-424 (1981). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{A. de Bruin}, Acta Inf. 15, 385--424 (1981; Zbl 0445.68005) Full Text: DOI
Apt, Krzysztof R. Recursive assertions and parallel programs. (English) Zbl 0436.68009 Acta Inf. 15, 219-232 (1981). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{K. R. Apt}, Acta Inf. 15, 219--232 (1981; Zbl 0436.68009) Full Text: DOI