Cited By
View all- Kutzler BLichtenberger FKutzler BLichtenberger F(1983)BibliographyBibliography on Abstract Data Types10.1007/978-3-642-69032-7_2(5-87)Online publication date: 1983
Traversable stack with fewer errors: addenda and corrigenda
Abstract
No abstract available.
Recommendations
Traversable stack with fewer errors
A complete finite "algebraic" specification for a version of traversable stack with fewer error conditions is presented. This is used to illustrate some issues concerning formal specification of data types, namely naturalness and clarity. Uncontrolled ...
Traversable Region Modeling for Outdoor Navigation
This article presents a new methodology to build, in real-time, compact local and global maps for outdoor navigation. The environment information is obtained from a 3D laser range. The navigation model, called Traversable Regions Model (TRM), is based ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 1979 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 October 1979
Published in SIGPLAN Volume 14, Issue 10
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 87Total Downloads
- Downloads (Last 12 months)14
- Downloads (Last 6 weeks)1
Reflects downloads up to 03 Jan 2025
Other Metrics
Citations
Cited By
View all- Kutzler BLichtenberger FKutzler BLichtenberger F(1983)BibliographyBibliography on Abstract Data Types10.1007/978-3-642-69032-7_2(5-87)Online publication date: 1983
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in