Herbert Kuchen - Böcker
Visar alla böcker från författaren Herbert Kuchen. Handla med fri frakt och snabb leverans.
5 produkter
5 produkter
Del 12057 - Lecture Notes in Computer Science
Declarative Programming and Knowledge Management
Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers
Häftad, Engelska, 2020
556 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers from the 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and (Constraint) Logic Programming, WFLP 2019.The 15 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 24 submissions. The contributions present current research activities in the areas of declarative languages and compilation techniques, in particular for constraint-based, logical and functional languages and their extensions, as well as discuss new approaches and key findings in constraint-solving, knowledge representation, and reasoning techniques.
Functional and Logic Programming
5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings
Häftad, Engelska, 2001
556 kr
Skickas inom 10-15 vardagar
ThisvolumecontainstheproceedingsoftheFifthInternationalSymposiumon FunctionalandLogicProgramming,FLOPS2001,heldinTokyo,Japan,March 7{9,2001,andhostedbyWasedaUniversity. FLOPSisaforumforresearchonallissuesconcerningfunctionalprogr- ming and logic programming. In particular, it aims to stimulate the cro- fertilizationaswellastheintegrationofthetwoparadigms. ThepreviousFLOPS meetingstookplaceinFuji-Susono(1995),Shonan(1996),Kyoto(1998),and Tsukuba (1999). The proceedings of FLOPS'99 were published by Springer- VerlagasLectureNotesinComputerScience,volume1722. There were 40 submissions, 38 of which were considered by the program 1 / committee. TheycamefromAustralia(5),Belgium( ),Denmark(3),Egypt 3 1 1 2 1 / / / / (1),France( ),Germany(2 ),Italy(4 ),Japan(5),Korea(1 ),Mexico 2 3 3 2 1 1 5 / / / (1),TheNetherlands(1 ),Spain(10 ),Switzerland(1),UK(1 ),andUSA 6 6 6 1 / (1 ). Eachpaperwasreviewedbyatleastthree,andmostlyfour,reviewers. 2 Theprogramcommitteemeetingwasconductedelectronicallyfortheperiodof twoweeksinNovember2000. Asaresultofactivediscussions,21papers(52. 5%) wereselectedforpresentation,whichappearinthisvolume.Inaddition,weare verypleasedtoincludeinthisvolumefullpapersbythreedistinguishedinvited speakers,namelyGopalanNadathur,GeorgeNecula,andTaisukeSato. Onbehalfoftheprogramcommittee,theprogramchairswouldliketothank theinvitedspeakerswhoagreedtogivetalksandcontributepapers,allthosewho submittedpapers,andalltherefereesfortheircarefulworkinthereviewingand selectionprocess. Thesupportofoursponsorsisalsogratefullyacknowledged. Inparticular,wewouldliketothanktheJapanSocietyforSoftwareScience andTechnology(JSSST),SpecialInterestGrouponPrinciplesofProgramming, andtheAssociationforLogicProgramming(ALP). Finally,wewouldliketo thankthemembersoftheorganizingcommittee,notablyZhenjiangHu,Yasuhiro Ajiro, Kazuhiko Kakehi, and Madoka Kuniyasu, for their invaluable support throughoutthepreparationandorganizationofthesymposium. January2001 HerbertKuchen KazunoriUeda Symposium Organization Program Chairs Herbert Kuchen University of Munster, ..Germany Kazunori Ueda Waseda University, Tokyo, Japan Program Committee Sergio Antoy Portland State University, USA Gopal Gupta University of Texas at Dallas, USA Michael Hanus University of Kiel, Germany Fergus Henderson University of Melbourne, Australia Zhenjiang Hu University of Tokyo, Japan Herbert Kuchen University of Munster, .. Germany Giorgio Levi University of Pisa, Italy Michael Maher Gri th University, Brisbane, Australia Dale Miller Pennsylvania State University, USA I. V. Ramakrishnan State University of New York at Stony Brook, USA Olivier Ridoux IRISA, Rennes, France Mario Rodr guez-Artalejo Complutense University, Madrid, Spain Colin Runciman University of York, UK Akihiko Takano Hitachi, Ltd.
Programming Languages: Implementations, Logics, and Programs
8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings
Häftad, Engelska, 1996
556 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP '96, held in conjunction with ALP and SAS in Aachen, Germany, in September 1996.The 30 revised full papers presented in the volume were selected from a total of 97 submissions; also included are one invited contribution by Lambert Meerlens and five posters and demonstrations. The papers are organized in topical sections on typing and structuring systems, program analysis, program transformation, implementation issues, concurrent and parallel programming, tools and programming environments, lambda-calculus and rewriting, constraints, and deductive database languages.
556 kr
Skickas inom 10-15 vardagar
This volume presents 25 revised papers from the ninth International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '97. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in constructing real programs. Topics covered include: implementation of declarative concepts; integration of paradigms; program analysis and transformation; programming environments; executable specifications; and reasoning about language constructs.
Functional and Constraint Logic Programming
20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings
Häftad, Engelska, 2011
556 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed conference proceedings of the 20th International Workshop on Functional and Constraint Logic Programming, WFLP 2011, held in Odense, Denmark, in July 2011 as Part of the 13th International Symposium on Principles and Practice of Declarative Programming (PPDP 2011), the 22st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011), and the 4th International Workshop on Approaches and Applications of Inductive Programming (AAIP 2011). From the 10 papers submitted, 9 were accepted for presentation the proceeding. The papers cover current research in all areas of functional and logic programming as well as the integration of constraint logic and object-oriented programming, and term rewriting.