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 Details: | WRLA 2004: 5th International Workshop on Rewriting Logic and its Applications, Barcelona, 27th - 28th March, 2004 | Source of Publication: | Electronic Notes in Theoretical Computer Science, v.117, p. 315-333 | Publisher: | Elsevier BV | Place of Publication: | Netherlands | ISSN: | 1571-0661 | Fields of Research (FoR) 2008: | 080204 Mathematical Software | Socio-Economic Objective (SEO) 2008: | 890202 Application Tools and System Utilities | HERDC Category Description: | E4 Editorship of Scholarly Conference Proceedings |
---|---|
Appears in Collections: | Conference Publication |
Files in This Item:
File | Description | Size | Format |
---|
SCOPUSTM
Citations
8
checked on Mar 23, 2024
Page view(s)
1,188
checked on Mar 24, 2024
Items in Research UNE are protected by copyright, with all rights reserved, unless otherwise indicated.