Found 192 results for "Abstract data types (Computer science)"
by Workshop on Specification of Abstract Data Types (7th 1990 Wusterhausen, Brandenburg, Germany)
Automatic implementation of Abstract Data Types (ADT) is of interest because of at least two reasons - first, to get an ...
by Workshop on Specification of Abstract Data Types (10th 1994 Santa Margherita, Italy)
Specifications of programs include both symbols with their usual mathematical meaning as well as additional function sym...
by Workshop on Specification of Abstract Data Types (11th 1995 Oslo, Norway)
As Coordinator of the COMPASS Working Group for seven years, I would like to take this opportunity to look back on what ...
by Workshop on Specification of Abstract Data Types (8th 1991 Dourdan, France)
by Workshop on Specification of Abstract Data Types (11th 1995 Oslo, Norway)