Anureev, I. S. Operational semantics development for procedural programming languages based on conceptual transition systems. (English) Zbl 1374.68094 Jt. Bull. NCC IIS, Ser. Comput. Sci. 38, 1-28 (2015). MSC: 68N15 68Q55 PDF BibTeX XML Cite \textit{I. S. Anureev}, Jt. Bull. NCC IIS, Ser. Comput. Sci. 38, 1--28 (2015; Zbl 1374.68094) Full Text: Link
van Riemsdijk, M. Birna; Wirsing, Martin Comparing goal-oriented and procedural service orchestration. (English) Zbl 1205.68117 Multiagent Grid Syst. 6, No. 2, 133-163 (2010). MSC: 68N19 68T42 PDF BibTeX XML Cite \textit{M. B. van Riemsdijk} and \textit{M. Wirsing}, Multiagent Grid Syst. 6, No. 2, 133--163 (2010; Zbl 1205.68117) Full Text: DOI
Crolard, Tristan; Polonowski, Emmanuel; Valarcher, Pierre Extending the loop language with higher-order procedural variables. (English) Zbl 1351.68048 ACM Trans. Comput. Log. 10, No. 4, Article No. 26, 37 p. (2009). MSC: 68N15 03B70 68N18 PDF BibTeX XML Cite \textit{T. Crolard} et al., ACM Trans. Comput. Log. 10, No. 4, Article No. 26, 37 p. (2009; Zbl 1351.68048) Full Text: DOI
Cooke, John Constructing correct software. 2nd ed. (English) Zbl 1061.68032 London: Springer (ISBN 1-85233-820-2/pbk). xxi, 509 p. (2005). Reviewer: Tudor Bălănescu (Pitesti) MSC: 68Q60 68N30 68N01 PDF BibTeX XML Cite \textit{J. Cooke}, Constructing correct software. 2nd ed. London: Springer (2005; Zbl 1061.68032)
Kobayashi, Ikunori; Fujiwara, Takeshi; Nakano, Junji; Yamamoto, Yoshikazu A procedural and object-oriented statistical scripting language. (English) Zbl 1019.68022 Comput. Stat. 17, No. 3, 395-410 (2002). Reviewer: A.D.Borisenko (Kyïv) MSC: 68N19 PDF BibTeX XML Cite \textit{I. Kobayashi} et al., Comput. Stat. 17, No. 3, 395--410 (2002; Zbl 1019.68022) Full Text: DOI
Merritt, Susan M.; Stix, Allen Migrating from Pascal to C++. Incl. 1 disk. (English) Zbl 0869.68024 Undergraduate Texts in Computer Science. New York, NY: Springer. x, 565 p. (1996). Reviewer: N.Curteanu (Iaşi) MSC: 68N15 68-01 PDF BibTeX XML Cite \textit{S. M. Merritt} and \textit{A. Stix}, Migrating from Pascal to C++. Incl. 1 disk. New York, NY: Springer (1996; Zbl 0869.68024)
Rudd, Anthony S. Practical usage of MVS REXX. (English) Zbl 0858.68009 London: Springer. xiv, 310 p. (1996). Reviewer: J.Tankó (Budapest) MSC: 68N15 68-01 PDF BibTeX XML Cite \textit{A. S. Rudd}, Practical usage of MVS REXX. London: Springer (1996; Zbl 0858.68009)
Higgins, Christopher P. On the declarative and procedural semantics of definite metalogic programs. (English) Zbl 0851.68011 J. Log. Comput. 6, No. 3, 363-407 (1996). MSC: 68N17 PDF BibTeX XML Cite \textit{C. P. Higgins}, J. Log. Comput. 6, No. 3, 363--407 (1996; Zbl 0851.68011) Full Text: DOI
Heal, K. M.; Hansen, M. L.; Rickard, K. M. Introduction to Maple V. Student version. (Einführung in Maple V. Studentenversion. Mit Unterst. von J. S. Devitt. Teilw. auf d. Grundl. d. Arbeiten von B. W. Char. Incl. 1 CD-ROM.) (English) Zbl 0858.68047 Berlin: Springer. ix, 280 p. (1996). Reviewer: N.Curteanu (Iaşi) MSC: 68W30 68-01 68T35 68U05 PDF BibTeX XML Cite \textit{K. M. Heal} et al., Einführung in Maple V. Studentenversion. Mit Unterst. von J. S. Devitt. Teilw. auf d. Grundl. d. Arbeiten von B. W. Char. Incl. 1 CD-ROM. Berlin: Springer (1996; Zbl 0858.68047)
Vukelić, Tatjana; Kamenov, Dušan Implementation of predicate expressions in procedural programming languages. (English) Zbl 0843.68017 Filomat 9, No. 2, 325-332 (1995). MSC: 68N15 PDF BibTeX XML Cite \textit{T. Vukelić} and \textit{D. Kamenov}, Filomat 9, No. 2, 325--332 (1995; Zbl 0843.68017)
Mantsivoda, Andrei The semantics of Flang. (English) Zbl 0819.03020 Bull. Sect. Log., Univ. Łódź, Dep. Log. 24, No. 1, 26-30 (1995). MSC: 03B70 03D10 68Q55 PDF BibTeX XML Cite \textit{A. Mantsivoda}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 24, No. 1, 26--30 (1995; Zbl 0819.03020)
Burton, F. Warren Encapsulating nondeterminacy in an abstract data type with determinate semantics. (English) Zbl 1155.68451 J. Funct. Program. 1, No. 1, 3-20 (1991). MSC: 68Q65 68N18 PDF BibTeX XML Cite \textit{F. W. Burton}, J. Funct. Program. 1, No. 1, 3--20 (1991; Zbl 1155.68451) Full Text: DOI
Genesereth, Michael R.; Hsu, Jane Yung-jen Partial programs. (English) Zbl 0765.68188 Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf., Cambridge/MA (USA) 1991, 238-249 (1991). MSC: 68T30 68N01 68Q60 PDF BibTeX XML Cite \textit{M. R. Genesereth} and \textit{J. Y. j. Hsu}, in: Principles of knowledge representation and reasoning. Proceedings of the 2nd international conference (KR' 91), Cambridge, MA, USA, April 22-25, 1991. San Mateo, CA: Morgan Kaufmann Publishers, Inc.. 238--249 (1991; Zbl 0765.68188)
Hoare, C. A. R.; He, Jifeng; Sanders, J. W. Prespecification in data refinement. (English) Zbl 0624.68027 Inf. Process. Lett. 25, 71-76 (1987). MSC: 68P05 PDF BibTeX XML Cite \textit{C. A. R. Hoare} et al., Inf. Process. Lett. 25, 71--76 (1987; Zbl 0624.68027) 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 PDF BibTeX XML Cite \textit{F. L. Bauer} et al., Sci. Comput. Program. 1, 73--114 (1981; Zbl 0469.68003) Full Text: DOI
Hoffmann, Christoph M. Design and correctness of a compiler for a non-procedural language. (English) Zbl 0363.68001 Acta Inf. 9, 217-241 (1978). MSC: 68N01 PDF BibTeX XML Cite \textit{C. M. Hoffmann}, Acta Inf. 9, 217--241 (1978; Zbl 0363.68001) Full Text: DOI
Wedekind, H. Structured database programming. (English) Zbl 0417.68082 Applied Computer Science - Berichte zur Praktischen Informatik. Bd. 6. München - Wien: Carl Hanser Verlag. 108 S., 19 Abb. DM 28.00 (1977). MSC: 68P20 68-02 68N01 68N99 68P05 68N25 PDF BibTeX XML