Specification languages for mechanical languages and their processors a baker's dozen
1961; Association for Computing Machinery; Volume: 4; Issue: 12 Linguagem: Inglês
10.1145/366853.366856
ISSN1557-7317
Autores Tópico(s)Formal Methods in Verification
Resumoarticle Free Access Share on Specification languages for mechanical languages and their processors a baker's dozen: a set of examples presented to ASA x3.4 subcommittee Author: Saul Gorn Univ. of Pennsylvania, PA Univ. of Pennsylvania, PAView Profile Authors Info & Claims Communications of the ACMVolume 4Issue 12Dec. 1961 pp 532–542https://doi.org/10.1145/366853.366856Published:01 December 1961Publication History 20citation430DownloadsMetricsTotal Citations20Total Downloads430Last 12 Months19Last 6 weeks7 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 Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
Referência(s)