CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 32
Titolo Data di pubblicazione Autore(i) File
A GREY-WEIGHTED SKELETON 1-gen-1970 Levi, Giorgio; Montanari, UGO GIOVANNI ERASMO
A fexilble environment for program development based on symbolic interpreter 1-gen-1979 Asirelli, P; Degano, Pierpaolo; Levi, Giorgio; Martelli, A; Montanari, UGO GIOVANNI ERASMO; Pacini, G; Sirovich, F; Turini, Franco
Towards the definition of an experimental programming environment from language formal specifications 1-gen-1981 Barbuti, Roberto; Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, A; Simonelli, C.
Program testing in an integrated software development environment 1-gen-1981 Degano, Pierpaolo; Levi, Giorgio
Toward an Inductionless Technique for Proving Properties of Logic Programs 1-gen-1982 Barbuti, Roberto; Degano, Pierpaolo; Levi, Giorgio
Applicative Communicating Processes in First Order Logic 1-gen-1982 Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, Maurizio
Applicative communicating processes in first order logic 1-gen-1982 Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, M.
Programming environments: deriving language dependent tools from structured donotational semantics 1-gen-1983 Barbuti, Roberto; Bellia, Marco; Degano, Pierpaolo; Levi, Giorgio; Martelli, A.
Programming environment generation based on denotational semantics 1-gen-1983 Barbuti, Roberto; Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, A; Simonelli, C.
A Formal Model for Lazy Implementation of a Prolog Compatible Functional Language 1-gen-1984 Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, M.
On the Integration of Logic Programming and Functional Programming 1-gen-1984 Barbuti, Roberto; Bellia, Marco; Levi, Giorgio; Martelli, M.
LEAF: A Language witch Integrates Logic, Equations and Functions. 1-gen-1986 Barbuti, Roberto; Bellia, Marco; Levi, Giorgio; Martelli, Maurizio
LEAF: A Language which Integrates Logic, Equations and Functions 1-gen-1986 Barbuti, Roberto; Bellia, Marco; Levi, Giorgio; Martelli, M.
Principi e Tecniche di Progettazione del Software 1-gen-1987 Barbuti, Roberto; Bellia, Marco; Degano, Pierpaolo; Levi, Giorgio
A Two-Level Approach to Logic plus Functional Programming Integration 1-gen-1987 Bellia, Marco; Bosco, Giovanni; Giovannetti, E.; Levi, Giorgio; Moiso, C.; Palamidessi, C.
INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE-DEVELOPMENT, PISA, MARCH 1987 1-gen-1988 Levi, Giorgio; Montanari, UGO GIOVANNI ERASMO
Modelling Prolog Control 1-gen-1991 Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Levi, Giorgio
Modeling Prolog Control 1-gen-1992 Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Levi, Giorgio
A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs 1-gen-1993 Barbuti, Roberto; Giacobazzi, Roberto; Levi, Giorgio
Modelling Prolog Control 1-gen-1993 Barbuti, Roberto; Codish, M.; Giacobazzi, Roberto; Levi, Giorgio
Mostra risultati da 1 a 20 di 32
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile