Sfoglia per Autore
LL(1) grammars supporting an efficient error handling
1975-01-01 Ghezzi, Carlo
Specifiche e prove di proprietà dei programmi: lo stato dell'arte
1978-01-01 Ghezzi, Carlo; Mandrioli, Dino
Context-free graph grammars
1978-01-01 Pierluigi Della, Vigna; Ghezzi, Carlo
Incremental Parsing
1979-01-01 Ghezzi, Carlo; Mandrioli, Dino
Separate Compilation and Partial Specification in Pascal
1980-01-01 Celentano, A.; DELLA VIGNA, Pierluigi; Ghezzi, Carlo; Mandrioli, Dino
Augmenting Parsers to Support Incrementality
1980-01-01 Ghezzi, Carlo; Mandrioli, Dino
SIMPLE: A Program Development System
1980-01-01 A., Celentano; DELLA VIGNA, Pierluigi; Ghezzi, Carlo; Mandrioli, Dino
Compiler testing using a sentence generator
1980-01-01 A., Celentano; S., Crespi Reghizzi; P., Della Vigna; Ghezzi, Carlo; G., Granata; F., Savoretti
Language Constructs for Real-Time Distributed Systems
1982-01-01 D., Berry; Ghezzi, Carlo; Mandrioli, Dino; F., Tisato
Using FP as a query language for relational data-bases
1984-01-01 Annalisa, Bossi; Ghezzi, Carlo
Modeling the Ada Task System by Petri Nets
1985-01-01 Mandrioli, Dino; R., Zicari; Ghezzi, Carlo; F., Tisato
Concurrency in programming languages: A survey
1985-01-01 Ghezzi, Carlo
A proposal for a new software reliability model and its preliminary assessment
1986-01-01 Bittanti, Sergio; Bolzern, PAOLO GIUSEPPE EMILIO; Ghezzi, Carlo; Scattolini, Riccardo
On the specification of real-time systems using logic programming
1987-01-01 Garzotto, Franca; Ghezzi, Carlo; Mandrioli, Dino; Morzenti, ANGELO CARLO
Theoretical Foundations of Computer Science.
1987-01-01 Mandrioli, Dino; Ghezzi, Carlo
Symbolic Execution of Concurrent Systems Using Petri Nets
1989-01-01 Ghezzi, Carlo; Mandrioli, Dino; S., Morasca; M., Pezzè
On the Behavior of Concurrent and Real-Time Systems
1989-01-01 Fuggetta, Alfonso; Ghezzi, Carlo; Mandrioli, Dino
TRIO a Logic Language for Executable Specifications of Real-time Systems
1990-01-01 Ghezzi, Carlo; Mandrioli, Dino; Morzenti, ANGELO CARLO
Software Specialization via Symbolic Execution
1991-01-01 Coen, A.; DE PAOLI, F.; Ghezzi, Carlo; Mandrioli, Dino
A Unified High-level Petri Net Model for Time Critical Systems
1991-01-01 Ghezzi, Carlo; Mandrioli, Dino; Morasca, S.; Pezze', M.
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