Comparing integrated and external logics of functional programs
From MaRDI portal
Publication:913479
DOI10.1016/0167-6423(90)90058-LzbMath0699.68025MaRDI QIDQ913479
Publication date: 1990
Published in: Science of Computer Programming (Search for Journal in Brave)
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Normalising the associative law: An experiment with Martin-Löf's type theory, A functional programming approach to the specification and verification of concurrent systems, Synthesis of ML programs in the system Coq, Inductive families