Typestate: A programming language concept for enhancing software reliability

Yemini, Shaula; Strom, Robert E.

doi:10.1109/TSE.1986.6312929

Record: found
Abstract: not found
Article: not found

Typestate: A programming language concept for enhancing software reliability

Author(s): Robert E. Strom , Shaula Yemini

Publication date (Print): January 1986

Journal: IEEE Transactions on Software Engineering

Publisher: Institute of Electrical and Electronics Engineers (IEEE)

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: IEEE Transactions on Software Engineering

Abbreviated Title: IIEEE Trans. Software Eng.

Publisher: Institute of Electrical and Electronics Engineers (IEEE)

ISSN (Print): 0098-5589

Publication date Created: January 1986

Publication date (Print): January 1986

Volume: SE-12

Issue: 1

Pages: 157-171

Article

DOI: 10.1109/TSE.1986.6312929

SO-VID: 09727d6a-bdd0-4dc8-a09d-0571dbd89eb0

History

Data availability:

Typestate: A programming language concept for enhancing software reliability

Read this article at

Related collections

Smart Contracts Programming Languages

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 1,458

Cited by 32