Sign in

Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers.

Stefanos ChaliasosThodoris SotiropoulosGeorgios-Petros DrososCharalambos MitropoulosDimitris MitropoulosDiomidis Spinellis
Published in: Proc. ACM Program. Lang. (2021)
Keyphrases
  • empirical studies
  • programming language
  • higher order
  • statistical analysis
  • real time
  • genetic algorithm
  • social networks
  • website
  • logic programming
  • software systems
  • theoretical framework