Week: April 8, 16:30-18:00 (Zoom) | Seminar Formal Methods and Automated Reasoning II (SS 2025) | RISC

Section outline

Wolfgang Schreiner
- Select activity Semantics-Based Rapid Prototyping of a Subset of SQL
  
  Semantics-Based Rapid Prototyping of a Subset of SQL File PDF
- Select activity SLANG: A Semantics-Based Language Generator
  
  SLANG: A Semantics-Based Language Generator File PDF