Semantics of algorithmic languages

DOI10.1007/BF01101651MaRDI QIDQ760200zbMATH OpenFDO

Authors Nikolay N. Nepeivoda

Publication date 1984

Published in Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01101651

zbMATH Keywords

semantics of programming languagessurvey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Review text

Translation from Itogi Nauki Tekh., Ser. Teor. Veroyatn. Mat. Stat. Teor. Kibern. 20, 95-166 (1983; Zbl 0542.68002).

Cites work

• A characterization of weakest preconditions
• A class of functions synthesized from a finite number of examples and a lisp program scheme
• A closer look at termination
• A Comparison of the Axiomatic and Functional Models of Structured Programming
• A Complete and Consistent Hoare Axiomatics for a Simple Programming Language
• A mathematical semantics for a nondeterministic typed lambda-calculus
• A method of describing programming languages
• A Powerdomain Construction
• A simple relation between relational and predicate transformer semantics for nondeterministic programs
• A Transformation System for Developing Recursive Programs
• Algorithm = logic + control
• Algorithm classification through synthesis
• An Approach to Formal Definitions and Proofs of Programming Principles
• An approach to the construction of a universal language schema. semantics
• An automatic system of logical deduction
• An axiomatic basis for computer programming
• An axiomatic basis for proving total correctness of goto-programs
• An order-algebraic definition of knuthian semantics
• Analysis and synthesis of structured parallel programs
• Axioms for user-defined operators
• Bunch theory: A simple set theory for computer science
• Can programming be liberated from the von Neumann style?
• Communicating sequential processes
• Computability concepts for programming language semantics
• Correct Computation Rules for Recursive Languages
• Correctness and equivalence of programs
• Data types, abstract data types and their specification problem
• Derivation of Logic Programs
• Description of language projections
• Effective Transformations on Probabilistic Data
• Expressibility of functionals in D. Scott's LCF language
• Extensions and implementations of abstract data type specifications
• Final algebra semantics and data type extensions
• Formal computations of non deterministic recursive program schemes
• Formal derivation of strongly correct concurrent programs
• Formal semantics of a SNOBOL4 subset
• Formalization of correctness of recursive definitions
• Functional combination
• Hierarchical program specification and verification - a many-sorted logical approach
• Horn clause computability
• scientific article; zbMATH DE number 3642675 (Why is no real title available?)
• scientific article; zbMATH DE number 3645095 (Why is no real title available?)
• scientific article; zbMATH DE number 3646848 (Why is no real title available?)
• scientific article; zbMATH DE number 3648093 (Why is no real title available?)
• scientific article; zbMATH DE number 3649964 (Why is no real title available?)
• scientific article; zbMATH DE number 3140027 (Why is no real title available?)
• scientific article; zbMATH DE number 3871350 (Why is no real title available?)
• scientific article; zbMATH DE number 3655320 (Why is no real title available?)
• scientific article; zbMATH DE number 3662551 (Why is no real title available?)
• scientific article; zbMATH DE number 3667989 (Why is no real title available?)
• scientific article; zbMATH DE number 3675290 (Why is no real title available?)
• scientific article; zbMATH DE number 3679154 (Why is no real title available?)
• scientific article; zbMATH DE number 3679161 (Why is no real title available?)
• scientific article; zbMATH DE number 3679163 (Why is no real title available?)
• scientific article; zbMATH DE number 3679165 (Why is no real title available?)
• scientific article; zbMATH DE number 3679166 (Why is no real title available?)
• scientific article; zbMATH DE number 3684934 (Why is no real title available?)
• scientific article; zbMATH DE number 3688681 (Why is no real title available?)
• scientific article; zbMATH DE number 3688682 (Why is no real title available?)
• scientific article; zbMATH DE number 3688683 (Why is no real title available?)
• scientific article; zbMATH DE number 3688691 (Why is no real title available?)
• scientific article; zbMATH DE number 3690663 (Why is no real title available?)
• scientific article; zbMATH DE number 3696479 (Why is no real title available?)
• scientific article; zbMATH DE number 3700214 (Why is no real title available?)
• scientific article; zbMATH DE number 3700255 (Why is no real title available?)
• scientific article; zbMATH DE number 3703962 (Why is no real title available?)
• scientific article; zbMATH DE number 3705888 (Why is no real title available?)
• scientific article; zbMATH DE number 3705898 (Why is no real title available?)
• scientific article; zbMATH DE number 3705899 (Why is no real title available?)
• scientific article; zbMATH DE number 3707727 (Why is no real title available?)
• scientific article; zbMATH DE number 3711375 (Why is no real title available?)
• scientific article; zbMATH DE number 3714896 (Why is no real title available?)
• scientific article; zbMATH DE number 3714899 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 3714908 (Why is no real title available?)
• scientific article; zbMATH DE number 3716749 (Why is no real title available?)
• scientific article; zbMATH DE number 3716752 (Why is no real title available?)
• scientific article; zbMATH DE number 3716762 (Why is no real title available?)
• scientific article; zbMATH DE number 3716770 (Why is no real title available?)
• scientific article; zbMATH DE number 3720339 (Why is no real title available?)
• scientific article; zbMATH DE number 3722074 (Why is no real title available?)
• scientific article; zbMATH DE number 3723838 (Why is no real title available?)
• scientific article; zbMATH DE number 3725684 (Why is no real title available?)
• scientific article; zbMATH DE number 3727605 (Why is no real title available?)
• scientific article; zbMATH DE number 3729432 (Why is no real title available?)
• scientific article; zbMATH DE number 3733223 (Why is no real title available?)
• scientific article; zbMATH DE number 3735102 (Why is no real title available?)
• scientific article; zbMATH DE number 3737004 (Why is no real title available?)
• scientific article; zbMATH DE number 3738918 (Why is no real title available?)
• scientific article; zbMATH DE number 3754686 (Why is no real title available?)
• scientific article; zbMATH DE number 3754002 (Why is no real title available?)
• scientific article; zbMATH DE number 3464806 (Why is no real title available?)
• scientific article; zbMATH DE number 3488598 (Why is no real title available?)
• scientific article; zbMATH DE number 3492141 (Why is no real title available?)
• scientific article; zbMATH DE number 3493850 (Why is no real title available?)
• scientific article; zbMATH DE number 3499211 (Why is no real title available?)
• scientific article; zbMATH DE number 3503200 (Why is no real title available?)
• scientific article; zbMATH DE number 3513296 (Why is no real title available?)
• scientific article; zbMATH DE number 3514951 (Why is no real title available?)
• scientific article; zbMATH DE number 3516671 (Why is no real title available?)
• scientific article; zbMATH DE number 3518255 (Why is no real title available?)
• scientific article; zbMATH DE number 3518773 (Why is no real title available?)
• scientific article; zbMATH DE number 3521491 (Why is no real title available?)
• scientific article; zbMATH DE number 3524703 (Why is no real title available?)
• scientific article; zbMATH DE number 3529402 (Why is no real title available?)
• scientific article; zbMATH DE number 3548464 (Why is no real title available?)
• scientific article; zbMATH DE number 3550144 (Why is no real title available?)
• scientific article; zbMATH DE number 3550151 (Why is no real title available?)
• scientific article; zbMATH DE number 3550165 (Why is no real title available?)
• scientific article; zbMATH DE number 3551847 (Why is no real title available?)
• scientific article; zbMATH DE number 3555429 (Why is no real title available?)
• scientific article; zbMATH DE number 3555442 (Why is no real title available?)
• scientific article; zbMATH DE number 3558929 (Why is no real title available?)
• scientific article; zbMATH DE number 3557184 (Why is no real title available?)
• scientific article; zbMATH DE number 3562458 (Why is no real title available?)
• scientific article; zbMATH DE number 3562460 (Why is no real title available?)
• scientific article; zbMATH DE number 3562469 (Why is no real title available?)
• scientific article; zbMATH DE number 3562492 (Why is no real title available?)
• scientific article; zbMATH DE number 3562493 (Why is no real title available?)
• scientific article; zbMATH DE number 3566121 (Why is no real title available?)
• scientific article; zbMATH DE number 3566135 (Why is no real title available?)
• scientific article; zbMATH DE number 3569792 (Why is no real title available?)
• scientific article; zbMATH DE number 3569806 (Why is no real title available?)
• scientific article; zbMATH DE number 3571466 (Why is no real title available?)
• scientific article; zbMATH DE number 3574942 (Why is no real title available?)
• scientific article; zbMATH DE number 3574943 (Why is no real title available?)
• scientific article; zbMATH DE number 3578324 (Why is no real title available?)
• scientific article; zbMATH DE number 3583248 (Why is no real title available?)
• scientific article; zbMATH DE number 3583249 (Why is no real title available?)
• scientific article; zbMATH DE number 3584897 (Why is no real title available?)
• scientific article; zbMATH DE number 3594615 (Why is no real title available?)
• scientific article; zbMATH DE number 3594617 (Why is no real title available?)
• scientific article; zbMATH DE number 3594618 (Why is no real title available?)
• scientific article; zbMATH DE number 3594619 (Why is no real title available?)
• scientific article; zbMATH DE number 3596214 (Why is no real title available?)
• scientific article; zbMATH DE number 3596224 (Why is no real title available?)
• scientific article; zbMATH DE number 3597849 (Why is no real title available?)
• scientific article; zbMATH DE number 3609098 (Why is no real title available?)
• scientific article; zbMATH DE number 3609101 (Why is no real title available?)
• scientific article; zbMATH DE number 3612415 (Why is no real title available?)
• scientific article; zbMATH DE number 3612417 (Why is no real title available?)
• scientific article; zbMATH DE number 3614202 (Why is no real title available?)
• scientific article; zbMATH DE number 3617531 (Why is no real title available?)
• scientific article; zbMATH DE number 3618140 (Why is no real title available?)
• scientific article; zbMATH DE number 3621081 (Why is no real title available?)
• scientific article; zbMATH DE number 3621085 (Why is no real title available?)
• scientific article; zbMATH DE number 3621091 (Why is no real title available?)
• scientific article; zbMATH DE number 3622920 (Why is no real title available?)
• scientific article; zbMATH DE number 3624762 (Why is no real title available?)
• scientific article; zbMATH DE number 3624763 (Why is no real title available?)
• scientific article; zbMATH DE number 3624790 (Why is no real title available?)
• scientific article; zbMATH DE number 3628338 (Why is no real title available?)
• scientific article; zbMATH DE number 3628340 (Why is no real title available?)
• scientific article; zbMATH DE number 3628342 (Why is no real title available?)
• scientific article; zbMATH DE number 3628345 (Why is no real title available?)
• scientific article; zbMATH DE number 3628347 (Why is no real title available?)
• scientific article; zbMATH DE number 3628350 (Why is no real title available?)
• scientific article; zbMATH DE number 3628353 (Why is no real title available?)
• scientific article; zbMATH DE number 3628354 (Why is no real title available?)
• scientific article; zbMATH DE number 3628355 (Why is no real title available?)
• scientific article; zbMATH DE number 3628358 (Why is no real title available?)
• scientific article; zbMATH DE number 3628362 (Why is no real title available?)
• scientific article; zbMATH DE number 3628934 (Why is no real title available?)
• scientific article; zbMATH DE number 3630184 (Why is no real title available?)
• scientific article; zbMATH DE number 3630737 (Why is no real title available?)
• scientific article; zbMATH DE number 3633674 (Why is no real title available?)
• scientific article; zbMATH DE number 3633676 (Why is no real title available?)
• scientific article; zbMATH DE number 3633706 (Why is no real title available?)
• scientific article; zbMATH DE number 3635475 (Why is no real title available?)
• scientific article; zbMATH DE number 3635477 (Why is no real title available?)
• scientific article; zbMATH DE number 3635519 (Why is no real title available?)
• scientific article; zbMATH DE number 3635541 (Why is no real title available?)
• scientific article; zbMATH DE number 3637262 (Why is no real title available?)
• scientific article; zbMATH DE number 3637271 (Why is no real title available?)
• scientific article; zbMATH DE number 3639136 (Why is no real title available?)
• scientific article; zbMATH DE number 3639138 (Why is no real title available?)
• scientific article; zbMATH DE number 3640848 (Why is no real title available?)
• scientific article; zbMATH DE number 3640912 (Why is no real title available?)
• scientific article; zbMATH DE number 814792 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• scientific article; zbMATH DE number 3322444 (Why is no real title available?)
• scientific article; zbMATH DE number 3413802 (Why is no real title available?)
• Inference Rules for Program Annotation
• Is “sometime” sometimes better than “always”?
• LAR: A logic of algorithmic reasoning
• LCF considered as a programming language
• Logic and programming languages
• Lucid—A Formal System for Writing and Proving Programs
• Making computational sense of Montague's intensional logic
• Methods for specifying static semantics
• Models for recursion theory
• More on advice on structuring compilers and proving them correct
• Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I
• Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II
• On an equivalence between continuation and stack semantics
• On Interpreter-Oriented Definitions of Programming Languages
• On removing the machine from the language
• On the Definition of Computable Function of a Real Variable
• Parallel programming: An axiomatic approach
• Power domains
• Presburger arithmetic with array segments
• Primitive recursive algebraic theories and program schemes
• Program construction by refinements preserving correctness
• Program Development as a Formal Activity
• Program invariants as fixedpoints
• Program Optimization Using Invariants
• Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
• Programming with Verification Conditions
• Proof of the characteristics of programs containing procedures and conditional operators
• Proof rules for the programming language Euclid
• Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
• Recursion theory on processes
• Remarks on R. D. Tennent's Language design methods based on semantic principles: Algol 68, a language designed using semantic principles
• Safe programming
• SEMANOL (73), a metalanguage for programming the semantics of programming languages
• Semantic specification using two-level grammars: Blocks, procedures and parameters
• Semantics of nondeterminism, concurrency, and communication
• Some Properties of Predicate Transformers
• Soundness and Completeness of an Axiom System for Program Verification
• Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer
• Subgoal induction
• Synthesis: Dreams → Programs
• The calculus of functional systems and parallel algorithms
• The denotational semantics of programming languages
• The Logic of Computer Programming
• The optimal approach to recursive programs
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
• The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment
• The Semantics of Predicate Logic as a Programming Language
• Theory of program structures: Schemes, semantics, verification
• Transformations of structures: An algebraic approach
• Verification Decidability of Presburger Array Programs
• Verifying Program Performance
• What is an abstract datatype?

Cited in

(3)

• Revised report on the algorithmic language scheme
• scientific article; zbMATH DE number 3980456 (Why is no real title available?)
• Semantics-to-Syntax Analyses of Algorithms

Describes a project that uses

Uses Software

• ALGOL 68
• Refal
• SEMANOL

This page was built for publication: Semantics of algorithmic languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q760200)