Search dblp for Publications

export results for "toc:db/conf/wadt/wadt97.bht:"

 download as .bib file

@inproceedings{DBLP:conf/wadt/AnconaZ97,
  author       = {Davide Ancona and
                  Elena Zucca},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {An algebra of mixin modules},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {92--106},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_28},
  doi          = {10.1007/3-540-64299-4\_28},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/AnconaZ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Borzyskowski97,
  author       = {T. Borzyskowski},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {Correctness of a logical system for structured specifications},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {107--121},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_29},
  doi          = {10.1007/3-540-64299-4\_29},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Borzyskowski97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/BruniM97,
  author       = {Roberto Bruni and
                  Ugo Montanari},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {Zero-safe nets: The individual token approach},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {122--140},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_30},
  doi          = {10.1007/3-540-64299-4\_30},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/BruniM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/CerioliZ97,
  author       = {Maura Cerioli and
                  Elena Zucca},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {Implementation of derived programs (almost) for free},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {141--155},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_31},
  doi          = {10.1007/3-540-64299-4\_31},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/CerioliZ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/CherkiC97,
  author       = {Sophie Cherki and
                  Christine Choppy},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {A method for {FORTRAN} programs reverse engineering using algebraic
                  specifications},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {156--173},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_32},
  doi          = {10.1007/3-540-64299-4\_32},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/CherkiC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Cirstea97,
  author       = {Corina C{\^{\i}}rstea},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {Coalgebra semantics for hidden algebra: Parameterised objects an inheritance},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {174--189},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_33},
  doi          = {10.1007/3-540-64299-4\_33},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Cirstea97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Corradini97,
  author       = {Andrea Corradini},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {A Completeness result for equational deduction in coalgebraic specification},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {190--205},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_34},
  doi          = {10.1007/3-540-64299-4\_34},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Corradini97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/DionisioL97,
  author       = {F. Miguel Dion{\'{\i}}sio and
                  Udo W. Lipeck},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {Specifying with defaults: Compositional semantics},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {206--222},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_35},
  doi          = {10.1007/3-540-64299-4\_35},
  timestamp    = {Fri, 19 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadt/DionisioL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/EhrigGW97,
  author       = {Hartmut Ehrig and
                  Magdalena Gajewsky and
                  Uwe Wolter},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {From abstract data types to algebraic development techniques: {A}
                  shift of paradigms},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_25},
  doi          = {10.1007/3-540-64299-4\_25},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/EhrigGW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/GadducciH97,
  author       = {Fabio Gadducci and
                  Reiko Heckel},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {An inductive view of graph transformation},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {223--237},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_36},
  doi          = {10.1007/3-540-64299-4\_36},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/GadducciH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/GogollaR97,
  author       = {Martin Gogolla and
                  Mark Richters},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {On combining semiformal and formal object specification techniques},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {238--252},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_37},
  doi          = {10.1007/3-540-64299-4\_37},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/GogollaR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Gramlich97,
  author       = {Bernhard Gramlich},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {Modular aspects of rewrite-based specifications},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {253--268},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_38},
  doi          = {10.1007/3-540-64299-4\_38},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Gramlich97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Grosse-Rhode97,
  author       = {Martin Gro{\ss}e{-}Rhode},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {From algebra transformation to labelled transition systems},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {269--284},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_39},
  doi          = {10.1007/3-540-64299-4\_39},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Grosse-Rhode97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Lasota97,
  author       = {Slawomir Lasota},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {Open maps as a bridge between algebraic observational equivalence
                  and bisimilarity},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {285--299},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_40},
  doi          = {10.1007/3-540-64299-4\_40},
  timestamp    = {Wed, 06 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadt/Lasota97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/MartiniW97,
  author       = {Alfio Martini and
                  Uwe Wolter},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {A systematic study of mappings between institutions},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {300--315},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_41},
  doi          = {10.1007/3-540-64299-4\_41},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/MartiniW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Meseguer97,
  author       = {Jos{\'{e}} Meseguer},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {Membership algebra as a logical framework for equational specification},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {18--61},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_26},
  doi          = {10.1007/3-540-64299-4\_26},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Meseguer97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/MeseguerM97,
  author       = {Jos{\'{e}} Meseguer and
                  Ugo Montanari},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {Mapping tile logic into rewriting logic},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {62--91},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_27},
  doi          = {10.1007/3-540-64299-4\_27},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/MeseguerM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Mossakowski97,
  author       = {Till Mossakowski},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {Colimits of order-sorted specifications},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {316--332},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_42},
  doi          = {10.1007/3-540-64299-4\_42},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Mossakowski97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/MossakowskiKK97,
  author       = {Till Mossakowski and
                  Kolyang and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {Static semantic analysis and theorem proving for {CASL}},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {333--348},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_43},
  doi          = {10.1007/3-540-64299-4\_43},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/MossakowskiKK97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/MossakowskiTP97,
  author       = {Till Mossakowski and
                  Andrzej Tarlecki and
                  Wieslaw Pawlowski},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {Combining and representing logical systems using model-theoretic parchments},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {349--364},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_44},
  doi          = {10.1007/3-540-64299-4\_44},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/MossakowskiTP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Padawitz97,
  author       = {Peter Padawitz},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {Towards the one-tiered design of data types and transition systems},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {365--380},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_45},
  doi          = {10.1007/3-540-64299-4\_45},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Padawitz97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Pawlowski97,
  author       = {Wieslaw Pawlowski},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {Context parchments},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {381--401},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_46},
  doi          = {10.1007/3-540-64299-4\_46},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadt/Pawlowski97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/ReusKCW97,
  author       = {Bernhard Reus and
                  Alexander Knapp and
                  Pietro Cenciarelli and
                  Martin Wirsing},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {Verifying a compiler optimization for Multi-Threaded Java},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {402--417},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_47},
  doi          = {10.1007/3-540-64299-4\_47},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/ReusKCW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/WalickiB97,
  author       = {Michal Walicki and
                  Marcin Bialasik},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {Categories of relational structures},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {418--434},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_48},
  doi          = {10.1007/3-540-64299-4\_48},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/WalickiB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/wadt/1997,
  editor       = {Francesco Parisi{-}Presicce},
  title        = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4},
  doi          = {10.1007/3-540-64299-4},
  isbn         = {3-540-64299-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/1997.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.