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
-
Podcast: How students can help drive educational innovation
SRI’s Ela Joshi discusses how product developers, researchers, districts, and schools can leverage student voice.
-
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.