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.
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
| Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages |
| Autore | Jones Neil D |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2004 |
| Descrizione fisica | 1 online resource (354 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 |
Proceedings of the 31st Association for Computing Machinery Special Interest Group on Programming Languages-Special Interest Group on Algorithms and Computation Theory Symposium on Principles of Programming Languages
POPL '04 the 31st annual ACM Symposium on Principles of Programming Languages, Venice, Italy - January 14 - 16, 2004 |
| Record Nr. | UNINA-9910375845003321 |
Jones Neil D
|
||
| [Place of publication not identified], : ACM, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18 - 20, 2009 ; proceedings / / Neil D. Jones, Markus Muller-Olm (eds.)
| Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18 - 20, 2009 ; proceedings / / Neil D. Jones, Markus Muller-Olm (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | New York, NY ; ; Berlin ; ; Heidelberg, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XI, 381 p.) |
| Disciplina | 005.11 |
| Altri autori (Persone) |
JonesNeil D
Muller-OlmMarkus |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Mathematical optimization
Programming (Mathematics) |
| ISBN | 3-540-93900-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Model Checking: Progress and Problems -- Model Checking Concurrent Programs -- Thread-Modular Shape Analysis -- Invited Tutorials -- Advances in Program Termination and Liveness -- Verification of Security Protocols -- Submitted Papers -- Towards Automatic Stability Analysis for Rely-Guarantee Proofs -- Mostly-Functional Behavior in Java Programs -- The Higher-Order Aggregate Update Problem -- An Abort-Aware Model of Transactional Programming -- Model-Checking the Linux Virtual File System -- LTL Generalized Model Checking Revisited -- Monitoring the Full Range of ?-Regular Properties of Stochastic Systems -- Constraint-Based Invariant Inference over Predicate Abstraction -- Reducing Behavioural to Structural Properties of Programs with Procedures -- Query-Driven Program Testing -- Average-Price-per-Reward Games on Hybrid Automata with Strong Resets -- Abstraction Refinement for Probabilistic Software -- Finding Concurrency-Related Bugs Using Random Isolation -- An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries -- SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities -- Deciding Extensions of the Theories of Vectors and Bags -- A Posteriori Soundness for Non-deterministic Abstract Interpretations -- An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking -- A Scalable Memory Model for Low-Level Code -- Synthesizing Switching Logic Using Constraint Solving -- Extending Symmetry Reduction by Exploiting System Architecture -- Shape-Value Abstraction for Verifying Linearizability -- Mixed Transition Systems Revisited -- Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. |
| Record Nr. | UNINA-9910484590103321 |
| New York, NY ; ; Berlin ; ; Heidelberg, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||