States with Updateable Locations.

A.V. Zamulin: States with Updateable Locations CSIT 2000 : 45-51


A formal model of the state of a dynamic system with updateable locations is presented. A mechanism of dynamic function declaration resembling that of variable declaration in programming languages is suggested. With each of these functions a dynamic access function is associated. An access function can be used either explicitly or implicitly like in programming languages (explicit or implicit dereferencing). An update of an access function causes the update of the corresponding location. A procedure parameter declared as a location parameter accepts locations as arguments so that a value associated with the location can be updated by the procedure.

Copyright © 2000 by the Institute for Contemporary Education "JurInfoR-MSU". Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the CSIT copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission of the Institute for Contemporary Education JMSUICE. To copy otherwise, or to republish, requires a fee and/or special permission from the JMSUICE.

Printed Edition

Heinz Schweppe and Yuri S. Kabalnov (Eds.): CSIT'2000, Proceedings of 2nd International Workshop on Computer Science and Information Technologies, September 18-23, 2000, Ufa, Russia. USATU Publishers & JurInfoR-MSU Publishing 2000, ISBN 5-86911-312-1

Electronic Edition