Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Modular Compiler Verification [[electronic resource] ] : A Refinement-Algebraic Approach Advocating Stepwise Abstraction / / by Markus Müller-Olm
| Modular Compiler Verification [[electronic resource] ] : A Refinement-Algebraic Approach Advocating Stepwise Abstraction / / by Markus Müller-Olm |
| Autore | Müller-Olm Markus |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XVI, 260 p.) |
| Disciplina | 005.4/53 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Architecture, Computer Software engineering Computer logic Special purpose computers Programming Languages, Compilers, Interpreters Computer System Implementation Software Engineering Logics and Meanings of Programs Special Purpose and Application-Based Systems |
| ISBN | 3-540-69539-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Complete Boolean lattices -- Galois connections -- States, valuation functions and predicates -- The algebra of commands -- Communication and time -- Data refinement -- Transputer base model -- A small hard real-time programming language -- A hierarchy of views -- Compiling-correctness relations -- Translation theorems -- A functional implementation -- Conclusion. |
| Record Nr. | UNINA-9910144918103321 |
Müller-Olm Markus
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modular Compiler Verification [[electronic resource] ] : A Refinement-Algebraic Approach Advocating Stepwise Abstraction / / by Markus Müller-Olm
| Modular Compiler Verification [[electronic resource] ] : A Refinement-Algebraic Approach Advocating Stepwise Abstraction / / by Markus Müller-Olm |
| Autore | Müller-Olm Markus |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XVI, 260 p.) |
| Disciplina | 005.4/53 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Architecture, Computer Software engineering Computer logic Special purpose computers Programming Languages, Compilers, Interpreters Computer System Implementation Software Engineering Logics and Meanings of Programs Special Purpose and Application-Based Systems |
| ISBN | 3-540-69539-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Complete Boolean lattices -- Galois connections -- States, valuation functions and predicates -- The algebra of commands -- Communication and time -- Data refinement -- Transputer base model -- A small hard real-time programming language -- A hierarchy of views -- Compiling-correctness relations -- Translation theorems -- A functional implementation -- Conclusion. |
| Record Nr. | UNISA-996465760403316 |
|
Müller-Olm Markus
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Variations on Constants [[electronic resource] ] : Flow Analysis of Sequential and Parallel Programs / / by Markus Müller-Olm
| Variations on Constants [[electronic resource] ] : Flow Analysis of Sequential and Parallel Programs / / by Markus Müller-Olm |
| Autore | Müller-Olm Markus |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XIII, 177 p.) |
| Disciplina | 004.21 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Software engineering Computer logic Programming languages (Electronic computers) Theory of Computation Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-45386-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. A Hierarchy of Constants -- 3. Deciding Constants by Effective Weakest Preconditions -- 4. Limits of Parallel Flow Analysis -- 5. Parallel Flow Graphs -- 6. Non-atomic Execution -- 7. Dependence Traces -- 8. Detecting Copy Constants and Eliminating Faint Code -- 9. Complexity in the Non-atomic Scenario -- 10. Conclusion -- A. A Primer on Constraint-Based Program Analysis. |
| Record Nr. | UNISA-996465580803316 |
|
Müller-Olm Markus
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Variations on Constants [[electronic resource] ] : Flow Analysis of Sequential and Parallel Programs / / by Markus Müller-Olm
| Variations on Constants [[electronic resource] ] : Flow Analysis of Sequential and Parallel Programs / / by Markus Müller-Olm |
| Autore | Müller-Olm Markus |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XIII, 177 p.) |
| Disciplina | 004.21 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Software engineering Computer logic Programming languages (Electronic computers) Theory of Computation Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-45386-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. A Hierarchy of Constants -- 3. Deciding Constants by Effective Weakest Preconditions -- 4. Limits of Parallel Flow Analysis -- 5. Parallel Flow Graphs -- 6. Non-atomic Execution -- 7. Dependence Traces -- 8. Detecting Copy Constants and Eliminating Faint Code -- 9. Complexity in the Non-atomic Scenario -- 10. Conclusion -- A. A Primer on Constraint-Based Program Analysis. |
| Record Nr. | UNINA-9910768173503321 |
|
Müller-Olm Markus
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||