Anmelden

Registrieren
Passwort vergessen?

Such-Historie
Merkliste
Links zu eurobuch.at
Cookie-Einstellungen

Tipp von eurobuch.at

Buch verkaufen

Suchtools

Aktuelles

Get it on iTunes

Jetzt bei Google Play

NEU: Endlose Ergebnisliste als Mitglied ein- oder ausschalten.

Sie haben JavaScript in Ihren Browsereinstellungen deaktiviert!
Für eine optimale Bedienbarkeit der Buchsuche empfehlen wir, JavaScript für eurobuch.at zu aktivieren.
Um ein aktuelles Suchergebnis ohne JavaScript zu sehen, müssen Sie u.U. mehrmals auf "Suchen" klicken.

- 5 Ergebnisse

Kleinster Preis: € 59,49, größter Preis: € 89,00, Mittelwert: € 65,71

Logic Based Program Synthesis and Transformation - 50-99.99

(*)

50-99.99:
Logic Based Program Synthesis and Transformation - neues Buch

2001, ISBN: 9783540451426

ThisvolumecontainsselectedpapersofLOPSTR2000,theTenthInternational 1 WorkshoponLogic-basedProgramSynthesisandTransformation. Inadep- turefrompreviousyears,LOPSTR2000constitutedtheProgramD… Mehr…

ThisvolumecontainsselectedpapersofLOPSTR2000,theTenthInternational 1 WorkshoponLogic-basedProgramSynthesisandTransformation. Inadep- turefrompreviousyears,LOPSTR2000constitutedtheProgramDevelopment streamatCL2000,theFirstInternationalConferenceonComputationalLogic, heldatImperialCollege,London,on24-28July2000. ThismeantthattheLOPSTR2000ProgramCommitteewasalsotheCL2000 ProgramCommitteeforProgramDevelopment,andassuchhadtherespon- bilityforallProgramDevelopmentsubmissionstoCL2000,inadditiontothe usualLOPSTRabstracts. Asaresult,therewere18talksattheworkshop,with 2 fourpapersappearingintheproceedingsofCL2000, and14abstractsinthe 3 LOPSTR2000pre-proceedings. Inthisvolumewehavepapersbasedontenof theabstracts. So,paradoxically,thisvolumeisslimmerthanpreviousLOPSTRproce- ings,whilstthisyear’sProgramCommitteehavehadtodealwithmoresubm- sionsandmorecategoriesthanusual!Myheartfeltthanksgotoallthemembers oftheProgramCommitteefortheirhardandconscientiousworkinreviewing andselectingthe papersatvariousstages. Iwouldalsoliketo thankallthe additionalreviewersfortheire?ortsandprofessionalism. FororganizingCL2000,IwouldliketothanktheconferencechairMarek Sergot,theprogramchairJohnLloyd,andthelocalorganizersFrankKriwaczek andFrancescaToni. Theire?ortswerepivotalforthesuccessofCL2000. Finally, I would like to thank all the authors who submitted papers and alltheworkshopattendees. Yourcontinuedsupportiscrucialtothefutureof LOPSTR. ThenextLOPSTRworkshopwillbeheldinCyprus,withICLP2001 andCP2001. ItwillmarkthetenthanniversaryofLOPSTR,soIhopetosee manyofyouthere! March2001 Kung-KiuLau 1 http://www. cs. man. ac. uk/~kung-kiu/lopstr 2 J. W. Lloyd,V. Dahl,U. Furbach,M. Kerber,K. -K. Lau,C. Palamidessi,L. M. - reira,Y. Sagiv,P. Stuckey,editors,ComputationalLogic—CL2000,LectureNotes inArti?cialIntelligence 1861, Springer-Verlag,2000. 3 K. -K. Lau,editor, Pre-Proceedings of the Tenth International Workshop on Log- basedProgramSynthesisandTransformation, Technical Report UMCS-00-6-1, - partment of Computer Science, University of Manchester, June 2000. ISSN 1361- 6161. (Electronic version at: http://www. cs. man. ac. uk/cstechrep/Abstracts/ UMCS-00-6-1. html. ) Program Chair Kung-KiuLau UniversityofManchester,UK Program Committee DavidBasin Albert-Ludwigs-Universit¨atFreiburg,Germany AnnalisaBossi Universit`aCa’FoscaridiVenezia,Italy AntonioBrogi Universit`adiPisa,Italy MauriceBruynooghe KatholiekeUniversiteitLeuven,Belgium MireilleDucass´e IRISA/INSA,France SandroEtalle UniversiteitMaastricht,TheNetherlands PierreFlener UppsalaUniversity,Sweden MichaelHanus Christian-Albrechts-Universit¨atzuKiel,Germany IanHayes UniversityofQueensland,Australia ManuelHermenegildo TechnicalUniversityofMadrid,Spain PatriciaHill UniversityofLeeds,UK BaudouinLeCharlier UniversityofNamur,Belgium MichaelLeuschel UniversityofSouthampton,UK MichaelLowry NASAAmesResearchCenter,USA AliMili WestVirginiaUniversity,USA TorbenMogensen UniversityofCopenhagen,Denmark AlbertoPettorossi UniversityofRomeTorVergata,Italy DonSannella UniversityofEdinburgh,UK DougSmith KestrelInstitute,USA ZoltanSomogyi UniversityofMelbourne,Australia Additional Referees JamieAndrews IanGreen Germ´anPuebla AlessandroAvellone DavidHemer OlivierRidoux YvesBekkers BrahimHnich DaveRobertson FranciscoBueno EdKazmierczak SabinaRossi NicolettaCocco ZeynepK?z?ltan SalvatoreRuggieri RobertColvin ElviraPino JudithUnderwood MauroFerrari MaurizioProietti Germ´anVidal Table of Contents Synthesis AFormalFrameworkforSynthesisandVeri?cationofLogicPrograms . . . . . . 1 AlessandroAvellone,MauroFerrariandCamilloFiorentini ProtocolsbetweenProgramsandProofs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 ImanPoernomoandJohnN. Crossley ATechniqueforModularLogicProgramRe?nement. . . . . . . . . . . . . . . . . . . . . . . 38 RobertColvin,IanHayesandPaulStrooper Transformation Higher-OrderTransformationofLogicPrograms . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 SilvijaSeresandMichaelSpivey Analysis Non-transformationalTerminationAnalysisofLogicPrograms, BasedonGeneralTerm-Orderings. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 AlexanderSerebrenikandDannyDeSchreye Specialisation AModelforInter-moduleAnalysisandOptimizingCompilation. . . . . . . . . . . 86 FranciscoBueno,Mar´?aGarc´?adelaBanda,ManuelHermenegildo, KimMarriott,Germ´anPueblaandPeterJ. Stuckey MeasuringtheE?ectivenessofPartialEvaluation inFunctionalLogicLanguages. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103 ElviraAlbert,SergioAntoyandGerm´anVidal AutomatedStrategiesforSpecializingConstraintLogicPrograms . . . . . . . . . 125 FabioFioravanti,AlbertoPettorossiandMaurizioProietti Abstract Interpretation MeasuringthePrecisionofAbstractInterpretations. . . . . . . . . . . . . . . . . . . . . . . 147 AlessandraDiPierroandHerbertWiklicky VIII TableofContents Debugging SpecifyingPrologTraceModelswithaContinuationSemantics . . . . . . . . . . COMPUTERS,Software Development & Engineering,General, eBooks.com<

ebooks.com

new in stock. Versandkosten:zzgl. Versandkosten.
Details...

(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Logic Based Program Synthesis and Transformation - Kung-Kiu Lau

(*)

Kung-Kiu Lau:
Logic Based Program Synthesis and Transformation - neues Buch

ISBN: 9783540451426

Computer Science; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Programming Techniques; Artificial Intelligence (incl. Robotics); Mathematical L… Mehr…

Springer.com

Versandkosten: EUR 0.00
Details...

(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Logic Based Program Synthesis and Transformation - Kung-Kiu Lau

(*)

Kung-Kiu Lau:
Logic Based Program Synthesis and Transformation - neues Buch

ISBN: 9783540451426

Computer Science; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Programming Techniques; Artificial Intelligence (incl. Robotics); Mathematical L… Mehr…

Springer.com

Versandkosten:zzgl. Versandkosten.
Details...

(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Logic Based Program Synthesis and Transformation - Kung-Kiu Lau

(*)

Kung-Kiu Lau:
Logic Based Program Synthesis and Transformation - neues Buch

ISBN: 9783540451426

Computer Science; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Programming Techniques; Artificial Intelligence (incl. Robotics); Mathematical L… Mehr…

Springer.com

Versandkosten:zzgl. Versandkosten.
Details...

(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers - Carlos Arturo Navas

BEISPIEL

(*)

Carlos Arturo Navas:
Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers - neues Buch

2000, ISBN: 9783540451426

; PDF \ Carlos Arturo Navas; Computing > Computer programming / software development, Springer Berlin Heidelberg

hive.co.uk

No. 9783540451426. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
Details...

(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

1

Logic Based Program Synthesis and Transformation - 50-99.99

Bestellen
bei ebooks.com

€ 89,00

Details und Versand

gesponserter Link

50-99.99:

Logic Based Program Synthesis and Transformation - neues Buch

2001, ISBN: 9783540451426

ThisvolumecontainsselectedpapersofLOPSTR2000,theTenthInternational 1 WorkshoponLogic-basedProgramSynthesisandTransformation. Inadep- turefrompreviousyears,LOPSTR2000constitutedtheProgramD… Mehr…

ThisvolumecontainsselectedpapersofLOPSTR2000,theTenthInternational 1 WorkshoponLogic-basedProgramSynthesisandTransformation. Inadep- turefrompreviousyears,LOPSTR2000constitutedtheProgramDevelopment streamatCL2000,theFirstInternationalConferenceonComputationalLogic, heldatImperialCollege,London,on24-28July2000. ThismeantthattheLOPSTR2000ProgramCommitteewasalsotheCL2000 ProgramCommitteeforProgramDevelopment,andassuchhadtherespon- bilityforallProgramDevelopmentsubmissionstoCL2000,inadditiontothe usualLOPSTRabstracts. Asaresult,therewere18talksattheworkshop,with 2 fourpapersappearingintheproceedingsofCL2000, and14abstractsinthe 3 LOPSTR2000pre-proceedings. Inthisvolumewehavepapersbasedontenof theabstracts. So,paradoxically,thisvolumeisslimmerthanpreviousLOPSTRproce- ings,whilstthisyear’sProgramCommitteehavehadtodealwithmoresubm- sionsandmorecategoriesthanusual!Myheartfeltthanksgotoallthemembers oftheProgramCommitteefortheirhardandconscientiousworkinreviewing andselectingthe papersatvariousstages. Iwouldalsoliketo thankallthe additionalreviewersfortheire?ortsandprofessionalism. FororganizingCL2000,IwouldliketothanktheconferencechairMarek Sergot,theprogramchairJohnLloyd,andthelocalorganizersFrankKriwaczek andFrancescaToni. Theire?ortswerepivotalforthesuccessofCL2000. Finally, I would like to thank all the authors who submitted papers and alltheworkshopattendees. Yourcontinuedsupportiscrucialtothefutureof LOPSTR. ThenextLOPSTRworkshopwillbeheldinCyprus,withICLP2001 andCP2001. ItwillmarkthetenthanniversaryofLOPSTR,soIhopetosee manyofyouthere! March2001 Kung-KiuLau 1 http://www. cs. man. ac. uk/~kung-kiu/lopstr 2 J. W. Lloyd,V. Dahl,U. Furbach,M. Kerber,K. -K. Lau,C. Palamidessi,L. M. - reira,Y. Sagiv,P. Stuckey,editors,ComputationalLogic—CL2000,LectureNotes inArti?cialIntelligence 1861, Springer-Verlag,2000. 3 K. -K. Lau,editor, Pre-Proceedings of the Tenth International Workshop on Log- basedProgramSynthesisandTransformation, Technical Report UMCS-00-6-1, - partment of Computer Science, University of Manchester, June 2000. ISSN 1361- 6161. (Electronic version at: http://www. cs. man. ac. uk/cstechrep/Abstracts/ UMCS-00-6-1. html. ) Program Chair Kung-KiuLau UniversityofManchester,UK Program Committee DavidBasin Albert-Ludwigs-Universit¨atFreiburg,Germany AnnalisaBossi Universit`aCa’FoscaridiVenezia,Italy AntonioBrogi Universit`adiPisa,Italy MauriceBruynooghe KatholiekeUniversiteitLeuven,Belgium MireilleDucass´e IRISA/INSA,France SandroEtalle UniversiteitMaastricht,TheNetherlands PierreFlener UppsalaUniversity,Sweden MichaelHanus Christian-Albrechts-Universit¨atzuKiel,Germany IanHayes UniversityofQueensland,Australia ManuelHermenegildo TechnicalUniversityofMadrid,Spain PatriciaHill UniversityofLeeds,UK BaudouinLeCharlier UniversityofNamur,Belgium MichaelLeuschel UniversityofSouthampton,UK MichaelLowry NASAAmesResearchCenter,USA AliMili WestVirginiaUniversity,USA TorbenMogensen UniversityofCopenhagen,Denmark AlbertoPettorossi UniversityofRomeTorVergata,Italy DonSannella UniversityofEdinburgh,UK DougSmith KestrelInstitute,USA ZoltanSomogyi UniversityofMelbourne,Australia Additional Referees JamieAndrews IanGreen Germ´anPuebla AlessandroAvellone DavidHemer OlivierRidoux YvesBekkers BrahimHnich DaveRobertson FranciscoBueno EdKazmierczak SabinaRossi NicolettaCocco ZeynepK?z?ltan SalvatoreRuggieri RobertColvin ElviraPino JudithUnderwood MauroFerrari MaurizioProietti Germ´anVidal Table of Contents Synthesis AFormalFrameworkforSynthesisandVeri?cationofLogicPrograms . . . . . . 1 AlessandroAvellone,MauroFerrariandCamilloFiorentini ProtocolsbetweenProgramsandProofs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 ImanPoernomoandJohnN. Crossley ATechniqueforModularLogicProgramRe?nement. . . . . . . . . . . . . . . . . . . . . . . 38 RobertColvin,IanHayesandPaulStrooper Transformation Higher-OrderTransformationofLogicPrograms . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 SilvijaSeresandMichaelSpivey Analysis Non-transformationalTerminationAnalysisofLogicPrograms, BasedonGeneralTerm-Orderings. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 AlexanderSerebrenikandDannyDeSchreye Specialisation AModelforInter-moduleAnalysisandOptimizingCompilation. . . . . . . . . . . 86 FranciscoBueno,Mar´?aGarc´?adelaBanda,ManuelHermenegildo, KimMarriott,Germ´anPueblaandPeterJ. Stuckey MeasuringtheE?ectivenessofPartialEvaluation inFunctionalLogicLanguages. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103 ElviraAlbert,SergioAntoyandGerm´anVidal AutomatedStrategiesforSpecializingConstraintLogicPrograms . . . . . . . . . 125 FabioFioravanti,AlbertoPettorossiandMaurizioProietti Abstract Interpretation MeasuringthePrecisionofAbstractInterpretations. . . . . . . . . . . . . . . . . . . . . . . 147 AlessandraDiPierroandHerbertWiklicky VIII TableofContents Debugging SpecifyingPrologTraceModelswithaContinuationSemantics . . . . . . . . . . COMPUTERS,Software Development & Engineering,General, eBooks.com<

new in stock. Versandkosten:zzgl. Versandkosten.

Infos zur Preistendenz

2

Logic Based Program Synthesis and Transformation - Kung-Kiu Lau

Bestellen
bei Springer.com

€ 59,49

Versand: € 0,00¹

Details beim Anbieter

gesponserter Link

Kung-Kiu Lau:

Logic Based Program Synthesis and Transformation - neues Buch

ISBN: 9783540451426

Computer Science; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Programming Techniques; Artificial Intelligence (incl. Robotics); Mathematical L… Mehr…

- Versandkosten: EUR 0.00

Infos zur Preistendenz

3

Logic Based Program Synthesis and Transformation - Kung-Kiu Lau

Bestellen
bei Springer.com

€ 59,49

Details und Versand

gesponserter Link

Kung-Kiu Lau:
Logic Based Program Synthesis and Transformation - neues Buch

ISBN: 9783540451426

Computer Science; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Programming Techniques; Artificial Intelligence (incl. Robotics); Mathematical L… Mehr…

- Versandkosten:zzgl. Versandkosten.

Infos zur Preistendenz

4

Logic Based Program Synthesis and Transformation - Kung-Kiu Lau

Bestellen
bei Springer.com

€ 59,49

Details und Versand

gesponserter Link

Kung-Kiu Lau:
Logic Based Program Synthesis and Transformation - neues Buch

ISBN: 9783540451426

Computer Science; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Programming Techniques; Artificial Intelligence (incl. Robotics); Mathematical L… Mehr…

- Versandkosten:zzgl. Versandkosten.

Infos zur Preistendenz

5

Bestellen
bei hive.co.uk

£ 53,54

(ca. € 61,10)

Details und Versand

gesponserter Link

Carlos Arturo Navas:
Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers - neues Buch

2000, ISBN: 9783540451426

; PDF \ Carlos Arturo Navas; Computing > Computer programming / software development, Springer Berlin Heidelberg

- No. 9783540451426. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.

Infos zur Preistendenz

¹Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch

Logic Based Program Synthesis and Transformation

Autor:	50-99.99
Titel:	Logic Based Program Synthesis and Transformation
ISBN-Nummer:	9783540451426

Detailangaben zum Buch - Logic Based Program Synthesis and Transformation

EAN (ISBN-13): 9783540451426
Erscheinungsjahr: 2000
Herausgeber: Springer Science+Business Media

Buch in der Datenbank seit 2017-04-14T15:59:02+02:00 (Vienna)
Detailseite zuletzt geändert am 2020-06-06T12:46:53+02:00 (Vienna)
ISBN/EAN: 9783540451426

ISBN - alternative Schreibweisen:
978-3-540-45142-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: synthesis

Daten vom Verlag:

Autor/in: Kung-Kiu Lau
Titel: Lecture Notes in Computer Science; Logic Based Program Synthesis and Transformation - 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
Verlag: Springer; Springer Berlin
188 Seiten
Erscheinungsjahr: 2003-06-29
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VIII, 188 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Debugging; Program analysis; Prolog; computational logic; constraint programming; formal methods; functional programming; imperative programming; logic; logic programming; program synthesis; program verification; programming theory; semantics; verification; C; Software Engineering; Computer Science Logic and Foundations of Programming; Programming Techniques; Artificial Intelligence; Formal Languages and Automata Theory; Computer Science; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Künstliche Intelligenz; BC

Synthesis.- A Formal Framework for Synthesis and Verification of Logic Programs.- Protocols between Programs and Proofs.- Protocols between Programs and Proofs.- A Technique for Modular Logic Program Refinement.- A Technique for Modular Logic Program Refinement.- Transformation.- Higher-Order Transformation of Logic Programs.- Analysis.- Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings.- Specialisation.- A Model for Inter-module Analysis and Optimizing Compilation.- Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages.- Automated Strategies for Specializing Constraint Logic Programs.- Abstract Interpretation.- Measuring the Precision of Abstract Interpretations.- Debugging.- Specifying Prolog Trace Models with a Continuation Semantics.
Includes supplementary material: sn.pub/extras

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783030138370 Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised ... (Lecture Notes in Computer Science, 11408) (Fred Mesnard; Peter J. Stuckey)

Preisentwicklung...

< zum Archiv...