Sfoglia per Autore
A GREY-WEIGHTED SKELETON
1970-01-01 Levi, Giorgio; Montanari, UGO GIOVANNI ERASMO
A fexilble environment for program development based on symbolic interpreter
1979-01-01 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
1981-01-01 Barbuti, Roberto; Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, A; Simonelli, C.
Program testing in an integrated software development environment
1981-01-01 Degano, Pierpaolo; Levi, Giorgio
Toward an Inductionless Technique for Proving Properties of Logic Programs
1982-01-01 Barbuti, Roberto; Degano, Pierpaolo; Levi, Giorgio
Applicative Communicating Processes in First Order Logic
1982-01-01 Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, Maurizio
Applicative communicating processes in first order logic
1982-01-01 Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; 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.
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.
LEAF: A Language witch Integrates Logic, Equations and Functions.
1986-01-01 Barbuti, Roberto; Bellia, Marco; Levi, Giorgio; Martelli, Maurizio
LEAF: A Language which Integrates Logic, Equations and Functions
1986-01-01 Barbuti, Roberto; Bellia, Marco; Levi, Giorgio; Martelli, M.
Principi e Tecniche di Progettazione del Software
1987-01-01 Barbuti, Roberto; Bellia, Marco; Degano, Pierpaolo; Levi, Giorgio
A Two-Level Approach to Logic plus Functional Programming Integration
1987-01-01 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
1988-01-01 Levi, Giorgio; Montanari, UGO GIOVANNI ERASMO
Modelling Prolog Control
1991-01-01 Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Levi, Giorgio
Modeling Prolog Control
1992-01-01 Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Levi, Giorgio
A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs
1993-01-01 Barbuti, Roberto; Giacobazzi, Roberto; Levi, Giorgio
Modelling Prolog Control
1993-01-01 Barbuti, Roberto; Codish, M.; Giacobazzi, Roberto; Levi, Giorgio
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 |
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