Multiple choice technology programming languages

ATS (Applied Type System) programming language developed by__?

  1. Boston University

  2. Arizona State University

  3. University of Munich

  4. London University

Reveal answer Fill a bubble to check yourself
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.