|
Từ điển Máy Tính - Foldoc Dictionary
algebraic specification language
Algebraic Specification Language 1. (language) (ASL) ["Structured Algebraic Specifications: A Kernel Language", M. Wirsing, Theor Comput Sci 42, pp.123-249, Elsevier 1986]. 2. (language) (ASF) A language for equational specification of abstract data types. ["Algebraic Specification", J.A. Bergstra et al, A-W 1989]. Last updated: 1995-12-13
|
|
|
|
