00400nas 2200157z- 450 9910301985603321(CKB)3840000000207479(EXLCZ)99384000000020747920170717cuuuuuuuu -u- -engUnion (PCF Armentières)Union JOURNAL9910301985603321Union (PCF Armentières)2970069UNINA02894oas 2201117 a 450 991033314790332120250921213016.01768-3238(DE-599)ZDB2079099-5(DE-599)2079099-5(OCoLC)48926916(CONSER) 2004251050(CKB)111020966137022(EXLCZ)9911102096613702220020204a20029999 oy engurmnu||||||||txtrdacontentcrdamediacrrdacarrierComptes rendusBiologies[Paris] Académie des Sciences Editions scientifiques et médicales Elsevier SAS©2002-Paris, France :Académie des sciencesRefereed/Peer-reviewedTitle from contents screen (viewed February 4, 2002).1631-0691 BiologiesC.R. biologiesBiologyPeriodicalsLife sciencesPeriodicalsLife sciencesMedicinePeriodicalsBiological Science DisciplinesBiologiePériodiquesMédecinePériodiquesSciences de la viePériodiquesSciences de la viebiological sciencesaatMedicinefast(OCoLC)fst01014893Biologyfast(OCoLC)fst00832383Life sciencesfast(OCoLC)fst00998323BiologiegttPeriodical.periodicals.aatPeriodicals.fastPeriodicals.lcgftPériodiques.rvmgfBiologyLife sciencesLife sciences.MedicineBiological Science Disciplines.BiologieMédecineSciences de la vieSciences de la vie.biological sciences.Medicine.Biology.Life sciences.Biologie.Académie des sciences (France)AKRAKRTJCMUQOCLCQUMCOCLCQUMCVRCUKMGBOCLCQOCLCFOCLCOOCLCQUABOCLCQOCLCAAUDVT2U3WNJTNLMOCLCOOCLCQOCLCOOCLOCLCQTXAYWSOCLCLJOURNAL9910333147903321Comptes rendus313235UNINA04719nam 22008295 450 991048442450332120251226203831.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(Association for Computing Machinery)10.5555/2174020(MiAaPQ)EBC302131(BIP)46091745(BIP)13947301(EXLCZ)99100000000028413520100301d2007 u| 0engur|n|---|||||txtccrPractical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings /edited by Michael Hanus1st ed. 2007.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2007.1 online resource (343 p.)Programming and Software Engineering,2945-9168 ;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.This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, colocated with POPL 2007, the Symposium on Principles of Programming Languages. The 19 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 58 submissions. All current aspects of declarative programming are addressed including implementational issues and innovative applications in areas such as database management, software engineering, functional logic, decision support systems, constraint programming, model checking, probabilistic programming, Java and Prolog programming.Programming and Software Engineering,2945-9168 ;4354Compilers (Computer programs)Computer programmingComputer scienceSoftware engineeringCompilers and InterpretersProgramming TechniquesComputer Science Logic and Foundations of ProgrammingSoftware EngineeringCompilers (Computer programs)Computer programming.Computer science.Software engineering.Compilers and Interpreters.Programming Techniques.Computer Science Logic and Foundations of Programming.Software Engineering.005.131Hanus Michael1959-1227460PADL 2007MiAaPQMiAaPQMiAaPQBOOK9910484424503321Practical aspects of declarative languages2906364UNINA