The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 51 of 909
Back to Result List

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.

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author:Carlos Loría-Sáenz
URN:urn:nbn:de:hbz:386-kluedo-49877
Series (Serial Number):Interner Bericht des Fachbereich Informatik (311)
Document Type:Report
Language of publication:English
Date of Publication (online):2017/10/30
Year of first Publication:2001
Publishing Institution:Technische Universität Kaiserslautern
Date of the Publication (Server):2017/10/30
Page Number:38
Faculties / Organisational entities:Kaiserslautern - Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Creative Commons 4.0 - Namensnennung, nicht kommerziell, keine Bearbeitung (CC BY-NC-ND 4.0)