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
-
Extreme weather events take a toll on critical educational services
SRI examined how severe weather causes closures of early childhood education program sites while overburdening others, prompting a call to recognize the importance of these critical services and increase support.
-
SRI board member and astronaut Ellen Ochoa: Pushing the boundaries of science
Ochoa logged nearly 1,000 hours in space, received the Presidential Medal of Freedom, and was inducted into the U.S. Astronaut Hall of Fame.
-
SRI selected as DARPA’s Regional Commercial Accelerator
DARPA looks to harness SRI’s expertise to speed up tech transition — out of the lab into the real world — and scale DARPA-funded technologies for U.S. national and economic security outcomes.