• search hit 3 of 3
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

Share in Twitter Search Google Scholar
Author:Carlos Loría-Sáenz
URN (permanent link):urn:nbn:de:hbz:386-kluedo-49877
Serie (Series number):Interner Bericht des Fachbereich Informatik (311)
Document Type:Report
Language of publication:English
Publication Date:2017/10/30
Year of Publication:2001
Publishing Institute:Technische Universität Kaiserslautern
Date of the Publication (Server):2017/10/30
Number of page:38
Faculties / Organisational entities: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)