logic based program synthesis transformation (346 Ergebnisse)

Zustand: New. pp. 234.

Softcover/Paperback. Zustand: Sehr gut. X, 232 S. : ill. ; 24 cm. Sehr guter Zustand. In Folie verschweißt. Very good. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 430.

Paperback. Zustand: Very Good. Paperback. Lecture Notes in Computer Science, No. 2042. Barely noticeable shelfwear on covers. Edges and spine ends are very lightly worn. Contents in excellent condition. BW. Used.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 256 | Sprache: Englisch | Produktart: Bücher.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 264 | Sprache: Englisch | Produktart: Bücher.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 280 | Sprache: Englisch | Produktart: Bücher.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 216 | Sprache: Englisch | Produktart: Bücher.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 248 | Sprache: Englisch | Produktart: Sonstiges.

Taschenbuch. Zustand: Sehr gut. Gebraucht - Sehr gut - ungelesen,als Mängelexemplar gekennzeichnet, mit leichten Mängeln an Schnitt oder Umschlag durch Lager- oder Transportschaden -This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Zustand: New.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013.The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Zustand: New.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017. The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by three outstanding speakers: Sumit Gulwani, Marieke Huisman, and Grigore Röu. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016.The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion,applications, and tools.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereedpost-conference proceedings of the 25th International Symposium on Logic-BasedProgram Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, inJuly 2015.The 21 revised full papers presented together with 3invited talks were carefully reviewed and selected from 30 submissions. The aimof the LOPSTR series is to stimulate and promote international research andcollaboration on logic-based program development. LOPSTR is open tocontributions in all aspects of logic-based program development, all stages ofthe software life cycle, and issues of both programming-in-the-small andprogramming-in-the-large.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development. 296 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci cation, synthesis, veri cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, agent-based software development, software architectures, design patterns and frameworks, program re nement and logics for re nement, proofs as programs, and applications and tools. LOPSTR 2003 took place at the University of Uppsala from August 25 to August 27 as part of PLI 2003 (Principles, Logics, and Implementations of High- Level Programming Languages). PLI was an ACM-organized confederation of conferences and workshops with ICFP 2003 (ACM-SIGPLAN International C- ference on Functional Programming) and PPDP 2003 (ACM-SIGPLAN Inter- tional Conference on Principles and Practice of Declarative Programming) as the main events. The LOPSTR community pro ted from the shared lectures of the invited speakers, and the active scienti c discussions enabled by the co-location. LOPSTR 2003 was the thirteenth in a series of events. Past events were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), L- ven, Belgium (1997), Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001), and Madrid, Spain (2002). 248 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains a selection of the papers presented at LOPSTR 2004, the 14th International Symposium on Logic-Based Program Synthesis and Transf- mation. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The workshop is open to contributions in logic-based program development in any language paradigm. This year, LOPSTR put extra emphasis on the eld of veri cation by incorporating the VCL (Veri cation in Computational Logic) workshop. LOPSTR 2004 took place in Verona, Italy, and was co-located with the - ternational Static Analysis Symposium (SAS 2004), the ACM SIGPLAN 2004 Workshop on Partial Evaluation and Semantics Based Program Manipulation (PEPM 2004), and the 6th ACM-SIGPLAN International Conference on Pr- ciples and Practice of Declarative Programming (PPDP 2004). Past workshops were held in Manchester (UK), Louvain-la-Neuve (Belgium), Pisa(Italy),Arnhem(theNetherlands),Stockholm(Sweden),Leuven(Belgium) , Venice (Italy), London (UK), Paphos (Cyprus), Madrid (Spain) and Uppsala (Sweden). Since 1994 the proceedings have beenpublished in the Springer LNCS series. We received 23 full paper submissions (1 from Australia, 3 from the US, 4 1 from Asia, 3 from Africa, 11 from Europe , and one Spain¿US cooperation), and 11 extended abstract submissions (1 from Israel, 1 from Africa, one US¿Spain 2 cooperation,andtheotherswerefromEurope ).Weacceptedforpresentation11 full papers and 8 extended abstracts. This volume contains a selection consisting of the 11 full papers and of the full version of 6 of the extended abstracts.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - ThisvolumecontainsthepapersfromLOPSTR2001,the11thInternational WorkshoponLogic-basedProgramSynthesisandTransformation. Topicsof- teresttoLOPSTRcoverallaspectsoflogic-basedprogramdevelopmentand,in particular, speci cation, synthesis, veri cation, transformation, specialization, analysis,optimization,composition,reuse,component-basedsoftwaredevel- ment,andsoftwarearchitectures. LOPSTR 2001 took place in the Coral Beach Hotel in Paphos (Cyprus) fromNovember28 30,2001. PastLOPSTRworkshopswereheldinManchester, UK(1991,1992,1998),Louvain-la-Neuve,Belgium(1993),Pisa,Italy(1994), Arnhem,TheNetherlands(1995),Stockholm,Sweden(1996),Leuven,Belgium (1997),Venice,Italy(1999),andLondon,UK(2000). LOPSTR2001wasco-locatedwiththe17thInternationalConferenceonLo- 1 gicProgramming(ICLP2001) andthe7thInternationalConferenceonPrinci- 2 plesandPracticeofConstraintProgramming(CP2001) . TheLOPSTRc- munitypro tedalotfromthescienti cdiscussions,thelecturesoftheinvited speakers,andthevarioussessionsofICLPandCP. I would like to express my gratitude to all the authors of the submitted papersandalltheattendeesfortheircommitmentandcooperation. Amongthe submittedpapers,theProgramCommitteeselected13papersforpresentation. Aftertheworkshop,theauthorswereaskedtosubmitimprovedversionso ftheir paperswhichwerethenreviewedbytheProgramCommittee. The nalversions havebeencollectedinthisvolume,whichalsoincludesthepaperbyourinvited speaker,NatarajanShankar(StanfordResearchInstitute,MenloPark,USA), onthegenerationofe cientprogramsfromlogic. MywarmestthanksalsogotoallthemembersoftheProgramCommittee andtheadditionalreviewersfortheirdiligentworkandinvaluablehelp. Iwould liketothankFabioFioravanti(IASI-CNRofRome,Italy),MaurizioProietti (IASI-CNRofRome,Italy),andAntonisKakas(UniversityofCyprus,Cyprus), whoworkedwithmewithgreatenthusiasmanddedicationasmembersofthe OrganizingCommittee. Thepre-proceedingsofLOPSTR2001wereprintedbytheIASIInstituteof theNationalResearchCouncilofRome,Italy,andtheDepartmentofCompu ter ScienceoftheUniversityofCyprusinNicosia. IalsothankSpringerforaccepting topublishthese nalproceedingsintheLNCSseries. TheLOPSTR2001home pageis:iasi. rm. cnr. it/ adp/lopstr01cfp. html. April2002 AlbertoPettorossi 1 Codognet,Ph. ,editor,LogicProgramming ICLP2001,LectureNotesinComputer Science 2237,Springer-Verlag,2001. 2 Walsh,T. ,editor,PrinciplesandPracticeofConstraintProgramming CP2001, LectureNotesinComputerScience 2239,Springer-Verlag,2001. ProgramChair AlbertoPettorossi Universit`adegliStudidiRoma TorVergata ,Italy ProgramCommittee DavidBasin Albert-Ludwigs-Universit atFreiburg,Germany AntonioBrogi Universit`adiPisa,Italy MauriceBruynooghe KatholiekeUniversiteitLeuven,Belgium NicolettaCocco Universit`aCa FoscaridiVenezia,Italy MireilleDucass e IRISA/INSA,France SandroEtalle TwenteUniversity&CWI,TheNetherlands JohnGallagher UniversityofBristol,UK RobertGluc k WasedaUniversity,Japan MichaelHanus Christian-Albrechts-Universit atzuKiel,Germany ManuelHermenegildo UniversidadPolit ecnicadeMadrid,Spain PatriciaHill UniversityofLeeds,UK Kung-KiuLau UniversityofManchester,UK MichaelLeuschel UniversityofSouthampton,UK TorbenMogensen UniversityofCopenhagen,Denmark AlbertoPettorossi Universit`adegliStudidiRoma TorVergata ,Italy I. V. Ramakrishnan StateUniversityofNewYorkatStonyBrook,USA DonSannella UniversityofEdinburgh,UK ZoltanSomogyi UniversityofMelbourne,Australia AdditionalReferees Jos eAlferes StefanGruner SabinaRossi AnnalisaBossi PaulJackson FaustoSpoto Lu sFernandoCastro FrancisKlay MathieuTuruani AlessandraDiPierro GiridharPemmasani WimVanhoof YifeiDong MaurizioProietti FabioFioravanti Germ anPuebla SponsoringInstitutions TheAssociationforLogicProgramming TheCOLOGNet TheInternationalFederationforComputationalLogic TheIASIInstituteofCNR(Italy) Universit`adegliStudidiRoma TorVergata (Italy) TableofContents InvitedSpeaker Static Analysis for Safe Destructive Updates in a Functional Language . . . . . . . . . . . . . . . .

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006. The 14 revised full papers cover tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022.The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.\*The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk.\*Conference was held as a hybrid event due to the COVID-19 pandemic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.

Zustand: New. In.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9¿10, 2024.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Kartoniert / Broschiert. Zustand: New. This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The 10 revised full papers presented together with one invited ta.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020.The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions. The book also contains two invited talks in full paper length. The contributions were organized in topical sections named: rewriting; unification; types; verification; model checking and probabilistic programming; program analysis and testing; and logics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.