SpeX: a rewriting-based formal specification environment

DOI10.1007/978-3-031-43345-0_8MaRDI QIDQ6562521

Ionuţ Ţuţu

Publication date: 26 June 2024

zbMATH Keywords

formal specificationconditional rewritinglogical environmentexperimental developmentMaude implementation

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Cites Work

• Title not available (Why is that?)
• A scalable module system
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Specifications in an arbitrary institution
• A hidden agenda
• Comorphisms of structured institutions
• Behavioural specification for hierarchical object composition
• A framework for defining logics
• Institutions: abstract model theory for specification and programming
• Matching Logic
• Higher-order functions for parsing
• Combinator Parsers: From Toys to Tools
• Dynamic Reconfiguration via Typed Modalities

This page was built for publication: SpeX: a rewriting-based formal specification environment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6562521)