English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
DSL for handling parsing binary memory structures?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-05-18 (07:41)
From: Christian Lindig <lindig@c...>
Subject: Re: [Caml-list] DSL for handling parsing binary memory structures?

If you are interested in the research aspect of this, Kathleen Fisher  
did interesting work on parsing ad-hoc data (mostly ascii):


I remember to have seen something like this for OCaml in the recent  
proceedings of ICFP or POPL but can't remember right now.

My own work in the context of calling conventions proposes an algebra  
to describe structures in memory. This could be a starting point for  
a DSL; it is also implemented in the Quick C-- compiler (in OCaml) in  
module block.nw.


-- Christian