GIOVANNETTI, Elio
GIOVANNETTI, Elio
INFORMATICA
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions
1987-01-01 G. Levi; C. Palamidessi; P. G. Bosco; E. Giovannetti; C. Moiso
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing
1986-01-01 E. Giovannetti; C. Moiso
A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications
1984-01-01 P. G. Bosco; G. Giandonato; E. Giovannetti
A Prolog-Compiled Higher-Order Functional and Logic Language
1987-01-01 P.G. Bosco; E. Giovannetti
A Two-Level Approach to Logic plus Functional Programming Integration
1987-01-01 M. Bellia; P. G. Bosco; E. Giovannetti; G. Levi; C. Moiso; C. Palamidessi
An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language
1992-01-01 P. G. Bosco; L. Ferrari; E. Giovannetti; C. Moiso
Architectural Choices in a CHILL Machine Design
1984-01-01 G. Giandonato; E. Giovannetti; G. Rosci; G. Sofi
Aspetti di una ricerca CSELT su macchine e linguaggi di nuova generazione
1986-01-01 P.G. Bosco; G. Giandonato; S. Giorcelli; E. Giovannetti; G. Sofi
Completeness Results for a Polymorphic Type System
1983-01-01 Mario Coppo; Elio Giovannetti
Dynamic and Local Typing for Mobile Ambients
2004-01-01 M. COPPO; M. DEZANI; E. GIOVANNETTI ; R. PUGLIESE
IDEAL: An Ideal DEductive Applicative Language
1986-01-01 P.G. Bosco; E. Giovannetti
Narrowing and Resolution in Logic-Functional Programming Languages
1988-01-01 E. Giovannetti
Notes on the Elimination of Conditions
1987-01-01 E. Giovannetti; C. Moiso
On Isomorphisms of Intersection Types
2008-01-01 Mariangiola Dezani; Roberto Di Cosmo; Elio Giovannetti; Makoto Tatsuta
Refined Strategies for Semantic Unification
1987-01-01 P. G. Bosco; E. Giovannetti; C. Moiso
Some Aspects of the Integration between Logic Programming and Functional Programming
1987-01-01 E. Giovannetti; C. Moiso
Type Inference for Mobile Ambients in Prolog
2004-01-01 Elio Giovannetti