22 Aug 2003 mdupont   » (Master)

Progress on treecc and cwm.

Hacking CWM scripts to process the GCC rdf output of the introspector.

Soon we will have a script that will convert a c program into a skeleton RDF ontology!

Is it possible transform this CWM proof into a perl program that uses redland directly. Or a C++ program?

How can you make CWM dump all the data about the proof and how it is executing it so that it is possible to optimize it.

Maybe a trace of the execution in such a way that it is easy to recognise reoccuring elements. It should be possible to turn the proof into a Finite state automaton.


Latest blog entries     Older blog entries

New Advogato Features

New HTML Parser: The long-awaited libxml2 based HTML parser code is live. It needs further work but already handles most markup better than the original parser.

Keep up with the latest Advogato features by reading the Advogato status blog.

If you're a C programmer with some spare time, take a look at the mod_virgule project page and help us with one of the tasks on the ToDo list!