CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 30 di 133
Titolo Data di pubblicazione Autore(i) File
Static Type Checking for Languages with Parametric Types and Polymorphic Procedures 1-gen-1980 Barbuti, Roberto; Martelli, A.
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.
Toward the Derivation of an Experimental Programming Environment Form Language Formal Specifications 1-gen-1982 Barbuti, Roberto; Bellia, Marco; Martelli, A.; Dameri, E.; Simonelli, C.; Degano, Pierpaolo; Levi, G.
Toward an Inductionless Technique for Proving Properties of Logic Programs 1-gen-1982 Barbuti, Roberto; Degano, Pierpaolo; Levi, Giorgio
Programming environments: deriving language dependent tools from structured donotational semantics 1-gen-1983 Barbuti, Roberto; Bellia, Marco; Degano, Pierpaolo; Levi, Giorgio; Martelli, A.
A Constructive Approach to Static Verification of Program Properties 1-gen-1983 Barbuti, Roberto; 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 STRUCTURED APPROACH TO STATIC SEMANTICS CORRECTNESS 1-gen-1983 Barbuti, Roberto; Martelli, A.
On the Integration of Logic Programming and Functional Programming 1-gen-1984 Barbuti, Roberto; Bellia, Marco; Levi, Giorgio; Martelli, M.
On the Integration of Logic Programming and Functional Programming 1-gen-1984 Barbuti, Roberto; Bellia, Marco; Levi, G.; Martelli, M.
Cooperating Logic Theories 1-gen-1986 Barbuti, Roberto; D'Ascanio, C; Turini, Franco
LEAF: A Language which Integrates Logic, Equations and Functions 1-gen-1986 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
Completeness of the SLDNF-resolution for a class of logic programs 1-gen-1986 Barbuti, Roberto; Martelli, M.
Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions 1-gen-1986 Aquilano, C; Barbuti, Roberto; Bocchetti, P; Martelli, M.
INTENSIONAL NEGATION OF LOGIC PROGRAMS - EXAMPLES AND IMPLEMENTATION TECHNIQUES 1-gen-1987 Barbuti, Roberto; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco
Principi e Tecniche di Progettazione del Software 1-gen-1987 Barbuti, Roberto; Bellia, Marco; Degano, Pierpaolo; Levi, Giorgio
Recognizing Non-Floundering Logic Programs and Goals 1-gen-1990 Barbuti, Roberto; Martelli, M.
A TRANSFORMATIONAL APPROACH TO NEGATION IN LOGIC PROGRAMMING 1-gen-1990 Barbuti, Roberto; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco
Modelling Prolog Control 1-gen-1991 Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Levi, Giorgio
Oracle Semantics for Prolog 1-gen-1992 Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Maher, M.
Modeling Prolog Control 1-gen-1992 Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Levi, Giorgio
A BOTTOM-UP POLYMORPHIC TYPE INFERENCE IN LOGIC PROGRAMMING 1-gen-1992 Barbuti, Roberto; Giacobazzi, Roberto
Modelling Prolog Control 1-gen-1993 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
Modeling OR-Parallel Execution of Prolog using CHOCS 1-gen-1995 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella
Modeling OR-Parallel Execution of Prolog using CHOCS. ICLP 1995: 1-gen-1995 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, A.
Oracle Semantics for Prolog 1-gen-1995 Barbuti, Roberto; Codish, M.; Giacobazzi, Roberto; Maher, M.
A Multiple-Valued Logical Semantics for Prolog 1-gen-1996 Barbuti, Roberto; Mancarella, PAOLO MARIA
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 1-gen-1997 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola
Mostra risultati da 1 a 30 di 133
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