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++.
Order-sorted algebra
Read more from SRI
-
SRI researchers develop rugged, low-cost, drifting sensors to learn more about the oceans
PEARL drifters pack an array of sensors into a compact autonomous device to gather data and signs of activity.
-
An SRI collaboration aims to improve online education for college students
The Postsecondary Teaching with Technology Collaborative aims to strengthen teaching and learning, improve student outcomes, and reduce societal gaps.
-
Exploring the American Dream: A Lively Discussion on Innovation and Progress
Watch the video: A conversation with SRI’s David Parekh and David Leonhardt of the New York Times.