03904nam 22007335 450 99646582290331620230222111459.01-280-38973-797866135676593-642-16310-610.1007/978-3-642-16310-4(CKB)2550000000019882(SSID)ssj0000446748(PQKBManifestationID)11299325(PQKBTitleCode)TC0000446748(PQKBWorkID)10497763(PQKB)11661550(DE-He213)978-3-642-16310-4(MiAaPQ)EBC3065951(PPN)14902973X(EXLCZ)99255000000001988220101001d2010 u| 0engurnn|008mamaatxtccrRewriting Logic and Its Applications[electronic resource] 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers /edited by Peter Csaba Ölveczky1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (X, 264 p. 44 illus.) Theoretical Computer Science and General Issues,2512-2029 ;6381Bibliographic Level Mode of Issuance: Monograph3-642-16309-2 Includes bibliographical references and index.Invited Talks -- Rewriting, Inference, and Proof -- Twenty Years of Rewriting Logic -- Termination and Narrowing -- Proving Termination in the Context-Sensitive Dependency Pair Framework -- A Dependency Pair Framework for A???C-Termination -- Folding Variant Narrowing and Optimal Variant Termination -- Tools -- A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications -- A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories -- The K Framework -- K-Maude: A Rewriting Based Tool for Semantics of Programming Languages -- Collecting Semantics under Predicate Abstraction in the K Framework -- Applications and Semantics -- Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits -- A Formal Pattern Architecture for Safe Medical Systems -- On the Behavioral Semantics of Real-Time Domain Specific Visual Languages -- Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding -- Maude Model Checking and Debugging -- The Linear Temporal Logic of Rewriting Maude Model Checker -- Enhancing the Debugging of Maude Specifications -- Rewrite Engines -- The Third Rewrite Engines Competition.Theoretical Computer Science and General Issues,2512-2029 ;6381Computer programmingSoftware engineeringCompilers (Computer programs)Computer scienceMachine theoryProgramming TechniquesSoftware EngineeringCompilers and InterpretersComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheoryComputer programming.Software engineering.Compilers (Computer programs).Computer science.Machine theory.Programming Techniques.Software Engineering.Compilers and Interpreters.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.005.11Ölveczky Peter Csabaedthttp://id.loc.gov/vocabulary/relators/edtEuropean Joint Conferences on Theory and Practice of Software.BOOK996465822903316Rewriting logic and its applications2247230UNISA03462nam 2200829 a 450 991078568440332120230313194912.01-136-88690-70-415-59993-81-283-04362-997866130436270-203-83976-5(CKB)2670000000068343(EBL)592983(OCoLC)699474405(SSID)ssj0001149226(PQKBManifestationID)12507268(PQKBTitleCode)TC0001149226(PQKBWorkID)11173001(PQKB)10671708(SSID)ssj0000473258(PQKBManifestationID)11323299(PQKBTitleCode)TC0000473258(PQKBWorkID)10436059(PQKB)10860193(SSID)ssj0000544925(PQKBManifestationID)12232651(PQKBTitleCode)TC0000544925(PQKBWorkID)10553970(PQKB)11207322(MiAaPQ)EBC592983(Au-PeEL)EBL592983(CaPaEBR)ebr10442761(CaONFJC)MIL813635(EXLCZ)99267000000006834320110318d1983 uy 0engur|n|---|||||txtrdacontentcrdamediacrrdacarrierSocialism in a cold climate /Tony Atkinson [et al.] ; John Griffith (editor)London ;Boston Unwin Paperbacks19831 online resource (155 pages)CounterpointRoutledge revivalsDescription based upon print version of record.0-04-335050-X 0-415-59818-4 Includes bibliographical references and index.Book Cover; Title; Copyright; Contents; 1 Introduction; 2 A New Start for Labour; 3 The Commitment to Equality; 4 Economic Alternatives for Labour, 1984-9; 5 Privatisation and the Social Services; 6 Income Maintenance; 7 Conceptualising Equality for Women; 8 Industrial Relations; 9 A Politics of Location; 10 Race and Immigration; 11 Nationalism and Internationalism: A Critique of Economic and Defence Policies; 12 Provision and Choice in Housing; IndexFirst published in 1983, this important and stimulating book is a thoughtful contribution to the debate about the first steps that needed to be taken to build a socialist society in the 1980s. It covers topics as diverse as concepts of equality and fairness, sexual discrimination, economic policy, health and urban policy, pensions, poverty and the economics of the welfare state, defence and internationalism.Counterpoint.Routledge revivals.SocialismGreat BritainGreat BritainEconomic policy1964-1979Great BritainEconomic policy1979-1997Great BritainSocial policy1979-Great BritainPolitics and government1964-1979Great BritainPolitics and government1979-1997Socialism335.00941335/.00941Atkinson A. B(Anthony Barnes),1944-2017.140070Griffith J. A. G(John Aneurin Grey)262702MiAaPQMiAaPQMiAaPQBOOK9910785684403321Socialism in a cold climate3846187UNINA