Skip to content
Hallway
0:00 / 0:00

#liquidhaskell#formalverification#refinementtypes

Language-Integrated Verification

PLDI 2018

308 subscribers • 1 video on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.

Advanced. Deep dive for people who know the field.

1.4K views8 years ago2 recommendations

Programming languagesComputer scienceFormal methods and verificationFunctional programmingCompilers and interpreters

How language-integrated verification techniques can be used to statically verify program correctness.

The uploader added no description.

Why it's here

2 people recommend this

u/theindigamerin r/haskell • Recommends

Language-Integrated Verification PLDI 2018
16View on Reddit

u/sfultongSILin r/ProgrammingLanguages • Recommends

Language-Integrated Verification (x-post from /r/haskell)
5View on Reddit