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 research aims to make generative AI more trustworthy
Researchers have developed a new framework that reduces generative AI hallucinations by up to 32%.
-
Transforming matter: Researchers create perfect crystals from amorphous blobs
SRI aims to create a new electronic device class made of two or more semiconductors.
-
2024 at SRI: A year of breakthroughs
Delivering world-changing solutions for a safer, healthier, and more sustainable future.