Inhalt

• Inhalt
  
  
• Wesen und Zweck der Programmiersprache A++
  
  
• Weitere Eigenschaften
  
  
• Ursprung
  
  
  • Verallgemeinerung des Lambda-Kalküls
    
    
  
  
• Konstitutive Prinzipien
  
  
  • Abstraktion
    
    
  • Referenz
    
    
  • Synthese
    
    
  • Closure
    
    
  • Lexical Scope
    
    
  
  
• Sprachdefinition (EBNF)
  
  
  • EBNF-Notation
    
    
  • Sprachdefinition (EBNF)
    
    
  • Anmerkungen zur Syntax
    
    
    • Sprachdefinition (Diagramm)
      
      
  • Beispiele zur Syntax
    
    
  
  
• A++ - Erweiterung
  
  
  • A++ mit Erweiterungen (EBNF)
    
    
  • A++ - Erweiterungen
    
    
  • Beispiele zu den Erweiterungen
    
    
  
  
• A++ - Zusammenschau
  
  
• The World of ARS
  
  
• Das Lambda-Kalkül
  
  
  • Assoziativitätsregeln
    
    
  • Gebundene und freie Variable
    
    
  • Alpha-Konvertierung
    
    
  • Beta-Reduktion
    
    
  • Eta-Reduktion
    
    
  
  
• A++ -- Ausklang
  
  
• Biographische Daten zur Person des Autors
  
  
• Über dieses Dokument ...