Gradual Soundness: Lessons from Static Python.

Kuang-Chen Lu Ben Greenman Carl Meyer Dino Viehland Aniket Panse Shriram Krishnamurthi

Published in: Art Sci. Eng. Program. (2023)

Keyphrases

open source
programming language
lessons learned
open source software
case study
artificial neural networks
development tools
database
real time
real world
image processing
mobile robot
object oriented
source code
interactive video