Seed7 - memory safety and management

📢 Main event starts at 18:30 CET

Join us for a deep dive into Seed7, a language shaped by Thomas Mertes’ decades-long pursuit of versatility, efficiency, and memory safety.

Thomas will walk us through Seed7’s unique features: declarations, parameters, compile-time execution, parser mechanics, types as first-class citizens, templates, arrays, abstract data types, and the parser’s role in the run-time library. We’ll also look at the Seed7 Structured Syntax Definition, how semantic rules for constructs like for-loops are defined, and the Seed7 test suite. A live demo will follow.

Memory safety and management are central topics. Thomas will discuss Seed7’s approach to performance, operating system guarantees, stack, heap, and global data, restrictions on memory access, safety opt-in and opt-out, handling unsafe code, and how Seed7 ensures safety. He’ll also cover OS function calls and string operations.

Whether you’re curious about language design or interested in practical safety strategies, this session offers a clear look at Seed7’s architecture and philosophy.

🪙 We appreciate any voluntary donations on-site.
⏱️ Arrive early for pre-socializing—simple snacks and drinks will be provided.
🍕 After the event, we will relocate to a pizzeria (at your own expense).