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 to be presented with three IEEE Milestones for innovations that have transformed our lives
The Milestones honor PARC’s invention of the Alto personal computer, Ethernet, and the Laser Printer.
-
SRI works with N4 Pharma to target and treat cells in the human body that had been unreachable
Paving the way for targeted treatments, the collaboration aims to help realize the full potential of precision healthcare.
-
Researchers aim to disrupt how new materials are leveraged in the design process
SRI chosen by DARPA to develop next-generation computational design of metallic parts and intelligent testing of alloys.