LEADER 01425nam 2200373Ia 450 001 996409015003316 005 20220121191059.0 024 8 $aocn951968371 035 $a(CKB)4940000000597925 035 $a(OCoLC)951968371 035 $a(OCoLC)ocn951968371 035 $a(OCoLC)9930369400971 035 $a(EXLCZ)994940000000597925 100 $a20160621d1642 uy | 101 0 $aeng 135 $aurbn#|||a|bb| 200 12$aA declaration of the Lords and Commons assembled in Parliament$b[electronic resource] $ewhereas the King, seduced by wicked counsell, doth make war against his Parliament and people .. 210 $aImprinted at York $cBy Robert Barker, printer to the Kings Most Excellent Majestie, and by the assignes of John Bill$d1642 215 $a1 sheet ([1] p.) 300 $aCaption title. 300 $aPlace and date of publication suggested by Wing (2nd ed., 1994). 300 $aReproduction of original in: Yale University Library. 606 $aTreason$zEngland$vEarly works to 1800 607 $aGreat Britain$xHistory$yCivil War, 1642-1649 610 6$aOrdinances, edicts, proclamations 615 0$aTreason 702 $aBarker$b Robert$f-1645, 712 02$aAssigns of John Bill, 801 0$bUMI 801 1$bUMI 906 $aBOOK 912 $a996409015003316 996 $aA declaration of the Lords and Commons assembled in Parliament$92297858 997 $aUNISA LEADER 05913nam 22008655 450 001 9910483626603321 005 20251226202839.0 010 $a1-280-38608-8 010 $a9786613564009 010 $a3-642-12251-5 024 7 $a10.1007/978-3-642-12251-4 035 $a(CKB)2560000000009128 035 $a(SSID)ssj0000399482 035 $a(PQKBManifestationID)11249184 035 $a(PQKBTitleCode)TC0000399482 035 $a(PQKBWorkID)10383549 035 $a(PQKB)11080413 035 $a(DE-He213)978-3-642-12251-4 035 $a(MiAaPQ)EBC3065220 035 $a(PPN)149073429 035 $a(Association for Computing Machinery)10.5555/2175429 035 $a(BIP)29232881 035 $a(EXLCZ)992560000000009128 100 $a20100411d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFunctional and Logic Programming $e10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /$fedited by Matthias Blume, Naoki Kobayashi, Germán Vidal-Oriola 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XI, 355 p. 46 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6009 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-12250-7 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint Satisfaction Problems with SAT Technology -- Refereed Papers -- A Church-Style Intermediate Language for ML F -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via Higher-Order Rewrite Systems -- A Complete Axiomatization of Strict Equality -- Standardization and Böhm Trees for ??-Calculus -- An Integrated Distance for Atoms -- A Pearl on SAT Solving in Prolog -- Automatically Generating Counterexamples to Naive Free Theorems -- Applying Constraint Logic Programming to SQL Test Case Generation -- Internal Normalization, Compilation and Decompilation for System -- Towards Normalization by Evaluation for the ??-Calculus of Constructions -- Defunctionalized Interpreters for Call-by-Need Evaluation -- Complexity Analysis by Graph Rewriting -- Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program Inversion in Term Rewriting -- Delimited Control in OCaml, Abstractly and Concretely: System Description -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed Work Pools in Eden. 330 $aThis volume contains the proceedings of the 10th International Symposium on Functional and LogicProgramming(FLOPS 2010),held in Sendai, Japan, April 19-21, 2010 at Aoba Memorial Hall, Tohoku University. FLOPS is a forum for research on all issues concerning declarative progr- ming, including functional programming and logic programming, and aims to promotecross-fertilizationand integrationbetween the two paradigms.The p- vious FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise (2008). Since its 1999 edition, FLOPS proceedings have been published by Springer in its Lecture Notes in Computer Science series, as volumes 1722, 2024, 2441, 2998, 3945, and 4989, respectively. In response to the call for papers, 49 papers were submitted. Each paper was reviewed by at least three Program Committee members, with the help of expert external reviewers. The Program Committee meeting was conducted electronically, for a period of two weeks, in December 2009. After careful and thoroughdiscussion,theProgramCommitteeselected21papersforpresentation at the conference. In addition to the 21 contributed papers, the symposium included talks by three invited speakers: Brigitte Pientka (McGill University, Canada), Kostis Sagonas (National Technical University of Athens, Greece), and Naoyuki Tamura (Kobe University, Japan). 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6009 606 $aComputer programming 606 $aSoftware engineering 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aMachine theory 606 $aArtificial intelligence 606 $aProgramming Techniques 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 14$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 615 24$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 676 $a005.11 701 $aBlume$b Matthias$f1966-$01761105 701 $aKobayashi$b Naoki$01736494 701 $aVidal$b German$01759990 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483626603321 996 $aFunctional and logic programming$94200349 997 $aUNINA