01328nam0-2200421---450-99000086656020331620050610184030.084-7423-600-20086656USA010086656(ALEPH)000086656USA01008665620020110d1996----km-y0ITAy01------baspaES||||||||001yyRomanceroedicíon, prólogo y notas de Paloma Díaz-Mascon un estudio preliminar de Samuel G. ArmisteadBarcelonaCrítica1996XXI, 538 p20 cm1 cd-romBiblioteca clàsica82001Biblioteca clàsica8861.2ARMISTEAD,Samuel G.DIAZ-MAS,PalomaITsalbcISBD990000866560203316VI.5.A. 203(II sp A 240)137046 LMII sp AVI.5.A. 203a(II sp A 240 BIS)137047 LMII sp AVI.5.A. 203b(II sp A 240 A)137048 LMII sp ABKUMAPATTY9020020110USA011738PATTY9020020110USA01173820020403USA011731PATRY9020040406USA011700COPAT79020050610USA011840Romancero94294UNISA06065nam 22008535 450 991014385930332120251116234351.03-540-44898-510.1007/3-540-44898-5(CKB)1000000000212043(SSID)ssj0000326882(PQKBManifestationID)11268681(PQKBTitleCode)TC0000326882(PQKBWorkID)10316349(PQKB)11603954(DE-He213)978-3-540-44898-3(MiAaPQ)EBC3072329(PPN)15516774X(Association for Computing Machinery)10.5555/1760267(BIP)13627277(BIP)8704079(EXLCZ)99100000000021204320121227d2003 u| 0engurnn|008mamaatxtccrStatic Analysis 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings /edited by Radhia Cousot1st ed. 2003.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2003.1 online resource (XIV, 510 p.) Lecture Notes in Computer Science,0302-9743 ;2694Bibliographic Level Mode of Issuance: Monograph3-540-40325-6 Includes bibliographical references at the end of each chapters and index.Static Analysis of Object-Oriented Languages -- Precise Analysis of String Expressions -- Modular Class Analysis with DATALOG -- Class-Level Modular Analysis for Object Oriented Languages -- Static Analysis of Concurrent Languages -- Checking Interference with Fractional Permissions -- Message Analysis for Concurrent Languages -- Instantaneous Termination in Pure Esterel -- Stack Size Analysis for Interrupt-Driven Programs -- Invited Paper -- Program Development Using Abstract Interpretation (And the Ciao System Preprocessor) -- Static Analysis of Functional Languages -- Selective Tail Call Elimination -- Inserting Safe Memory Reuse Commands into ML-Like Programs -- Static Analysis of Procedural Languages -- Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis -- Client-Driven Pointer Analysis -- Abstract Interpretation of Programs as Markov Decision Processes -- Static Data Analysis -- A Logic for Analyzing Abstractions of Graph Transformation Systems -- Type Systems for Distributed Data Sharing -- Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations -- Computer-Assisted Verification of a Protocol for Certified Email -- Invited Talk -- Craig Interpolation and Reachability Analysis -- Static Linear Relation Analysis -- Precise Widening Operators for Convex Polyhedra -- Cartesian Factoring of Polyhedra in Linear Relation Analysis -- Static Analysis Based Program Transformation -- Continuation-Based Partial Evaluation without Continuations -- Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications -- Code Compaction of Matching Single-Entry Multiple-Exit Regions -- Static Heap Analysis -- Existential Heap Abstraction Entailment Is Undecidable -- Typestate Verification: Abstraction Techniques and Complexity Results -- Static Analysis of Accessed Regions in Recursive Data Structures -- Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management.The refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003. The 25 revised full papers presented together with two invited contributions were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on static analysis of object-oriented languages, static analysis of concurrent languages, static analysis of functional languages, static analysis of procedural languages, static data analysis, static linear relation analysis, static analysis based program transformation, and static heap analysis.Lecture Notes in Computer Science,0302-9743 ;2694SAS'03Programming languages (Electronic computers)Computer scienceComputer programmingSoftware engineeringComputer logicLogic, Symbolic and mathematicalProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computer Science, generalhttps://scigraph.springernature.com/ontologies/product-market-codes/I00001Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming languages (Electronic computers)Computer science.Computer programming.Software engineering.Computer logic.Logic, Symbolic and mathematical.Programming Languages, Compilers, Interpreters.Computer Science, general.Programming Techniques.Software Engineering.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.005.13Cousot Radhiaedthttp://id.loc.gov/vocabulary/relators/edtInternational Static Analysis SymposiumMiAaPQMiAaPQMiAaPQBOOK9910143859303321Static Analysis2995248UNINA