Robotics Research Technical Report: The Setl2 Programming Language (Classic Reprint) - Hardcover

W. Kirk Snyder

Hardcover

ISBN 10: 0266404928 ISBN 13: 9780266404927

Publisher: Forgotten Books, 2018

Synopsis

Explore SETL2, a high‑level programming language built on finite-set theory and extended with block structure and first‑class procedures.

This reference work explains how SETL2 differs from SETL, including its Ada‑like syntax, separate compilation concepts, and a portable ANSI C implementation. It also covers core ideas like nested procedures, closures, and anonymous expressions, helping you understand how SETL2 handles scope, binding, and functional constructs.

The book provides practical guidance on the language’s features and how they affect real programs. You’ll see how procedures can be nested and treated as values, how closures preserve the environment, and how left‑hand side expressions and various assignment forms work in practice. It also outlines data types, operators, control structures, and the interplay between the compiler and interpreter.
What you’ll experience

• Clear explanations of procedures as first‑class objects and the implications for binding and scope
• How anonymous A expressions and closures enable flexible, reusable code
• Details on control flow, including if, case, loops, and quantifier expressions
• How to work with sets, tuples, maps, and compound operators in SETL2
• Practical guidance on installation, libraries, and environment strings

Ideal for readers of systems programming, language design, and SETL history who want a solid, grounded reference to SETL2’s approach and capabilities.

Edition details

• Publisher: Forgotten Books
• Publication date: 2018
• Language: English
• ISBN 10: 0266404928
• ISBN 13: 9780266404927
• Binding: Hardcover
• Number of pages: 73