The following pages link to CASL (Q14779):
Displaying 6 items.
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. (Q1422256) (← links)
- Modular structural operational semantics (Q1878712) (← links)
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets (Q2890328) (← links)
- Modeling inheritance as coercion in a symbolic computation system (Q2958920) (← links)
- Compensating the Computational Bias of Spreadsheets with MKM Techniques (Q3637291) (← links)
- One-Path Reachability Logic (Q5271073) (← links)
