CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 30 di 66
Titolo Data di pubblicazione Autore(i) File
Distributed Control, Modularity and Data Types in a simple Parallel Language 1-gen-1977 Bellia, Marco; Levi, G.
Ambienti integrati per la produzione del software 1-gen-1980 Ambriola, Vincenzo; Bellia, Marco; Degano, Pierpaolo
A functional plus predicate programming language 1-gen-1980 Bellia, Marco; Degano, Pierpaolo; Levi, G.
An Interactive Assistant System for Proving Program Properties 1-gen-1980 Bellia, Marco
A Functional Plus Predicate Logic Programming 1-gen-1980 Bellia, Marco; Degano, Pierpaolo; Levi, G.
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.
Hierarchical Development of Programming Languages 1-gen-1981 Bellia, Marco
An Interactive Assistant System for Proving Program Properties 1-gen-1982 Bellia, Marco
The call-by-name semantics of a clause language with functions 1-gen-1982 Bellia, Marco; Degano, Pierpaolo; Levi, G.
Applicative Communicating Processes in First Order Logic 1-gen-1982 Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, Maurizio
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.
Applicative communicating processes in first order logic 1-gen-1982 Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, M.
On Compiling PROLOG Programs on Demand-driven Architectures 1-gen-1983 Bellia, Marco; Levi, G.; 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.
On the Integration of Logic Programming and Functional Programming 1-gen-1984 Barbuti, Roberto; Bellia, Marco; Levi, G.; Martelli, M.
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.
Semantica e Pragmatica del Linguaggio Pascal 1-gen-1985 Bellia, Marco; Occhiuto, MARIA EUGENIA
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.
The Relation between Logic and Functional Languages: A Survey 1-gen-1986 Bellia, Marco; Levi, G.
Retractions: A Functional Paradigm for Logic Programming 1-gen-1987 Bellia, Marco
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.
Introduzione allo studio dei linguaggi di programmazione 1-gen-1988 Bellia, Marco; Occhiuto, MARIA EUGENIA
Logic and Functional Programming by Retractions 1-gen-1988 Bellia, Marco
Logic and Functional Programming by Retraction: Operational Semantics 1-gen-1988 Bellia, Marco
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 1-gen-1990 Bellia, Marco; M., Bugliesi; Occhiuto, MARIA EUGENIA
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 1-gen-1990 Bellia, Marco; Bugliesi, M.; Occhiuto, MARIA EUGENIA
Mostra risultati da 1 a 30 di 66
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