François Bry, Włodzimierz Drabent, François Fages, Frank-André Rieß, Sylvain Soliman, Stephanie Spranger, Artur Wilk:
Włodzimierz Drabent (editor):
Use of typing tools in selected applications.
Abstract
This deliverable reports the work on applying the developed typing technologies for static analysis and inferring rule dependencies in Xcerpt programs, for inferring and checking properties of biochemical systems, and for dealing with calendar data.
URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-DEL-2007-I3-D9
@deliverable{REWERSE-DEL-2007-I3-D9,
url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-DEL-2007-I3-D9}
}