ATS (Applied Type System) programming language developed by__?
-
Boston University
-
Arizona State University
-
University of Munich
-
London University
A
Correct answer
Explanation
ATS (Applied Type System) was developed by Hongwei Xi and colleagues at Boston University. It's a programming language designed to support formal verification through advanced type systems, allowing specification and verification of program properties.