It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...
Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
This paper presents an ongoing research project about the development of an electronic learners' dictionary for the German and the Italian language (ELDIT). Modern psycholingu...
Abstract. The ultimate aim of our research is a free, evolutionary, Internetbased, agent-based, long-distance teaching environment for academic English. For this purpose, we are bu...