1999Unpublished venueRequires access

Formal semantics for SA style data flow diagram specification languages

Gary T. Leavens, Tim Wahls, Albert L. Baker

Open publisher page 13 citations

Abstract

Article Formal semantics for SA style data flow diagram specification languages Share on Authors: Gary T. Leavens Department of Computer Science, 229 Atanasoff Hall, Iowa State University, Ames, Iowa Department of Computer Science, 229 Atanasoff Hall, Iowa State University, Ames, IowaView Profile , Tim Wahls Department of Mathematical and Computer Sciences, W256 Olmsted, Penn State Harrisburg, 777 W. Harrisburg Pike, Middletown, PA Department of Mathematical and Computer Sciences, W256 Olmsted, Penn State Harrisburg, 777 W. Harrisburg Pike, Middletown, PAView Profile , Albert L. Baker Department of Computer Science, 228 Atanasoff Hall, Iowa State University, Ames, Iowa Department of Computer Science, 228 Atanasoff Hall, Iowa State University, Ames, IowaView Profile Authors Info & Claims SAC '99: Proceedings of the 1999 ACM symposium on Applied computingFebruary 1999 Pages 526–532https://doi.org/10.1145/298151.298433Published:28 February 1999 6citation755DownloadsMetricsTotal Citations6Total Downloads755Last 12 Months7Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access

About this research paper

What this paper is about

Article Formal semantics for SA style data flow diagram specification languages Share on Authors: Gary T. Leavens Department of Computer Science, 229 Atanasoff Hall, Iowa State University, Ames, Iowa Department of Computer Science, 229 Atanasoff Hall, Iowa State University, Ames, IowaView Profile , Tim Wahls Department of Mathematical and Computer Sciences, W256 Olmsted, Penn State Harrisburg, 777 W. Harrisburg Pike, Middletown, PA Department of Mathematical and Computer Sciences, W256 Olmsted, Penn State Harrisburg, 777 W. Harrisburg Pike, Middletown, PAView Profile , Albert L. Baker Department of Computer Science, 228 Atanasoff Hall, Iowa State University, Ames, Iowa Department of Computer Science, 228 Atanasoff Hall, Iowa State University, Ames, IowaView Profile Authors Info & Claims SAC '99: Proceedings of the 1999 ACM symposium on Applied computingFebruary 1999 Pages 526–532https://doi.org/10.1145/298151.298433Published:28 February 1999 6citation755DownloadsMetricsTotal Citations6Total Downloads755Last 12 Months7Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access

Why it matters

OpenAlex reports 13 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Article Formal semantics for SA style data flow diagram specification languages Share on Authors: Gary T. Leavens Department of Computer Science, 229 Atanasoff Hall, Iowa State University, Ames, Iowa Department of Computer Science, 229 Atanasoff Hall, Iowa State University, Ames, IowaView Profile , Tim Wahls Department of Mathematical and Computer Sciences, W256 Olmsted, Penn State Harrisburg, 777 W. Harrisburg Pike, Middletown, PA Department of Mathematical and Computer Sciences, W256 Olmsted, Penn State Harrisburg, 777 W. Harrisburg Pike, Middletown, PAView Profile , Albert L. Baker Department of Computer Science, 228 Atanasoff Hall, Iowa State University, Ames, Iowa Department of Computer Science, 228 Atanasoff Hall, Iowa State University, Ames, IowaView Profile Authors Info & Claims SAC '99: Proceedings of the 1999 ACM symposium on Applied computingFebruary 1999 Pages 526–532https://doi.org/10.1145/298151.298433Published:28 February 1999 6citation755DownloadsMetricsTotal Citations6Total Downloads755Last 12 Months7Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access

Key concepts: Citation, Computer science, State (computer science), Library science, Programming language

Related papers

Back to paper searchBrowse research topicsOriginal source
Formal semantics for SA style data flow diagram specification languages — Research Paper | ScholarLens