| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466110003316 |
|
|
Titolo |
Static Analysis [[electronic resource] ] : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings / / edited by Kwangkeun Yi |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2006.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIII, 443 p.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 4134 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Programming languages (Electronic computers) |
Computer logic |
Mathematical logic |
Computer programming |
Software Engineering/Programming and Operating Systems |
Programming Languages, Compilers, Interpreters |
Logics and Meanings of Programs |
Software Engineering |
Mathematical Logic and Formal Languages |
Programming Techniques |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talk -- Unleashing the Power of Static Analysis -- Session 1 -- Static Analysis in Disjunctive Numerical Domains -- Static Analysis of Numerical Algorithms -- Static Analysis of String Manipulations in Critical Embedded C Programs -- Session 2 -- Abstract Regular Tree Model Checking of Complex Dynamic Data Structures -- Structural Invariants -- Existential Label Flow Inference Via CFL Reachability -- Session 3 -- Abstract Interpretation with Specialized Definitions -- Underapproximating Predicate Transformers -- Combining Widening and Acceleration in Linear Relation Analysis -- Beyond Iteration Vectors: Instancewise Relational Abstract Domains -- Invited Talk -- Separation Logic and Program Analysis -- Beyond Reachability: Shape |
|
|
|
|
|
|
|
|
|
|
|
|
|
Abstraction in the Presence of Pointer Arithmetic -- Session 4 -- Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding -- Recency-Abstraction for Heap-Allocated Storage -- Interprocedural Shape Analysis with Separated Heap Abstractions -- Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm -- Invited Talk -- Shape Analysis for Low-Level Code -- Session 5 -- Catching and Identifying Bugs in Register Allocation -- Certificate Translation for Optimizing Compilers -- Analysis of Low-Level Code Using Cooperating Decompilers -- Session 6 -- Static Analysis for Java Servlets and JSP -- Cryptographically-Masked Flows -- Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems -- Session 7 -- Parametric and Termination-Sensitive Control Dependence -- Memory Leak Analysis by Contradiction -- Path-Sensitive Dataflow Analysis with Iterative Refinement. |
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996393246003316 |
|
|
Autore |
Shakespeare William <1564-1616.> |
|
|
Titolo |
M. VVilliam Shake-speare, his true chronicle history of the life and death of King Lear, and his three daughters [[electronic resource] ] : With the vnfortunate life of Edgar, sonne and heire to the Earle of Glocester, and his sullen and assumed humour of Tom of Bedlam. As it was plaid before the Kings Maiesty at White-Hall, vpon S. Stephens night, in Christmas hollidaies. By his Maiesties Seruants, playing vsually at the Globe on the Banck-side |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[London], : Printed [by William Jaggard] for Nathaniel Butter, 1608 [i.e. 1619] |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Mostly in verse. |
The imprint date is false; actually printed in 1619 by William Jaggard for the Shakespearian collection of that year (see Greg, III, p. 1107-9). |
Signatures: A-Lâ´. |
Running title reads: The history of King Lear. |
|
|
|
|
|
|
|
|
|
|
|
Reproduction of the original in the British Library. |
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
| |