01314nam2-2200397---450-99000269626020331620060127134826.088-8332-224-X000269626USA01000269626(ALEPH)000269626USA0100026962620051221d2004----km-y0enga50------baitaIT<<2 B :>> <<L'>> età del RomanticismoR. Fedi...[et al.]MilanoMursia Scuolacopyr. 2004509 p.26 cm0010002696222001Dieci secoli di letteraturaLetteratura italianaStoria850.9FEDI,Roberto990002696260203316VI.3.C. 212/2.2 (V C 2576/2.2)184963 L.M.V C00117322VI.3.C. 212/2.2 b (V C 2576/2.2b)184961 L.M.V C00117327VI.3.C. 212/2.1 a (V C 2576/2.2a)184962 L.M.V C00117328BKUMAPAOLA9020051221USA011143PAOLA9020051221USA011247PAOLA9020060127USA011343PAOLA9020060127USA011346PAOLA9020060127USA011346PAOLA9020060127USA011348Età del Romanticismo220659UNISA03407nam 2200637 450 99646584490331620220816205224.01-280-85308-597866108530833-540-69611-310.1007/978-3-540-69611-7(CKB)1000000000284135(EBL)3036595(SSID)ssj0000225581(PQKBManifestationID)11192095(PQKBTitleCode)TC0000225581(PQKBWorkID)10233520(PQKB)11285537(DE-He213)978-3-540-69611-7(MiAaPQ)EBC3036595(MiAaPQ)EBC6806129(Au-PeEL)EBL6806129(OCoLC)1285783222(PPN)123726638(EXLCZ)99100000000028413520220816d2007 uy 0engur|n|---|||||txtccrPractical aspects of declarative languages 9th international symposium, PADL 2007, Nice, France, January 14-15, 2007 : proceedings /Michael Hanus (editor)1st ed. 2007.Berlin, Heidelberg :Springer-Verlag,[2007]©20071 online resource (343 p.)Lecture Notes in Computer Science ;4354International conference proceedings.3-540-69608-3 Includes bibliographical references and index.QuickCheck Testing for Fun and Profit -- A Constraint Programming Approach to Bioinformatics Structural Problems -- Rewriting Haskell Strings -- Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning -- Algebraic Knowledge Discovery Using Haskell -- Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang -- Automatic Incrementalization of Prolog Based Static Analyses -- Verification of Java Bytecode Using Analysis and Transformation of Logic Programs -- Combining Static Analysis and Profiling for Estimating Execution Times -- On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation -- Compiling Constraint Handling Rules for Efficient Tabled Evaluation -- Prolog Performance on Larger Datasets -- BAD, a Declarative Logic-Based Language for Brain Modeling -- From Zinc to Design Model -- Inductive Logic Programming by Instance Patterns -- ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement -- The Joins Concurrency Library -- HPorter: Using Arrows to Compose Parallel Processes -- Coupled Schema Transformation and Data Conversion for XML and SQL -- Aspect-Oriented Programming in Higher-Order and Linear Logic -- Partial Evaluation of Pointcuts.Lecture notes in computer science ;4354.Programming languages (Electronic computers)SemanticsCongressesProgramming languages (Electronic computers)SemanticsProgramming languages (Electronic computers)SemanticsProgramming languages (Electronic computers)Semantics.005.131Hanus Michael1959-1227460PADL 2007MiAaPQMiAaPQMiAaPQBOOK996465844903316Practical aspects of declarative languages2906364UNISA