Sfoglia per Autore
Distributed Control, Modularity and Data Types in a simple Parallel Language
1977-01-01 Bellia, Marco; Levi, G.
Ambienti integrati per la produzione del software
1980-01-01 Ambriola, Vincenzo; Bellia, Marco; Degano, Pierpaolo
A functional plus predicate programming language
1980-01-01 Bellia, Marco; Degano, Pierpaolo; Levi, G.
An Interactive Assistant System for Proving Program Properties
1980-01-01 Bellia, Marco
A Functional Plus Predicate Logic Programming
1980-01-01 Bellia, Marco; Degano, Pierpaolo; Levi, G.
Towards the definition of an experimental programming environment from language formal specifications
1981-01-01 Barbuti, Roberto; Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, A; Simonelli, C.
Hierarchical Development of Programming Languages
1981-01-01 Bellia, Marco
An Interactive Assistant System for Proving Program Properties
1982-01-01 Bellia, Marco
The call-by-name semantics of a clause language with functions
1982-01-01 Bellia, Marco; Degano, Pierpaolo; Levi, G.
Applicative Communicating Processes in First Order Logic
1982-01-01 Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, Maurizio
Toward the Derivation of an Experimental Programming Environment Form Language Formal Specifications
1982-01-01 Barbuti, Roberto; Bellia, Marco; Martelli, A.; Dameri, E.; Simonelli, C.; Degano, Pierpaolo; Levi, G.
Applicative communicating processes in first order logic
1982-01-01 Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, M.
On Compiling PROLOG Programs on Demand-driven Architectures
1983-01-01 Bellia, Marco; Levi, G.; Martelli, M.
Programming environments: deriving language dependent tools from structured donotational semantics
1983-01-01 Barbuti, Roberto; Bellia, Marco; Degano, Pierpaolo; Levi, Giorgio; Martelli, A.
Programming environment generation based on denotational semantics
1983-01-01 Barbuti, Roberto; Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, A; Simonelli, C.
On the Integration of Logic Programming and Functional Programming
1984-01-01 Barbuti, Roberto; Bellia, Marco; Levi, G.; Martelli, M.
A Formal Model for Lazy Implementation of a Prolog Compatible Functional Language
1984-01-01 Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, M.
On the Integration of Logic Programming and Functional Programming
1984-01-01 Barbuti, Roberto; Bellia, Marco; Levi, Giorgio; Martelli, M.
Semantica e Pragmatica del Linguaggio Pascal
1985-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
LEAF: A Language witch Integrates Logic, Equations and Functions.
1986-01-01 Barbuti, Roberto; Bellia, Marco; Levi, Giorgio; Martelli, Maurizio
| 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 |
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