Please use this identifier to cite or link to this item:
|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
|Appears in Collections:||Conference Publication|
Files in This Item:
checked on Nov 30, 2018
checked on Apr 2, 2019
Items in Research UNE are protected by copyright, with all rights reserved, unless otherwise indicated.