The Varieties of Programming Language

The Varieties of Programming Language

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Hoare, C
Formáid:	Conference item
Foilsithe / Cruthaithe:	Springer 1989

Míreanna comhchosúla

Hints on Programming Language Design
de réir: Hoare, C
Foilsithe / Cruthaithe: (1974)

Notes on the Standardisation of Programming Languages
de réir: Hoare, C
Foilsithe / Cruthaithe: (1975)

The High Cost of Programming Languages
de réir: Hoare, C
Foilsithe / Cruthaithe: (1976)

Programming Languages: Predictions and Prospects
de réir: Hoare, C
Foilsithe / Cruthaithe: (1968)

A Programming Language for Processor Construction
de réir: Hoare, C
Foilsithe / Cruthaithe: (1965)

Programming Language Design: Principles and Practices
de réir: Hoare, C
Foilsithe / Cruthaithe: (2015)

Prospects for a Better Programming Language
de réir: Hoare, C
Foilsithe / Cruthaithe: (1972)

An Axiomatic Definition of the Programming Language PASCAL
de réir: Hoare, C
Foilsithe / Cruthaithe: (1972)

A Model for Programming Language Semantics
de réir: Hoare, C
Foilsithe / Cruthaithe: (1975)

Categorical Semantics for Programming Languages
de réir: He, J, et al.
Foilsithe / Cruthaithe: (1989)

High Level Programming Languages‚ the Way Behind
de réir: Hoare, C
Foilsithe / Cruthaithe: (1973)

An Axiomatic Definition of the Programming Language PASCAL
de réir: Hoare, C, et al.
Foilsithe / Cruthaithe: (1973)

Hints on the Design of a Programming Language for Real−time Command and Control
de réir: Hoare, C
Foilsithe / Cruthaithe: (1976)

Consistent and Complementary Formal Theories of the Semantics of Programming Languages
de réir: Hoare, C, et al.
Foilsithe / Cruthaithe: (1974)

Everything You've Wanted to Know about Programming Languages but Have Been Afraid to Ask
de réir: Hoare, C
Foilsithe / Cruthaithe: (1978)

Limitations on Languages
de réir: Hoare, C
Foilsithe / Cruthaithe: (1968)

Varieties of formal languages /
de réir: 423861 Pin, J. E., et al.
Foilsithe / Cruthaithe: (1986)

Structured Programming in Introductory Programming Courses
de réir: Hoare, C
Foilsithe / Cruthaithe: (1976)

Program Documentation
de réir: Hoare, C
Foilsithe / Cruthaithe: (1968)

Programs are Predicates
de réir: Hoare, C
Foilsithe / Cruthaithe: (1985)

Programs are Predicates
de réir: Hoare, C
Foilsithe / Cruthaithe: (1992)

Hoare on Programming
de réir: Hoare, C
Foilsithe / Cruthaithe: (2015)

The Mathematics of Programming
de réir: Hoare, C
Foilsithe / Cruthaithe: (1986)

The Mathematics of Programming
de réir: Hoare, C
Foilsithe / Cruthaithe: (2015)

Programs are Predicates
de réir: Hoare, C
Foilsithe / Cruthaithe: (1992)

Parallel Programming
de réir: Hoare, C
Foilsithe / Cruthaithe: (2015)

Application−Oriented Languages: Project Summary
de réir: Hoare, C
Foilsithe / Cruthaithe: (2015)

Program Correctness Proofs
de réir: Hoare, C
Foilsithe / Cruthaithe: (1975)

Programming is an Engineering Profession
de réir: Hoare, C
Foilsithe / Cruthaithe: (1983)

Programming: Sorcery or Science
de réir: Hoare, C
Foilsithe / Cruthaithe: (2015)

Unified Theories of Programming
de réir: Hoare, C
Foilsithe / Cruthaithe: (2015)

Specifications‚ Programs and Implementations
de réir: Hoare, C
Foilsithe / Cruthaithe: (1982)

A Theory of Programming and its Application to the Design of Correct and Efficient Computer Programs
de réir: Hoare, C
Foilsithe / Cruthaithe: (1978)

Parallel Programming: An Axiomatic Approach
de réir: Hoare, C
Foilsithe / Cruthaithe: (1975)

The Elliott ALGOL Programming System
de réir: Hoare, C
Foilsithe / Cruthaithe: (1964)

An Axiomatic Basis of Computer Programming
de réir: Hoare, C
Foilsithe / Cruthaithe: (2015)

Computer Programming as an Engineering Discipline
de réir: Hoare, C
Foilsithe / Cruthaithe: (1973)

Proof of a Program: FIND
de réir: Hoare, C
Foilsithe / Cruthaithe: (1971)

An Axiomatic Basis for Computer Programming
de réir: Hoare, C
Foilsithe / Cruthaithe: (1969)

Varieties of English : an introduction to the study of language /
de réir: 322639 Freeborn, Dennis, et al.
Foilsithe / Cruthaithe: (1986)