Assessing the Expressivity of Formal Specification Languages

DOI10.1007/11784180_18zbMATH Open1236.68184OpenAlexW1492975022MaRDI QIDQ3623936FDOQ3623936

Authors: Natalia López, Manuel Núñez, Ismael Rodríguez 

Publication date: 28 April 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11784180_18

Recommendations

• Expressive power of specification languages
• scientific article; zbMATH DE number 3872706
• Methodology to evaluate the functionality of specification languages
• Prototyping realistic programming languages based on formal specifications
• Formalizing adequacy: a case study for higher-order abstract syntax
• scientific article; zbMATH DE number 1708121
• Logics of specification languages

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (1)

• Methodology to evaluate the functionality of specification languages

This page was built for publication: Assessing the Expressivity of Formal Specification Languages

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