Michele Baggi

Learn More
Many transformation systems for program optimization, program synthesis, and program specialization are based on fold/unfold transformations. In this paper, we present a fold/unfold-based transformation framework for rewriting logic theories which is based on narrowing. For the best of our knowledge, this is the first fold/unfold transformation framework(More)
In this paper, we introduce a system, written in Haskell, for filtering information from XML data. Essentially , the system implements a simple declarative language which allows one to extract relevant data as well as to exclude useless and misleading contents from an XML document by matching patterns against XML documents. The matching mechanism employes a(More)
—Many transformation systems for program optimization , program synthesis, and program specialization are based on fold/unfold transformations. In this paper, we investigate the semantic properties of a narrowing-based unfolding transformation that is useful to transform rewriting logic theories. We also present a transformation methodology that is able to(More)
In this paper, we present a rule-based specification language to define and automatically check semantic as well as syntactic constraints over the informative content of a Web system. The language is inspired by the GVERDI language and significantly extends it by integrating ontology reasoning into the specification rules and by adding new syntactic(More)
The actions of dopamine, apomorphine and serotonin on the membrane potential of cultured astrocytes from rat spinal cord and striatum were examined. All three compounds caused a hyperpolarization of the majority of astrocytes tested. A small number of cells was depolarized and on a relatively large number of cells the amines had no effect. The dopamine(More)
  • 1