Forum Programmation.autre Caml, Yacc, OcamlYacc

Posté par  (site web personnel) .
Étiquettes : aucune
0
16
jan.
2005
Tiens c'est marrant deux post sur caml en peu de temps...

Salut, afin d'aider un copain qui doit traduire séance tenante 50 000 ligne de C en lisaac (c'est un langage objet à prototype très peu connu), j'essaye d'écrire un petit programme qui transforme ce qui est transformable du c vers ce langage. Le but n'est pas de générer du code compilable mais de simplifier la tâche du traducteur en lui allégeant le fardeau.

Ne trouvant pas de grammaire C en Ocamllex/OcamlYacc, j'ai essayé d'en prendre une en lex/yacc :
http://www.lysator.liu.se/c/ANSI-C-grammar-y.html(...)
http://www.lysator.liu.se/c/ANSI-C-grammar-l.html(...)
Puis de la traduire pour ocamllex, ocalyacc

Comme je découvre ces choses là en même temps, ben je rame pas mal...
Je suis pas chaud du tout pour le programmer en C, mon traducteur...

Donc mes chers amis, toute idée (traducteur auto yacc -> ocamlyacc, grammaire C pour ocamlyacc disponible, autre...) serait bienvenue.


merci !

  • # Merci Why/caduceus

    Posté par  (site web personnel) . Évalué à 3.

    Je me répond à moi même, ça peut toujours servir à qqun.

    J'ai trouvé la grammaire ocamlyacc traduite à partir du code donné plus haut dans le code source de why/caduceus un outil de preuve fonctionnant avec coq ( http://coq.inria.fr(...) )

    « Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

  • # CIL

    Posté par  (site web personnel) . Évalué à 2.

    CIL peut éventuellement t'être utile :
    CIL (C Intermediate Language) is a high-level representation along with a set of tools that permit easy analysis and source-to-source transformation of C programs.

    http://manju.cs.berkeley.edu/cil/(...)

Suivre le flux des commentaires

Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.