UNIVERSITÄTSBIBLIOTHEK
  • Treffer 6 von 21
Zurück zur Trefferliste

A Term-Rewriting Perspective of Object Oriented Program Specifications

  • In this work we propose a set of term-rewriting techniques for modelling object-oriented computation. Based on symbolic variants of explicit substitutions calculi, we show how to deal with imperative statements like assignment and sequence in specifications in a pure declarative style. Under our model, computation with classes and objects becomes simply normal form calculation, exactly as it is the case in term-rewriting based languages (for instance the functional languages). We believe this kind of unification between functions and objects is important because it provides plausible alternatives for using the term-rewriting theory as an engine for supporting the formal and mechanical reasoning about object-oriented specifications.

Metadaten exportieren

Weitere Dienste

Teilen auf Twitter Suche bei Google Scholar
Metadaten
Verfasserangaben:Carlos Loría-Sáenz
URN (Permalink):urn:nbn:de:hbz:386-kluedo-49877
Schriftenreihe (Bandnummer):Interner Bericht des Fachbereich Informatik (311)
Dokumentart:Bericht
Sprache der Veröffentlichung:Englisch
Veröffentlichungsdatum (online):30.10.2017
Jahr der Veröffentlichung:2001
Veröffentlichende Institution:Technische Universität Kaiserslautern
Datum der Publikation (Server):30.10.2017
Seitenzahl:38
Fachbereiche / Organisatorische Einheiten:Fachbereich Informatik
DDC-Sachgruppen:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Lizenz (Deutsch):Creative Commons 4.0 - Namensnennung, nicht kommerziell, keine Bearbeitung (CC BY-NC-ND 4.0)