Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, ... (Lecture Notes in Computer Science, 2267) - Softcover
Synopsis
This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI in Genova, Italy, in April 2001.
The book presents 16 papers selected from 32 workshop presentations. Among the topics addressed are formal specification, specification languages, term rewriting, and proof systems.
"synopsis" may belong to another edition of this title.
Search results for Recent Trends in Algebraic Development Techniques:...
Seller Image
Recent Trends in Algebraic Development Techniques : 15th International Workshop, Wadt 2001 Joint With the Colfi Wg Meeting Genova, Italy, April 1-3, 2001 Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 916354-n
Seller Image
Recent Trends in Algebraic Development Techniques: 15th International Workshop, Wadt 2001, Joint with the Cofi Wg Meeting, Genova, Italy, April 1-3, 2 (Paperback or Softback)
Published by
Springer 1/23/2002, 2002
ISBN 10: 3540431594
ISBN 13: 9783540431596
New
Paperback or Softback
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Paperback or Softback. Condition: New. Recent Trends in Algebraic Development Techniques: 15th International Workshop, Wadt 2001, Joint with the Cofi Wg Meeting, Genova, Italy, April 1-3, 2. Book. Seller Inventory # BBS-9783540431596
Stock Image
Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, ... (Lecture Notes in Computer Science, 2267)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9783540431596
Seller Image
Recent Trends in Algebraic Development Techniques : 15th International Workshop, Wadt 2001 Joint With the Colfi Wg Meeting Genova, Italy, April 1-3, 2001 Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 916354
Stock Image
Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, ... (Lecture Notes in Computer Science, 2267)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540431596_new
Buy New
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3,
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540431596
Buy New
£ 47.84
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Recent Trends in Algebraic Development Techniques : 15th International Workshop, Wadt 2001 Joint With the Colfi Wg Meeting Genova, Italy, April 1-3, 2001 Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 916354-n
Buy New
£ 50.32
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Recent Trends in Algebraic Development Techniques
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 2002, 2002
ISBN 10: 3540431594
ISBN 13: 9783540431596
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thealgebraicapproachtosystemspeci cationanddevelopment,borninthe early1970sasaformalmethodforabstractdatatypes,encompassestoday,atthe beginningofthethirdmillennium,theformaldesignofintegratedhardwareand softwaresystems,newspeci cationframeworksandprogrammingparadigms, andawiderangeofapplicationareas. TheworkshopsonAlgebraicDevelopment Techniques,initiatedin1982astheworkshoponAbstractDataTypes,area prominentforumtopresentanddiscusscurrentresearchinthatarea. The15thInternationalWorkshoponAlgebraicDevelopmentTechniques (WADT2001)tookplaceinGenova,asasatelliteofETAPS2001,onApril 1 3,2001,andwasorganizedbyMauraCerioliandGiannaReggio. From1991to1995WADTworkshopswereheldjointlywiththeGeneral WorkshopoftheESPRITBasicResearchWorkingGroupCOMPASS. Following thistradition,theWADT2001washeldjointlywiththeGeneralWorkshopof theESPRITWorkingGroupCoFI. TheCommonFrameworkInitiative,started in1995andfundedsince1998asCoFIWG,iscenteredaroundthede nitionof theCommonAlgebraicSpeci cationLanguage(CASL). TheprogramstartedwithafulldaytutorialontheCASL,followedby32 presentations,severalofthemontheCASLaswell,organizedinparallelsessions duringthefollowingtwodays. Theparallelsessionsweredevotedto:logicsand proofs,concurrentprocesses,institutionsandcategories,applicationsandcase studies,higher-orderandparameterizedspeci cations,staticanalysis,software architectures,graphandtransformationrules. Themaintopicsoftheworkshopwere: algebraicspeci cation otherapproachestoformalspeci cation speci cationlanguagesandmethods termrewritingandproofsystems speci cationdevelopmentsystems(concepts,tools,etc. ) Theprogramcommitteeinvitedsubmissionsoffullpapersforpossibleinclusion inthisvolume,onthebasisoftheabstractsandthepresentationsatWADT 2001. Allthesubmissionsweresubjecttocarefulrefereeing,andtheselectio nof paperswasmadefollowingfurtherdiscussionbythefullprogramcommittee. Weareextremelygratefultoallworkshopparticipants,tothe(other)m- bersoftheprogramcommittee,andtotheexternalrefereesfortheircontribution tothescienti cqualityoftheworkshopandofthisvolume. TheWADTseriesissponsoredbyIFIPWG1. 3onFoundationsofSystem Speci cation(seebrics. dk/ pdm/IFIP-WG1. 3). November2001 MauraCerioliandGiannaReggio Organization ProgramCommittee MichelBidoit (Cachan,France) MauraCerioli (Genova,Italy) Hans-J orgKreowski (Bremen,Germany) PeterMosses,chair (Aarhus,Denmark) FernandoOrejas (Barcelona,Spain) FrancescoParisi-Presicce (Roma,Italy) GiannaReggio (Genova,Italy) DonaldSannella (Edinburgh,Scotland) AndrzejTarlecki (Warsaw,Poland) ExternalReferees EgidioAstesiano ManuelKoch MarekBednarczyk MikolajKonarski BenjaminBlanc AlexanderKurz AlexandreBoisseau SabineKuske TomaszBorzyszkowski SlawomirLasota PaoloBottoni ChristophLuth PaoloCenciarelli DirkPattinson HartmutEhrig Wies lawPawlo wski StevenEker Jean-ClaudeReynaud JeanGoubault-Larrecq MarkusRoggenbach PiotrHo man SponsoringInstitutions CoFI(CommonFrameworkInitiative),ESPRITWorkingGroup29432. DISI,Universit`adegliStudidiGenova. IFIPWG1. 3onFoundationsofSystemSpeci cation. TableofContents InteractiveRule-BasedSpeci cationwithanApplication toVisualLanguageDe nition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 R. Bardohl,M. Große-Rhode,andM. Simeoni AlgebraicAbstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 M. BidoitandA. Boisseau CombiningLogics:ParchmentsRevisited. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 C. Caleiro,P. Mateus,J. Ramos,A. Sernadas CanonicalInstitutionsofBehaviour . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 J. F. CostaandH. Louren co TheLub eckTransformationSystem:ATransformationSystem forEquationalHigherOrderAlgebraicSpeci cations . . . . . . . . . . . . . . . . . . . 85 W. DoschandS. Magnussen OntheCompatibilityofModelandModel-ClassTransformations . . . . . . . 109 M. GajewskyandF. Parisi-Presicce VerifyingaSimplePipeli. Seller Inventory # 9783540431596
Stock Image
Recent Trends in Algebraic Development Techniques : 15th International Workshop, Wadt 2001 Joint With the Colfi Wg Meeting Genova, Italy, April 1-3, 2001 Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 916354
Buy Used
£ 55.49
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Recent Trends in Algebraic Development Techniques
Published by
Springer Berlin Heidelberg, 2002
ISBN 10: 3540431594
ISBN 13: 9783540431596
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Interactive Rule-Based Specification with an Application to Visual Language Definition.- Algebraic Abstractions.- Combining Logics: Parchments Revisited.- Canonical Institutions of Behaviour.- The Luebeck Transformation System: A Transformation System for Eq. Seller Inventory # 4890285
Buy New
£ 43.08
£ 42.37 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available