CASE STUDY IN SPECIFYING THE SEMANTICS OF A PROGRAMMING LANGUAGE.

Research output: Chapter in Book/Report/Conference proceedingChapter

6 Citations (Scopus)

Abstract

The author has worked on a semantic specification for the C programming language. The objective was to construct a readable and precise specification of C, aimed at compiler writers, maintainers, and language pundits. This work is a report on the project.

Original languageEnglish (US)
Title of host publicationConference Record of the Annual ACM Symposium on Principles of Programming Languages
PublisherACM (Order n 549800)
Pages117-130
Number of pages14
StatePublished - 1980
EventConf Rec Annu ACM Symp Princ Program Lang 7th Pap Presented at the Symp - Las Vegas, NV, USA
Duration: Jan 28 1980Jan 30 1980

Other

OtherConf Rec Annu ACM Symp Princ Program Lang 7th Pap Presented at the Symp
CityLas Vegas, NV, USA
Period1/28/801/30/80

Fingerprint

Computer programming languages
Semantics
Specifications

ASJC Scopus subject areas

  • Software

Cite this

Sethi, R. (1980). CASE STUDY IN SPECIFYING THE SEMANTICS OF A PROGRAMMING LANGUAGE. In Conference Record of the Annual ACM Symposium on Principles of Programming Languages (pp. 117-130). ACM (Order n 549800).

CASE STUDY IN SPECIFYING THE SEMANTICS OF A PROGRAMMING LANGUAGE. / Sethi, Ravi.

Conference Record of the Annual ACM Symposium on Principles of Programming Languages. ACM (Order n 549800), 1980. p. 117-130.

Research output: Chapter in Book/Report/Conference proceedingChapter

Sethi, R 1980, CASE STUDY IN SPECIFYING THE SEMANTICS OF A PROGRAMMING LANGUAGE. in Conference Record of the Annual ACM Symposium on Principles of Programming Languages. ACM (Order n 549800), pp. 117-130, Conf Rec Annu ACM Symp Princ Program Lang 7th Pap Presented at the Symp, Las Vegas, NV, USA, 1/28/80.
Sethi R. CASE STUDY IN SPECIFYING THE SEMANTICS OF A PROGRAMMING LANGUAGE. In Conference Record of the Annual ACM Symposium on Principles of Programming Languages. ACM (Order n 549800). 1980. p. 117-130
Sethi, Ravi. / CASE STUDY IN SPECIFYING THE SEMANTICS OF A PROGRAMMING LANGUAGE. Conference Record of the Annual ACM Symposium on Principles of Programming Languages. ACM (Order n 549800), 1980. pp. 117-130
@inbook{d1274916f9f24bd3bbb87585364d4fd3,
title = "CASE STUDY IN SPECIFYING THE SEMANTICS OF A PROGRAMMING LANGUAGE.",
abstract = "The author has worked on a semantic specification for the C programming language. The objective was to construct a readable and precise specification of C, aimed at compiler writers, maintainers, and language pundits. This work is a report on the project.",
author = "Ravi Sethi",
year = "1980",
language = "English (US)",
pages = "117--130",
booktitle = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",
publisher = "ACM (Order n 549800)",

}

TY - CHAP

T1 - CASE STUDY IN SPECIFYING THE SEMANTICS OF A PROGRAMMING LANGUAGE.

AU - Sethi, Ravi

PY - 1980

Y1 - 1980

N2 - The author has worked on a semantic specification for the C programming language. The objective was to construct a readable and precise specification of C, aimed at compiler writers, maintainers, and language pundits. This work is a report on the project.

AB - The author has worked on a semantic specification for the C programming language. The objective was to construct a readable and precise specification of C, aimed at compiler writers, maintainers, and language pundits. This work is a report on the project.

UR - http://www.scopus.com/inward/record.url?scp=0019110928&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0019110928&partnerID=8YFLogxK

M3 - Chapter

AN - SCOPUS:0019110928

SP - 117

EP - 130

BT - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

PB - ACM (Order n 549800)

ER -