News for hackers. Stuff that matters.

A comment on Runtime verification in Erlang by using contracts.

Re:Runtime verification in Erlang by using contracts by sbabusingh on Wednesday February 06, 2019 @04:31PM (#19100212)
Every time is correct but machine work vreification is no more like human finger work
[ Parent | on HN ]

There are no comments on this comment yet.