Recent Trends in Data Type Specification
Subtitle: 10th Workshop on Specification of Abstract Data Types Joint With the 5th Compass Workshop, S. Margherita, Italy, ... papers (Lecture Notes in Computer Science)
Contributors: Egidio Astesiano (Editor); Gianna Reggio (Editor); Andrzej Tarlecki (Editor)
Publisher: Springer
Published: April 1995
Language: eng
Format: Paperback
Number of pages: 523
ISBN-13: 9783540591320
Subjects: Databases & data structures; Mathematical theory of computation; Database Engineering; Computer Science; Programming Languages - General; Computers; Computers - Languages / Programming; Data Modeling & Design; Computer Books: General; Computer Books: Languages; Congresses; Programming - Software Development; Abstract data types (Computer; Abstract data types (Computer science)
First sentence: Specifications of programs include both symbols with their usual mathematical meaning as well as additional function symbols that correspond to program entities.