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: A reading intervention for struggling adolescent students
The SERP Institute’s Margaret Troyer and Kala Jones discuss a research-based reading program that helps older students turn the page.
-
SRI researchers watched over 1000 YouTube videos for kids, and this is what they learned
Most YouTube videos intended to teach early literacy and math don’t use characters or narratives, according to recent SRI research.
-
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.