The Varieties of Programming Language

The Varieties of Programming Language

Détails bibliographiques
Auteur principal:	Hoare, C
Format:	Conference item
Publié:	Springer 1989

Documents similaires

Hints on Programming Language Design
par: Hoare, C
Publié: (1974)

Notes on the Standardisation of Programming Languages
par: Hoare, C
Publié: (1975)

The High Cost of Programming Languages
par: Hoare, C
Publié: (1976)

Programming Languages: Predictions and Prospects
par: Hoare, C
Publié: (1968)

A Programming Language for Processor Construction
par: Hoare, C
Publié: (1965)

Programming Language Design: Principles and Practices
par: Hoare, C
Publié: (2015)

Prospects for a Better Programming Language
par: Hoare, C
Publié: (1972)

An Axiomatic Definition of the Programming Language PASCAL
par: Hoare, C
Publié: (1972)

A Model for Programming Language Semantics
par: Hoare, C
Publié: (1975)

Categorical Semantics for Programming Languages
par: He, J, et autres
Publié: (1989)

High Level Programming Languages‚ the Way Behind
par: Hoare, C
Publié: (1973)

An Axiomatic Definition of the Programming Language PASCAL
par: Hoare, C, et autres
Publié: (1973)

Hints on the Design of a Programming Language for Real−time Command and Control
par: Hoare, C
Publié: (1976)

Consistent and Complementary Formal Theories of the Semantics of Programming Languages
par: Hoare, C, et autres
Publié: (1974)

Everything You've Wanted to Know about Programming Languages but Have Been Afraid to Ask
par: Hoare, C
Publié: (1978)

Limitations on Languages
par: Hoare, C
Publié: (1968)

Varieties of formal languages /
par: 423861 Pin, J. E., et autres
Publié: (1986)

Structured Programming in Introductory Programming Courses
par: Hoare, C
Publié: (1976)

Program Documentation
par: Hoare, C
Publié: (1968)

Programs are Predicates
par: Hoare, C
Publié: (1985)

Programs are Predicates
par: Hoare, C
Publié: (1992)

Hoare on Programming
par: Hoare, C
Publié: (2015)

The Mathematics of Programming
par: Hoare, C
Publié: (1986)

The Mathematics of Programming
par: Hoare, C
Publié: (2015)

Programs are Predicates
par: Hoare, C
Publié: (1992)

Parallel Programming
par: Hoare, C
Publié: (2015)

Application−Oriented Languages: Project Summary
par: Hoare, C
Publié: (2015)

Program Correctness Proofs
par: Hoare, C
Publié: (1975)

Programming is an Engineering Profession
par: Hoare, C
Publié: (1983)

Programming: Sorcery or Science
par: Hoare, C
Publié: (2015)

Unified Theories of Programming
par: Hoare, C
Publié: (2015)

Specifications‚ Programs and Implementations
par: Hoare, C
Publié: (1982)

A Theory of Programming and its Application to the Design of Correct and Efficient Computer Programs
par: Hoare, C
Publié: (1978)

Parallel Programming: An Axiomatic Approach
par: Hoare, C
Publié: (1975)

The Elliott ALGOL Programming System
par: Hoare, C
Publié: (1964)

An Axiomatic Basis of Computer Programming
par: Hoare, C
Publié: (2015)

Computer Programming as an Engineering Discipline
par: Hoare, C
Publié: (1973)

Proof of a Program: FIND
par: Hoare, C
Publié: (1971)

An Axiomatic Basis for Computer Programming
par: Hoare, C
Publié: (1969)

Varieties of English : an introduction to the study of language /
par: 322639 Freeborn, Dennis, et autres
Publié: (1986)