Applications with FNC-2 attribute grammar system

Didier PARIGOT

Oscar Project

FNC-2 itself

70 000 lines

• OLGA : The input language of FNC-2 system
  • Typecheck of Input Language (Olga)
  • Attribut Dependances Typecheck of Olga language
  • Elimination of Terminal Recursion of Olga Language
• Back-End of FNC-2 :
  • C version
  • LeLisp version with the Virtuel Tree Processor of Centaur System
  • Caml version
  • Cosy Compiler version
• Abstract Syntax Language : ASX
  • Typecheck of ASX language
• Abstract Tree Constructor : ATC
  • Typecheck of ATC language with BNF definition of Syntax system.
  • Typecheck of ATC language with BNF definition of Yacc system.
  • Back-end of ATC with SYNTAX system
• Back-end of ATC with Yacc system
• PPAT language [Jouve90]
  • Type-check of PPAT language
  • Back-end of of PPAT language (produce a attribute grammar)
  • Runtime of PPAT processor
  • Compute Box Tree
  • Box Tree
• Mkfnc2 language
  • Type-check of Mkfnc2 language
• Translator of ASX specification (written with PPAT language)
  • PPAT specification of Olga language
  • PPAT specification corresponding with input ASX specification
  • OLGA specification corresponding with input ASX specification
  • Fsdl specification corresponding with input ASX specification
  • Caml definition of Concert Type corresponding with input ASX specification
• ATC specification of
  • Olga languagelanguage

Pagode

Code Generator Generator Pagode into Cosy Compiler platform (COMPARE esprit project) 50 000 lines

• CCMIR-PMIR (sparc) translator
• CCMIR-PMIR (alpha) translator
• Scleduler of Pagode
• Binding Analysis of Pagode generator
• COSY platform (COMPARE esprit project)
• ATC specification of CCMIR language, PMIR language and LIR language
• PPAT specification of CCMIR language, PMIR language and LIR language

E-LOTOS language

Bruno Vivien 20 000 lines

• Type-check
• Translator into LOTOS language

JAVA language

(very small sub-set of java)

• ATC specification of JAVA
• .Mini Type-check of JAVA
• JVM code of JAVA
• PPAT specification of JVM
• ASX specification of JVM

PPML language

Christophe Roudet

• Type-check
• Back-end (Tree Box in VTP formalism)

PARLOG language

Antoine rizk Type-check and Back-End

Pascal Language

Hervé Benvel

• Type-check of Pascal
• Back-end of Pascal : P-code

Coupling of abstract grammar Loic Correnson

• Type-check of input specification (Corresponding Relation)
• Construction of Clos Tree Generation of Attribute Grammar coupling

Transforming denotational semantics into attribute grammars Stephane leibovitsth

• Type-check and Generation of Attribute Grammar