HAL/S/V: A Verifiable Subset for HAL/S

Anand R. Tripathi; William D. Young; Donald I. Good; James C. Browne

doi:10.1145/947825.947833

HAL/S/V: A Verifiable Subset for HAL/S

Anand R. Tripathi, William D. Young, Donald I. Good, James C. Browne

Computer Science and Engineering

Research output: Contribution to journal › Article › peer-review

Original language	English (US)
Pages (from-to)	102-112
Number of pages	11
Journal	ACM SIGPLAN Notices
Volume	16
Issue number	3
DOIs	https://doi.org/10.1145/947825.947833
State	Published - Jan 3 1981

Access

10.1145/947825.947833

OpenUrl availability

Full text

Cite this

@article{63efe94498c047d6b031ed2238f6029e,

title = "HAL/S/V: A Verifiable Subset for HAL/S",

author = "Tripathi, {Anand R.} and Young, {William D.} and Good, {Donald I.} and Browne, {James C.}",

year = "1981",

month = jan,

day = "3",

doi = "10.1145/947825.947833",

language = "English (US)",

volume = "16",

pages = "102--112",

journal = "ACM SIGPLAN Notices",

issn = "0362-1340",

publisher = "Association for Computing Machinery (ACM)",

number = "3",

}

TY - JOUR

T1 - HAL/S/V

T2 - A Verifiable Subset for HAL/S

AU - Tripathi, Anand R.

AU - Young, William D.

AU - Good, Donald I.

AU - Browne, James C.

PY - 1981/1/3

Y1 - 1981/1/3

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

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

U2 - 10.1145/947825.947833

DO - 10.1145/947825.947833

M3 - Article

AN - SCOPUS:84976852764

SN - 0362-1340

VL - 16

SP - 102

EP - 112

JO - ACM SIGPLAN Notices

JF - ACM SIGPLAN Notices

IS - 3

ER -

HAL/S/V: A Verifiable Subset for HAL/S

Access

OpenUrl availability

Other files and links

Cite this