Abstract
The idea of using a predicate to specify behaviour is a compelling one, and leads to a desire to refine specifications into implementations in languages whose semantics have also been specified with predicates.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have