04387nam 2200709Ia 450 991048492670332120200520144314.01-280-38817-X97866135660963-642-14808-510.1007/978-3-642-14808-8(CKB)2670000000036356(SSID)ssj0000446827(PQKBManifestationID)11318386(PQKBTitleCode)TC0000446827(PQKBWorkID)10504736(PQKB)11377995(DE-He213)978-3-642-14808-8(MiAaPQ)EBC3065694(PPN)149018436(EXLCZ)99267000000003635620100825d2010 uy 0engurnn|008mamaatxtccrTheoretical aspects of computing--ICTAC 2010 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 : proceedings /Ana Cavalcanti ... [et al.] (eds.)1st ed. 2010.Berlin Springer20101 online resource (XIII, 397 p. 60 illus.) Lecture notes in computer science,0302-9743 ;6255LNCS sublibrary. SL 1, Theoretical computer science and general issuesBibliographic Level Mode of Issuance: Monograph3-642-14807-7 Includes bibliographical references and index.Invited Papers and Abstract -- Invariants and Well-Foundedness in Program Algebra -- A Theory of Software Product Line Refinement -- The TLA?+? Proof System: Building a Heterogeneous Verification Platform -- Grammars -- Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules -- Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution -- Tracking Down the Origins of Ambiguity in Context-Free Grammars -- Semantics -- Prioritized slotted-Circus -- A Denotational Semantical Model for Orc Language -- An Extended cCSP with Stable Failures Semantics -- Preference and Non-deterministic Choice -- Modelling -- Material Flow Abstraction of Manufacturing Systems -- Specification and Verification of a MPI Implementation for a MP-SoC -- Special Track: Formal Aspects of Software Testing and Grand Challenge in Verified Software -- Testing of Abstract Components -- Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform -- Analyzing a Formal Specification of Mondex Using Model Checking -- Formal Modelling of Separation Kernel Components -- Mechanized Verification with Sharing -- Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking -- Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements -- Logics -- Complete Calculi for Structured Specifications in Fork Algebra -- Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting -- Characterizing Locality (Encapsulation) with Bisimulation -- Justification Logic and History Based Computation -- Algorithms and Types -- A Class of Greedy Algorithms and Its Relation to Greedoids -- On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types -- A Modality for Safe Resource Sharing and Code Reentrancy.Lecture notes in computer science ;6255.LNCS sublibrary.SL 1,Theoretical computer science and general issues.ICTAC 2010International Colloquium on Theoretical Aspects of Computing7th International Colloquium on Theoretical Aspects of ComputingFormal methods (Computer science)CongressesComputer scienceMathematicsCongressesComputer programmingCongressesElectronic data processingCongressesInformation theoryCongressesFormal methods (Computer science)Computer scienceMathematicsComputer programmingElectronic data processingInformation theory003./54Cavalcanti Ana1736503ICTAC 2010MiAaPQMiAaPQMiAaPQBOOK9910484926703321Theoretical aspects of computing--ICTAC 20104193154UNINA