Consistent and Complementary Formal Theories of the Semantics of Programming Languages

Consistent and Complementary Formal Theories of the Semantics of Programming Languages

Detaylı Bibliyografya
Asıl Yazarlar:	Hoare, C, Lauer, P
Materyal Türü:	Journal article
Baskı/Yayın Bilgisi:	1974

Benzer Materyaller

Categorical Semantics for Programming Languages
Yazar:: He, J, ve diğerleri
Baskı/Yayın Bilgisi: (1989)

A Model for Programming Language Semantics
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1975)

A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2015)

Formal semantics for natural language
Yazar:: Kepa Korta, ve diğerleri
Baskı/Yayın Bilgisi: (1993-04-01)

Elements of Formal Semantics: An Introduction to the Mathematical Theory of Meaning in Natural Language
Yazar:: Michael Yoshitaka Erlewine
Baskı/Yayın Bilgisi: (2021-03-01)

Formal Language Decomposition into Semantic Primes
Yazar:: Johannes FÄHNDRICH, ve diğerleri
Baskı/Yayın Bilgisi: (2014-10-01)

A theory of programming language semantics /
Yazar:: 348582 Milne, Robert, ve diğerleri
Baskı/Yayın Bilgisi: (1976)

An Overview of Some Formal Methods for Program Design
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1987)

The formal semantics of a domain-specific modelling language
Yazar:: Grealish, C
Baskı/Yayın Bilgisi: (2010)

A guarded workflow language and its formal semantics
Yazar:: Wang, C, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

A Guarded Workflow Language and Its Formal Semantics
Yazar:: Wang, C, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Unifying Semantics for Concurrent Programming
Yazar:: Hoare, T
Baskı/Yayın Bilgisi: (2013)

Elements of formal semantics : an introduction to logic for students of language /
Yazar:: 286744 Martin, John N.
Baskı/Yayın Bilgisi: (1987)

The Formalism and Language Tools for Semantics Speciﬁcation of Software Libraries
Yazar:: V. M. Itsykson
Baskı/Yayın Bilgisi: (2016-12-01)

DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics.
Yazar:: Samson Abramsky, ve diğerleri
Baskı/Yayın Bilgisi: (2015-11-01)

Jewels of formal language theory /
Yazar:: 459218 Salomaa, Arto
Baskı/Yayın Bilgisi: (1981)

Introduction to formal language theory /
Yazar:: 459631 Harrison, Michael A.
Baskı/Yayın Bilgisi: (1978)

Formal language theory and DNA
Yazar:: Mohd. Ali, Nor Muhainiah
Baskı/Yayın Bilgisi: (2004)

Formal language theory and DNA /
Yazar:: Nor Muhainiah Mohd. Ali, 1981- 483718
Baskı/Yayın Bilgisi: (2004)

Conformance theory development: semantics, formal models, algorithms
Yazar:: Igor Burdonov, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

A Formal System for Defining the Syntax and Semantics of Computer Languages
Yazar:: Ledgard, Henry Francis
Baskı/Yayın Bilgisi: (2023)

Understanding Z : a specification language and its formal semantics /
Yazar:: 201842 Spivey, J. M.
Baskı/Yayın Bilgisi: (1988)

RATIO OF FORMAL AND LEXICAL-SEMANTIC VARIATION OF THE WORD IN THE LANGUAGE SYSTEM
Yazar:: Z. M. Bogoslovskaya
Baskı/Yayın Bilgisi: (2013-11-01)

A Theory of Formal Choreographic Languages
Yazar:: Franco Barbanera, ve diğerleri
Baskı/Yayın Bilgisi: (2023-08-01)

The Varieties of Programming Language
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1989)

Formal semantics for VHDL /
Yazar:: Kloos, Carlos Delgado, ve diğerleri
Baskı/Yayın Bilgisi: (1995)

Consistency and Some Other Requirements of a Formal Theory in the Context of Multiverse Models
Yazar:: Karpenko Ivan
Baskı/Yayın Bilgisi: (2024-08-01)

Big data integration theory : theory and methods of database mappings, programming languages, and semantics /
Yazar:: Majkic, Zoran
Baskı/Yayın Bilgisi: (2014)

Unified Theories of Programming
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2015)

The erotetic theory of reasoning: bridges between formal semantics and the psychology of deductive inference
Yazar:: Koralus, P, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Hints on Programming Language Design
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1974)

Notes on the Standardisation of Programming Languages
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1975)

The High Cost of Programming Languages
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1976)

Programming Languages: Predictions and Prospects
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1968)

Games in the Semantics of Programming Languages
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (1997)

Game Semantics for Programming Languages
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (1997)

Programming language syntax and semantics /
Yazar:: Watt, David A. (David Anthony), ve diğerleri
Baskı/Yayın Bilgisi: (1990)

On the Learnability of Programming Language Semantics
Yazar:: Dan R. Ghica, ve diğerleri
Baskı/Yayın Bilgisi: (2017-11-01)

Formal language theory and the geometry of 3-manifolds
Yazar:: Bridson, M, ve diğerleri
Baskı/Yayın Bilgisi: (1996)

A first course in formal language theory /
Yazar:: 209648 Rayward-Smith, V. J.
Baskı/Yayın Bilgisi: (1983)