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.
Compiler Construction [[electronic resource] ] : 22nd International Conference, CC 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 Koen De Bosschere, Ranjit Jhala
| Compiler Construction [[electronic resource] ] : 22nd International Conference, CC 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 Koen De Bosschere, Ranjit Jhala |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVIII, 265 p. 96 illus.) |
| Disciplina | 005.453 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Compilers (Computer programs)
Software engineering Operating systems (Computers) Compilers and Interpreters Software Engineering Operating Systems |
| ISBN | 3-642-37051-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation in Polynomial Time -- Optimal and Heuristic Global Code Motion for Minimal Spilling -- Efficient and Effective Handling of Exceptions in Java Points-to Analysis -- An Incremental Points-to Analysis with CFL-Reachability -- FESA: Fold- and Expand-Based Shape Analysis -- Simple and Efficient Construction of Static Single Assignment Form -- PolyGLoT: A Polyhedral Loop Transformation Framework for a Graphical Dataflow Language -- Architecture-Independent Dynamic Information Flow Tracking -- On the Determination of Inlining Vectors for Program Optimization -- Automatic Generation of Program Affinity Policies Using Machine Learning -- Compiler-Guided Identification of Critical Sections in Parallel Code -- Refactoring MATLAB -- On LR Parsing with Selective Delays. |
| Record Nr. | UNISA-996465683903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Compiler Construction : 22nd International Conference, CC 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 Koen De Bosschere, Ranjit Jhala
| Compiler Construction : 22nd International Conference, CC 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 Koen De Bosschere, Ranjit Jhala |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVIII, 265 p. 96 illus.) |
| Disciplina | 005.453 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Compilers (Computer programs)
Software engineering Operating systems (Computers) Compilers and Interpreters Software Engineering Operating Systems |
| ISBN | 3-642-37051-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation in Polynomial Time -- Optimal and Heuristic Global Code Motion for Minimal Spilling -- Efficient and Effective Handling of Exceptions in Java Points-to Analysis -- An Incremental Points-to Analysis with CFL-Reachability -- FESA: Fold- and Expand-Based Shape Analysis -- Simple and Efficient Construction of Static Single Assignment Form -- PolyGLoT: A Polyhedral Loop Transformation Framework for a Graphical Dataflow Language -- Architecture-Independent Dynamic Information Flow Tracking -- On the Determination of Inlining Vectors for Program Optimization -- Automatic Generation of Program Affinity Policies Using Machine Learning -- Compiler-Guided Identification of Critical Sections in Parallel Code -- Refactoring MATLAB -- On LR Parsing with Selective Delays. |
| Record Nr. | UNINA-9910483044603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
PLDI '22 : proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation : June 13-17, 2022, San DIego, CA, USA / / edited by Ranjit Jhala, Isil Dillig
| PLDI '22 : proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation : June 13-17, 2022, San DIego, CA, USA / / edited by Ranjit Jhala, Isil Dillig |
| Pubbl/distr/stampa | New York : , : Association for Computing Machinery, , 2022 |
| Descrizione fisica | 1 online resource (1038 pages) : illustrations |
| Disciplina | 001.642 |
| Collana | ACM Conferences |
| Soggetto topico |
Automatic programming (Computer science)
Compilers (Computer programs) Computer science Programming languages (Electronic computers) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910580194903321 |
| New York : , : Association for Computing Machinery, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
PLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA
| PLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA |
| Autore | Jhala Ranjit |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2011 |
| Descrizione fisica | 1 online resource (62 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Programming Languages Meets Program Verification'11 : proceedings of the 5th Association for Computing Machinery workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, United States of America
Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification POPL '11 the 38th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Austin, TX, USA - January 26 - 28, 2011 |
| Record Nr. | UNINA-9910376024003321 |
Jhala Ranjit
|
||
| [Place of publication not identified], : ACM, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming Languages and Systems [[electronic resource] ] : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings / / edited by Ranjit Jhala, Atsushi Igarashi
| Programming Languages and Systems [[electronic resource] ] : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings / / edited by Ranjit Jhala, Atsushi Igarashi |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XII, 389 p. 104 illus.) |
| Disciplina | 005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer logic Computer security Computer programming Mathematical logic Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Systems and Data Security Programming Techniques Mathematical Logic and Formal Languages |
| ISBN | 3-642-35182-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection -- JATO: Native Code Atomicity for Java -- Ownership Types for Object Synchronisation -- A Functional View of Imperative Information Flow -- End-to-end Multilevel Hybrid Information Flow Control -- Succour to the Confused Deputy: Types for Capabilities -- Types and Access Controls for Cross-Domain Security in Flash -- Linear Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code -- Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks -- Vinter: A Vampire-Based Tool for Interpolation (Tool Paper) -- Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis -- Inference of Necessary Field Conditions with Abstract Interpretation -- Lazy v. Yield: Incremental, Linear Pretty-Printing -- Dynamic Software Update for Message Passing Programs -- A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming -- Concurrent Test Generation Using Concolic Multi-trace Analysis -- Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis -- Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints -- A New Order-Theoretic Characterisation of the Polytime Computable Functions -- A Dynamic Interpretation of the CPS Hierarchy -- Scalable Formal Machine Models -- Modular Verification of Concurrent Thread Management -- A Case for Behavior-Preserving Actions in Separation Logic -- A Generic Cyclic Theorem Prover -- Decision Procedures over Sophisticated Fractional Permissions -- Mechanized Semantics for Compiler Verification. |
| Record Nr. | UNISA-996466290503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verification, Model Checking, and Abstract Interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / / edited by Ranjit Jhala, David Schmidt
| Verification, Model Checking, and Abstract Interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / / edited by Ranjit Jhala, David Schmidt |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XI, 419 p. 90 illus., 11 illus. in color.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Algorithms Machine theory Computer programming Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Formal Languages and Automata Theory Programming Techniques |
| ISBN | 3-642-18275-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | VMCAI'11 |
| Record Nr. | UNISA-996466048403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings / / Ranjit Jhala, David Schmidt (eds.)
| Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings / / Ranjit Jhala, David Schmidt (eds.) |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | New York, : Springer, 2011 |
| Descrizione fisica | 1 online resource (XI, 419 p. 90 illus., 11 illus. in color.) |
| Disciplina | 005.1015113 |
| Altri autori (Persone) |
JhalaRanjit
SchmidtDavid |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico | Computer programs - Verification |
| ISBN | 3-642-18275-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910510604903321 |
| New York, : Springer, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||