The Varieties of Programming Language

The Varieties of Programming Language

Бібліографічні деталі
Автор:	Hoare, C
Формат:	Conference item
Опубліковано:	Springer 1989

Схожі ресурси

Hints on Programming Language Design
за авторством: Hoare, C
Опубліковано: (1974)

Notes on the Standardisation of Programming Languages
за авторством: Hoare, C
Опубліковано: (1975)

The High Cost of Programming Languages
за авторством: Hoare, C
Опубліковано: (1976)

Programming Languages: Predictions and Prospects
за авторством: Hoare, C
Опубліковано: (1968)

A Programming Language for Processor Construction
за авторством: Hoare, C
Опубліковано: (1965)

Programming Language Design: Principles and Practices
за авторством: Hoare, C
Опубліковано: (2015)

Prospects for a Better Programming Language
за авторством: Hoare, C
Опубліковано: (1972)

An Axiomatic Definition of the Programming Language PASCAL
за авторством: Hoare, C
Опубліковано: (1972)

A Model for Programming Language Semantics
за авторством: Hoare, C
Опубліковано: (1975)

Categorical Semantics for Programming Languages
за авторством: He, J, та інші
Опубліковано: (1989)

High Level Programming Languages‚ the Way Behind
за авторством: Hoare, C
Опубліковано: (1973)

An Axiomatic Definition of the Programming Language PASCAL
за авторством: Hoare, C, та інші
Опубліковано: (1973)

Hints on the Design of a Programming Language for Real−time Command and Control
за авторством: Hoare, C
Опубліковано: (1976)

Consistent and Complementary Formal Theories of the Semantics of Programming Languages
за авторством: Hoare, C, та інші
Опубліковано: (1974)

Everything You've Wanted to Know about Programming Languages but Have Been Afraid to Ask
за авторством: Hoare, C
Опубліковано: (1978)

Limitations on Languages
за авторством: Hoare, C
Опубліковано: (1968)

Varieties of formal languages /
за авторством: 423861 Pin, J. E., та інші
Опубліковано: (1986)

Structured Programming in Introductory Programming Courses
за авторством: Hoare, C
Опубліковано: (1976)

Program Documentation
за авторством: Hoare, C
Опубліковано: (1968)

Programs are Predicates
за авторством: Hoare, C
Опубліковано: (1985)

Programs are Predicates
за авторством: Hoare, C
Опубліковано: (1992)

Hoare on Programming
за авторством: Hoare, C
Опубліковано: (2015)

The Mathematics of Programming
за авторством: Hoare, C
Опубліковано: (1986)

The Mathematics of Programming
за авторством: Hoare, C
Опубліковано: (2015)

Programs are Predicates
за авторством: Hoare, C
Опубліковано: (1992)

Parallel Programming
за авторством: Hoare, C
Опубліковано: (2015)

Application−Oriented Languages: Project Summary
за авторством: Hoare, C
Опубліковано: (2015)

Program Correctness Proofs
за авторством: Hoare, C
Опубліковано: (1975)

Programming is an Engineering Profession
за авторством: Hoare, C
Опубліковано: (1983)

Programming: Sorcery or Science
за авторством: Hoare, C
Опубліковано: (2015)

Unified Theories of Programming
за авторством: Hoare, C
Опубліковано: (2015)

Specifications‚ Programs and Implementations
за авторством: Hoare, C
Опубліковано: (1982)

A Theory of Programming and its Application to the Design of Correct and Efficient Computer Programs
за авторством: Hoare, C
Опубліковано: (1978)

Parallel Programming: An Axiomatic Approach
за авторством: Hoare, C
Опубліковано: (1975)

The Elliott ALGOL Programming System
за авторством: Hoare, C
Опубліковано: (1964)

An Axiomatic Basis of Computer Programming
за авторством: Hoare, C
Опубліковано: (2015)

Computer Programming as an Engineering Discipline
за авторством: Hoare, C
Опубліковано: (1973)

Proof of a Program: FIND
за авторством: Hoare, C
Опубліковано: (1971)

An Axiomatic Basis for Computer Programming
за авторством: Hoare, C
Опубліковано: (1969)

Varieties of English : an introduction to the study of language /
за авторством: 322639 Freeborn, Dennis, та інші
Опубліковано: (1986)