ETH Programming Methodology Group company blog

Nagini: A Static Verifier for Python [pdf]

pm.inf.ethz.ch

Points

102

HN comments

40

Submissions

1

Cited by

0 commenters

Software EngineeringProgramming Languages2018

Related posts from the same era

My Business Card Runs Linux

ThirtyThreeForty20192,595 points455 commentscited by 8 details

Conversations with a six-year-old on functional programming

Brent Yorgey20182,074 points474 comments details

Sublime Text 3.0

Sublime Text Blog20171,653 points675 comments details

You Are Not Google (2017)

BBradfield School of Computer Science Blog20191,623 points730 commentscited by 14 details

Sunsetting Python 2

Python.org20191,616 points704 commentscited by 15 details

Absolute truths I unlearned as junior developer

MMonica Lent20191,529 points769 comments details