The formal specification and prototype implementation of a simple editor
Edward G. Amoroso · ACM SIGPLAN Notices · 1985
article The formal specification and prototype implementation of a simple editor Share on Author: Edward G. Amoroso Stevens Institute of Technology, Hoboken, N.J. Stevens Institute of Technology, Hoboken, N.J.View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 20Issue 8August 1985 pp 51–59https://doi.org/10.1145/988346.988352Published:01 August 1985 1citation86DownloadsMetricsTotal Citations1Total Downloads86Last 12 Months1Last 6 weeks0 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