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 and University of Houston receive $3.6M to develop a microreactor to convert carbon dioxide to methanol using renewable energy
By recycling carbon dioxide into methanol, this science supports U.S. climate goals and helps reduce greenhouse gases.
-
Teaching machines to learn like humans could help autonomous systems deal with unfamiliar environments
SRI is spearheading a way for autonomous systems, such as self-driving vehicles and drones, to effectively operate in evolving and adversarial environments such as war zones.
-
Office of Special Education Programs extends SRI’s funding for the Center for IDEA Early Childhood Data Systems
The U.S. Department of Education issues a third five-year cooperative agreement to SRI to lead The DaSy Center.