SRI introduced this convenient equational specification approach, which has numerous applications in computer science. Order-sorted algebra is embodied in the OBJ family of programming languages used by software developers. The OBJ3 language, introduced by SRI’s Computer Science Laboratory in the 1990s, was used for software and user interface design research and teaching, rapid prototyping, hardware verification, and more. It was the first language to implement parameterized programming, and influenced the designs of the popular software languages such as C++.
Read more from SRI
SRI joins a nationwide network aiming to accelerate transformative health solutions.
In this new role, Fritz will lead strategy and business development for SRI’s federal programs.
David Parekh, SRI’s CEO, has been named by the Silicon Valley Business Journal as one of the Power 100.