Show simple item record

AuthorSchmid, Joachimdc.contributor.author
Date of accession2016-03-14T11:53:40Zdc.date.accessioned
Available in OPARU since2016-03-14T11:53:40Zdc.date.available
Year of creation2002dc.date.created
AbstractThis thesis introduces several structuring and composition principles for Abstract State Machines (ASMs). The concepts can be used to structure single machines (by using parametrized machines, sequential execution, iteration, local state e.g.) as well as to divide large specifications into simpler parts by using the introduced component concept. We discussed how to extend and modify a semantics for lazy evaluation in order to support dynamic functions and simultaneous function updates which are essential features in ASMs. Our semantics is not defined on top of a semantics for terms, because our aim is to extend an existing system for lazy evaluation according to the semantics extension. This new system is called AsmGofer and it is a conservative extension of TkGofer. AsmGofer is especially useful for executable specifications and their validation. Multi agent ASMs are supported, just as non-deterministic selection of elements and rules, sequential execution and iteration of rules, higher-order functions, recursive definitions for rules and functions, constructor classes, graphical user interfaces, etc. The tool was extensively used in the book Java and the Java Virtual Machine, where the ASM models for Java, the Java Virtual Machine, the Java Compiler, and the Bytecode Verifier are executable with AsmGofer.dc.description.abstract
Languageendc.language.iso
PublisherUniversität Ulmdc.publisher
LicenseStandard (Fassung vom 03.05.2003)dc.rights
Link to license texthttps://oparu.uni-ulm.de/xmlui/license_v1dc.rights.uri
KeywordASMdc.subject
KeywordAsmGoferdc.subject
KeywordCompilationdc.subject
KeywordFunctional programming systemdc.subject
KeywordRefinement techniquesdc.subject
KeywordSubmachinedc.subject
LCSHComputer systems. Specificationdc.subject.lcsh
TitleRefinement and implementation techniques for Abstract State Machinesdc.title
Resource typeDissertationdc.type
DOIhttp://dx.doi.org/10.18725/OPARU-25dc.identifier.doi
URNhttp://nbn-resolving.de/urn:nbn:de:bsz:289-vts-15782dc.identifier.urn
GNDAbstrakte Zustandsmaschinedc.subject.gnd
FacultyFakultät für Informatikuulm.affiliationGeneral
Date of activation2002-06-17T15:11:40Zuulm.freischaltungVTS
Peer reviewneinuulm.peerReview
Shelfmark print versionZ: J-H 8.016 ; W: W-H 7.524uulm.shelfmark
DCMI TypeTextuulm.typeDCMI
VTS-ID1578uulm.vtsID
CategoryPublikationenuulm.category
University Bibliographyjauulm.unibibliographie


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record