Please use this identifier to cite or link to this item: https://hdl.handle.net/1959.11/4498
Title: IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude
Contributor(s): Mason, Ian Alistair (author); Talcott, Carolyn L (author)
Publication Date: 2004
DOI: 10.1016/j.entcs.2004.06.016
Handle Link: https://hdl.handle.net/1959.11/4498
Abstract: We describe a platform, IOP, for the interoperation of formal reasoning tools, and an adaptation of Maude, IMaude, that utilizes this platform. Three applications of IMaude and IOP to real world problem domains are described.
Publication Type: Conference Publication
Conference Name: 5th International Workshop on Rewriting Logic and its Applications, Barcelona, 27 March - 28 March, 2004
Conference Details: 5th International Workshop on Rewriting Logic and its Applications, Barcelona, 27 March - 28 March, 2004
Source of Publication: Proceedings of the 5th International Workshop on Rewriting Logic and its Applications, v.117, p. 315-333
Publisher: Elsevier
Place of Publication: Amsterdam, The Netherlands
ISSN: 1571-0661
Field of Research (FOR): 080204 Mathematical Software
Socio-Economic Outcome Codes: 890202 Application Tools and System Utilities
HERDC Category Description: E4 Editorship of Scholarly Conference Proceedings
Statistics to Oct 2018: Visitors: 140
Views: 139
Downloads: 0
Appears in Collections:Conference Publication

Files in This Item:
2 files
File Description SizeFormat 
Show full item record

SCOPUSTM   
Citations

5
checked on Nov 30, 2018

Page view(s)

40
checked on Apr 2, 2019
Google Media

Google ScholarTM

Check

Altmetric


Items in Research UNE are protected by copyright, with all rights reserved, unless otherwise indicated.