upgraded to drupal 7

hoping to have all things working

TRSynth prototype

We are pleased to announce that TRSynth prototype is available


AbsSpec is a tool to automatically infer specifications from Curry programs. Program specifications (in particular, automatically derived specifications) have been used for program verification, understanding, documentation, service discovering or testing. Our tool, statically infers from the source code of a Curry program a specification which consists of a set of equations relating (nested) operation calls that have the same behavior.

AbsSpec prototype

We are pleased to announce that a prototype version of AbsSpec has been made available on-line. Check it out!

New Biblio Entries

Laura Titolo's bibliography has been added

New Biblio Entries

Alicia Villanueva's bibliography has been added

Subscribe to F.LI.T. RSS