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.
How to design programs : an introduction to programming and computing / / Matthias Felleisen ... [et al.]
| How to design programs : an introduction to programming and computing / / Matthias Felleisen ... [et al.] |
| Pubbl/distr/stampa | Cambridge, Massachusetts : , : MIT Press, , c2001 |
| Descrizione fisica | 1 online resource (xxx, 693 p. ) : ill. ; |
| Disciplina | 005.1/2 |
| Altri autori (Persone) | FelleisenMatthias |
| Soggetto topico |
Computer programming
Electronic data processing Engineering & Applied Sciences Computer Science |
| ISBN |
0-262-30019-2
9786612096303 1-282-09630-3 0-262-25611-8 0-585-39296-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910146960503321 |
| Cambridge, Massachusetts : , : MIT Press, , c2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
How to design programs : an introduction to programming and computing / / Matthias Felleisen ... [et al.]
| How to design programs : an introduction to programming and computing / / Matthias Felleisen ... [et al.] |
| Pubbl/distr/stampa | Cambridge, Massachusetts : , : MIT Press, , c2001 |
| Descrizione fisica | 1 online resource (xxx, 693 p. ) : ill. ; |
| Disciplina | 005.1/2 |
| Altri autori (Persone) | FelleisenMatthias |
| Soggetto topico |
Computer programming
Electronic data processing Engineering & Applied Sciences Computer Science |
| ISBN |
0-262-30019-2
9786612096303 1-282-09630-3 0-262-25611-8 0-585-39296-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996320687503316 |
| Cambridge, Massachusetts : , : MIT Press, , c2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming Languages and Systems [[electronic resource] ] : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / / edited by Matthias Felleisen, Philippa Gardner
| Programming Languages and Systems [[electronic resource] ] : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / / edited by Matthias Felleisen, Philippa Gardner |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XX, 620 p. 162 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer logic Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs |
| ISBN | 3-642-37036-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible Printing System -- Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJULIENNE -- Why3 — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness -- Modular Reasoning about Separation of Concurrent Data Structures -- Ribbon Proofs for Separation Logic -- Abstract Refinement Types -- Constraining Delimited Control with Contracts -- Verifying Concurrent Memory Reclamation Algorithms with Grace -- Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications -- On Distributability in Process Calculi -- Behavioral Polymorphism and Parametricity in Session-Based Communication -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible Reversibility -- Structural Lock Correlation with Ownership Types -- Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types -- Counterexample-Guided Precondition Inference -- Information Reuse for Multi-goal Reachability Analyses -- Quarantining Weakness: Compositional Reasoning under Relaxed Memory Models (Extended Abstract) -- Software Verification for Weak Memory via Program Transformation -- Checking and Enforcing Robustness against TSO -- GADTs Meet Subtyping -- A Data Driven Approach for Algebraic Loop Invariants -- Automatic Type Inference for Amortised Heap-Space Analysis. |
| Record Nr. | UNISA-996465683403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming Languages and Systems : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / / edited by Matthias Felleisen, Philippa Gardner
| Programming Languages and Systems : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / / edited by Matthias Felleisen, Philippa Gardner |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XX, 620 p. 162 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer logic Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs |
| ISBN | 3-642-37036-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible Printing System -- Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJULIENNE -- Why3 — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness -- Modular Reasoning about Separation of Concurrent Data Structures -- Ribbon Proofs for Separation Logic -- Abstract Refinement Types -- Constraining Delimited Control with Contracts -- Verifying Concurrent Memory Reclamation Algorithms with Grace -- Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications -- On Distributability in Process Calculi -- Behavioral Polymorphism and Parametricity in Session-Based Communication -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible Reversibility -- Structural Lock Correlation with Ownership Types -- Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types -- Counterexample-Guided Precondition Inference -- Information Reuse for Multi-goal Reachability Analyses -- Quarantining Weakness: Compositional Reasoning under Relaxed Memory Models (Extended Abstract) -- Software Verification for Weak Memory via Program Transformation -- Checking and Enforcing Robustness against TSO -- GADTs Meet Subtyping -- A Data Driven Approach for Algebraic Loop Invariants -- Automatic Type Inference for Amortised Heap-Space Analysis. |
| Record Nr. | UNINA-9910483044503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||