Sfoglia per Autore
Una classe di schemi paralleli non deterministici.
1977-01-01 Degano, Pierpaolo
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
Inducing function properties from computation traces
1979-01-01 Degano, Pierpaolo; Sirovich, F.
Induction of function properties and theorem proving
1979-01-01 Degano, Pierpaolo; Sirovich, F.
Surmising properties from computations
1979-01-01 Degano, Pierpaolo; Sirovich, F.
On finding the optimal access path to solve a relational data base query
1980-01-01 Degano, Pierpaolo; Lomanto, A; Sirovich, F.
A note on the power of backtracking
1980-01-01 Degano, Pierpaolo; Pacini, G.; Turini, Franco
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.
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.
Program testing in an integrated software development environment
1981-01-01 Degano, Pierpaolo; Levi, Giorgio
Integrated Interactive Computing Systems.
1982-01-01 Degano, Pierpaolo; Sandewall, E.
Artificial Intelligence -- Making computers more usable.
1982-01-01 Degano, Pierpaolo
Applicative communicating processes in first order logic
1982-01-01 Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, M.
Toward an Inductionless Technique for Proving Properties of Logic Programs
1982-01-01 Barbuti, Roberto; Degano, Pierpaolo; Levi, Giorgio
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, Maurizio
The call-by-name semantics of a clause language with functions
1982-01-01 Bellia, Marco; Degano, Pierpaolo; Levi, G.
Programming environment generation based on denotational semantics
1983-01-01 Barbuti, Roberto; Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, A; Simonelli, C.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Una classe di schemi paralleli non deterministici. | 1-gen-1977 | Degano, Pierpaolo | |
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 | |
Inducing function properties from computation traces | 1-gen-1979 | Degano, Pierpaolo; Sirovich, F. | |
Induction of function properties and theorem proving | 1-gen-1979 | Degano, Pierpaolo; Sirovich, F. | |
Surmising properties from computations | 1-gen-1979 | Degano, Pierpaolo; Sirovich, F. | |
On finding the optimal access path to solve a relational data base query | 1-gen-1980 | Degano, Pierpaolo; Lomanto, A; Sirovich, F. | |
A note on the power of backtracking | 1-gen-1980 | Degano, Pierpaolo; Pacini, G.; Turini, Franco | |
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. | |
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. | |
Program testing in an integrated software development environment | 1-gen-1981 | Degano, Pierpaolo; Levi, Giorgio | |
Integrated Interactive Computing Systems. | 1-gen-1982 | Degano, Pierpaolo; Sandewall, E. | |
Artificial Intelligence -- Making computers more usable. | 1-gen-1982 | Degano, Pierpaolo | |
Applicative communicating processes in first order logic | 1-gen-1982 | Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, M. | |
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. | |
Applicative Communicating Processes in First Order Logic | 1-gen-1982 | Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, Maurizio | |
The call-by-name semantics of a clause language with functions | 1-gen-1982 | Bellia, Marco; Degano, Pierpaolo; Levi, G. | |
Programming environment generation based on denotational semantics | 1-gen-1983 | Barbuti, Roberto; Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, A; Simonelli, C. |
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