Industrial applications of ASF+SDF

This publication has 7 references indexed in Scilit:

• Selling formal methods to industry
  Published by Springer Nature ,2005
• Language Prototyping: An Algebraic Specification Approach
  Published by World Scientific Pub Co Pte Ltd ,1996
• The ToolBus coordination architecture
  Published by Springer Nature ,1996
• A model for I/O in equational languages with don't care non-determinism
  Published by Springer Nature ,1996
• Lazy rewriting and eager machinery
  Published by Springer Nature ,1995
• Origin tracking
  Journal of Symbolic Computation, 1993
• A meta-environment for generating programming environments
  ACM Transactions on Software Engineering and Methodology, 1993