Studying the ML Module System in HOL (1994)

by Elsa Gunter , Savi Maharaj
Citations:5 - 2 self

Documents Related by Co-Citation

8 A Theory of Finite Maps – Graham Collins, Don Syme - 1995
120 Bisimilarity as a theory of functional programming – A D Gordon - 1995
198 Melham, editors. Introduction to HOL: A Theorem Proving Environment for Higher Order Logic – M J C Gordon, T F - 1993
38 An informal introduction to specifications using Clear – R M Burstall, J A Goguen - 1981
3 Supporting Reasoning about Functional Programs: An Operational Approach – David N. Turner (ed, Graham Collins, Graham Collins - 1995
19 Reasoning with the Formal Definition of Standard ML in HOL – Donald Syme - 1993
28 A Package for Inductive Relation Definitions in HOL – Thomas Melham - 1992
22 Inductive definitions: automation and application – J Harrison - 1995
5 Formal Methods Applied to a Floating Point Number System – G Barrett - 1989
1 Software Development: A Legal Guide – Stephen Fishman - 1994
1 Doomsday device: How an NCR system turned into a virtual saboteur – Milo Geyelin - 1994
1 Legal beat: Faulty software means business for litigators – Milo Geyelin - 1994
42 Software Requirements for the A-7E Aircraft – T Alspaugh, S Faulk, K Britton, R Parker, D Parnas, J Shore - 1992
144 Putting Theories Together to Make Specifications – Rod Burstall, Joseph Goguen - 1977
194 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
98 An International Survey of Industrial Applications of Formal Methods: Volume 1 Purpose, Approach, Analysis, and Conclusions – Dan Craigen, Dan Craigen, Ora Canada, Ora Canada, Susan Gerhart, Susan Gerhart, Ted Ralston, Ronald H. Brown - 1993
5 Formulating Haskell – Simon Thompson - 1993
1 A graphical user interface for an equational reasoning assistant – Andy Gill - 1995
1 Automating Recursive Type Definitions in HOL – Tom F Melham - 1989