Return-Path: no-reply@arXiv.org Delivery-Date: Tue Feb 17 21:55:05 2009 Date: Tue, 17 Feb 2009 15:52:14 -0500 Message-Id: <200902172052.n1HKqE3Y021639@arxiv1.library.cornell.edu> From: no-reply@arXiv.org To: wirth@logic.at Subject: 0902.2997 password (SAVE) Reply-To: cs@arXiv.org *** SAVE THIS MESSAGE FOR FUTURE REFERENCE *** (and forward to any collaborators for safekeeping) Your user/password combination for this article is User-ID: 0902.2997 Password: 52gpr You will need this ID/password pair to do any of the following: - to check the article before it is announced - to cross-list the article - to add publication information - to replace the article with a revised version Keep this password safe -- all future replacements will require it. If you submit this article to an overlay journal based on arXiv you may need to supply the following identifier to allow the collaborating service to track your submission: arXiv:tracking/cca1239ad17872d6 ------------------------------------------------------------------------------ \\ arXiv:0902.2997 From: Claus-Peter Wirth Date: Tue, 17 Feb 2009 20:52:11 GMT (47kb) Title: ASF+ --- eine ASF-aehnliche Spezifikationssprache Authors: Ruediger Lunde, Claus-Peter Wirth Categories: cs.AI cs.SC Comments: iv + 58 pages Report-no: SEKI Working-Paper SWP-94-05 License: http://creativecommons.org/licenses/by/3.0/ \\ Maintaining the main aspects of the algebraic specification language ASF as presented in [Bergstra&al.89] we have extend ASF with the following concepts: While once exported names in ASF must stay visible up to the top the module hierarchy, ASF+ permits a more sophisticated hiding of signature names. The erroneous merging of distinct structures that occurs when importing different actualizations of the same parameterized module in ASF is avoided in ASF+ by a more adequate form of parameter binding. The new ``Namensraum''-concept of ASF+ permits the specifier on the one hand directly to identify the origin of hidden names and on the other to decide whether an imported module is only to be accessed or whether an important property of it is to be modified. In the first case he can access one single globally provided version; in the second he has to import a copy of the module. Finally ASF+ permits semantic conditions on parameters and the specification of tasks for a theorem prover. \\