CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 130
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 an Inductionless Technique for Proving Properties of Logic Programs 1-gen-1982 Barbuti, Roberto; Degano, Pierpaolo; Levi, Giorgio
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.
A STRUCTURED APPROACH TO STATIC SEMANTICS CORRECTNESS 1-gen-1983 Barbuti, Roberto; Martelli, A.
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.
On the Integration of Logic Programming and Functional Programming 1-gen-1984 Barbuti, Roberto; Bellia, Marco; Levi, G.; Martelli, M.
On the Integration of Logic Programming and Functional Programming 1-gen-1984 Barbuti, Roberto; Bellia, Marco; Levi, Giorgio; Martelli, M.
Completeness of the SLDNF-resolution for a class of logic programs 1-gen-1986 Barbuti, Roberto; 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.
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.
Cooperating Logic Theories 1-gen-1986 Barbuti, Roberto; D'Ascanio, C; Turini, Franco
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
Mostra risultati da 1 a 20 di 130
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