OBSCURE is a specification language for abstract data types. It differs from classical specification languages by handling models rather than theories. The goal of the paper is to present a complete and precise description of OBSCURE . First, the different language constructs are illustrated by the ...
Reiner Hahnle (2013): The Abstract Behavioral Specification Language: A Tutorial Introduction. In: Formal Methods for Components and Objects, LNCS 7866, Springer, pp. 1-37, doi:10.1007/978-3-642-40615-7_1.R. Ha¨hnle. The abstract behavioral specification language: a tutorial introduc- tion...
In designing a data type abstraction, we first specify the functional properties of a data structure and its operations, and then we implement them in terms of existing language constructs (and other data types) and show that the specification is accurate. When we subsequently use the abstraction...
all ADTs have built-in operations for assignment and equality except for limited private ADTs which have no built-in operations at all Example Part I package Stack_Pack is The specification package type Stack_Type is limited private; for a stack ADT – see the next slide for the body ...
On Proving Inductive Properties of Abstract Data Types The equational axioms of an algebraic specification of a data type (such as finite sequences) often can be formed into a convergent set of rewrite rules; i.e. such that all sequences of rewrites are finite and uniquely terminating. If on...
Thatcher, J.W., Wagner, E.G., Wright, J.B., DATA TYPE SPECIFICATION: PARAMETRIZATION AND THE POWER OF SPECIFICATION TECHNIQUES, Proc. SIGACT 10th Symp. on theory of computing, 1978 Troelstra, A.S. (ed.), MATHEMATICAL INVESTIGATION OF INTUITIONSITIC ARITHMETIC AND ANALYSIS, Lect. Notes ...
An Abstract Specification Language for Static Program Analysis:静态程序分析的抽象规范语言 下载积分:2000 内容提示: Electronic Notes in Theoretical Computer Science 254 (2009) 181–197 A AA AAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAA fiPAAAAA mA AAAlyAAAAMAAhAAlVAAAAAAAAFAAAkOAAmAAAAA WAlAAAAARAAAAAAh...
协会 associativity 結合性 结合性 asynchronous exchange 非同步交換 异步交换 atomic 基元 原子 attach 附加 【动】附接 attachment 附件 附件 英文 繁體中文 簡體中文 attribute 屬性 属性 attribute list declarations 屬性表列宣告 属性列表声明 attribute name 屬性名稱 属性名称 attribute specification 屬性規格 属性...
Three examples for continuousdata types are given: a simple functional language, a non-strict version for the data-objects of Backus functional language, and a formal specification of non-strict functional language by taking the specification of the data-objects as actual parameter of another ...
This section describes a conceptual model of a possible data organization that a print server implementation might need to maintain in order to participate in this protocol. The described organization is provided to facilitate the explanation of how the protocol behaves. This specification does not ...