Consistent and Complementary Formal Theories of the Semantics of Programming Languages

Consistent and Complementary Formal Theories of the Semantics of Programming Languages

Chi tiết về thư mục
Những tác giả chính:	Hoare, C, Lauer, P
Định dạng:	Journal article
Được phát hành:	1974

Những quyển sách tương tự

Categorical Semantics for Programming Languages
Bằng: He, J, et al.
Được phát hành: (1989)

A Model for Programming Language Semantics
Bằng: Hoare, C
Được phát hành: (1975)

A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
Bằng: Hoare, C
Được phát hành: (2015)

Formal semantics for natural language
Bằng: Kepa Korta, et al.
Được phát hành: (1993-04-01)

Elements of Formal Semantics: An Introduction to the Mathematical Theory of Meaning in Natural Language
Bằng: Michael Yoshitaka Erlewine
Được phát hành: (2021-03-01)

A theory of programming language semantics /
Bằng: 348582 Milne, Robert, et al.
Được phát hành: (1976)

Formal Language Decomposition into Semantic Primes
Bằng: Johannes FÄHNDRICH, et al.
Được phát hành: (2014-10-01)

An Overview of Some Formal Methods for Program Design
Bằng: Hoare, C
Được phát hành: (1987)

The formal semantics of a domain-specific modelling language
Bằng: Grealish, C
Được phát hành: (2010)

A guarded workflow language and its formal semantics
Bằng: Wang, C, et al.
Được phát hành: (2010)

A Guarded Workflow Language and Its Formal Semantics
Bằng: Wang, C, et al.
Được phát hành: (2010)

Unifying Semantics for Concurrent Programming
Bằng: Hoare, T
Được phát hành: (2013)

Elements of formal semantics : an introduction to logic for students of language /
Bằng: 286744 Martin, John N.
Được phát hành: (1987)

The Formalism and Language Tools for Semantics Speciﬁcation of Software Libraries
Bằng: V. M. Itsykson
Được phát hành: (2016-12-01)

DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics.
Bằng: Samson Abramsky, et al.
Được phát hành: (2015-11-01)

Jewels of formal language theory /
Bằng: 459218 Salomaa, Arto
Được phát hành: (1981)

Introduction to formal language theory /
Bằng: 459631 Harrison, Michael A.
Được phát hành: (1978)

Formal language theory and DNA
Bằng: Mohd. Ali, Nor Muhainiah
Được phát hành: (2004)

Formal language theory and DNA /
Bằng: Nor Muhainiah Mohd. Ali, 1981- 483718
Được phát hành: (2004)

Conformance theory development: semantics, formal models, algorithms
Bằng: Igor Burdonov, et al.
Được phát hành: (2018-10-01)

A Formal System for Defining the Syntax and Semantics of Computer Languages
Bằng: Ledgard, Henry Francis
Được phát hành: (2023)

Understanding Z : a specification language and its formal semantics /
Bằng: 201842 Spivey, J. M.
Được phát hành: (1988)

RATIO OF FORMAL AND LEXICAL-SEMANTIC VARIATION OF THE WORD IN THE LANGUAGE SYSTEM
Bằng: Z. M. Bogoslovskaya
Được phát hành: (2013-11-01)

Reference in Formal Semantics and Natural Language: A Methodological Route
Bằng: Francesca Boccuni
Được phát hành: (2019-03-01)

The Varieties of Programming Language
Bằng: Hoare, C
Được phát hành: (1989)

A Theory of Formal Choreographic Languages
Bằng: Franco Barbanera, et al.
Được phát hành: (2023-08-01)

Hyperbolic tilings and formal language theory
Bằng: Maurice Margenstern, et al.
Được phát hành: (2013-09-01)

Formal semantics for VHDL /
Bằng: Kloos, Carlos Delgado, et al.
Được phát hành: (1995)

Consistency and Some Other Requirements of a Formal Theory in the Context of Multiverse Models
Bằng: Karpenko Ivan
Được phát hành: (2024-08-01)

Big data integration theory : theory and methods of database mappings, programming languages, and semantics /
Bằng: Majkic, Zoran
Được phát hành: (2014)

Unified Theories of Programming
Bằng: Hoare, C
Được phát hành: (2015)

Hints on Programming Language Design
Bằng: Hoare, C
Được phát hành: (1974)

The erotetic theory of reasoning: bridges between formal semantics and the psychology of deductive inference
Bằng: Koralus, P, et al.
Được phát hành: (2013)

Notes on the Standardisation of Programming Languages
Bằng: Hoare, C
Được phát hành: (1975)

The High Cost of Programming Languages
Bằng: Hoare, C
Được phát hành: (1976)

Programming Languages: Predictions and Prospects
Bằng: Hoare, C
Được phát hành: (1968)

Games in the Semantics of Programming Languages
Bằng: Abramsky, S
Được phát hành: (1997)

Game Semantics for Programming Languages
Bằng: Abramsky, S
Được phát hành: (1997)

Programming language syntax and semantics /
Bằng: Watt, David A. (David Anthony), et al.
Được phát hành: (1990)

On the Learnability of Programming Language Semantics
Bằng: Dan R. Ghica, et al.
Được phát hành: (2017-11-01)