Search dblp for Publications

export results for "toc:db/conf/birthday/mosses2009.bht:"

 download as .bib file

@inproceedings{DBLP:conf/birthday/BiernackaD09,
  author       = {Malgorzata Biernacka and
                  Olivier Danvy},
  editor       = {Jens Palsberg},
  title        = {Towards Compatible and Interderivable Semantic Specifications for
                  the Scheme Programming Language, Part {II:} Reduction Semantics and
                  Abstract Machines},
  booktitle    = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
                  Mosses on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5700},
  pages        = {186--206},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04164-8\_10},
  doi          = {10.1007/978-3-642-04164-8\_10},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BiernackaD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Braga09,
  author       = {Christiano Braga},
  editor       = {Jens Palsberg},
  title        = {A Constructive Semantics for Basic Aspect Constructs},
  booktitle    = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
                  Mosses on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5700},
  pages        = {106--120},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04164-8\_6},
  doi          = {10.1007/978-3-642-04164-8\_6},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Braga09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BrandMS09,
  author       = {Mark G. J. van den Brand and
                  Arjan P. van der Meer and
                  Alexander Serebrenik},
  editor       = {Jens Palsberg},
  title        = {Type Checking Evolving Languages with {MSOS}},
  booktitle    = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
                  Mosses on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5700},
  pages        = {207--226},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04164-8\_11},
  doi          = {10.1007/978-3-642-04164-8\_11},
  timestamp    = {Mon, 23 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/BrandMS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Danvy09,
  author       = {Olivier Danvy},
  editor       = {Jens Palsberg},
  title        = {Towards Compatible and Interderivable Semantic Specifications for
                  the Scheme Programming Language, Part {I:} Denotational Semantics,
                  Natural Semantics, and Abstract Machines},
  booktitle    = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
                  Mosses on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5700},
  pages        = {162--185},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04164-8\_9},
  doi          = {10.1007/978-3-642-04164-8\_9},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Danvy09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/DemangeonHS09,
  author       = {Romain Demangeon and
                  Daniel Hirschkoff and
                  Davide Sangiorgi},
  editor       = {Jens Palsberg},
  title        = {Mobile Processes and Termination},
  booktitle    = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
                  Mosses on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5700},
  pages        = {250--273},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04164-8\_13},
  doi          = {10.1007/978-3-642-04164-8\_13},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/DemangeonHS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/DohS09,
  author       = {Kyung{-}Goo Doh and
                  David A. Schmidt},
  editor       = {Jens Palsberg},
  title        = {An Action Semantics Based on Two Combinators},
  booktitle    = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
                  Mosses on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5700},
  pages        = {274--296},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04164-8\_14},
  doi          = {10.1007/978-3-642-04164-8\_14},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/DohS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/GottliebsenR09,
  author       = {Hanne Gottliebsen and
                  Kristoffer H. Rose},
  editor       = {Jens Palsberg},
  title        = {Converting between Combinatory Reduction Systems and Big Step Semantics},
  booktitle    = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
                  Mosses on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5700},
  pages        = {297--314},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04164-8\_15},
  doi          = {10.1007/978-3-642-04164-8\_15},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/GottliebsenR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/GuedesH09,
  author       = {Luiz Carlos Castro Guedes and
                  Edward Hermann Haeusler},
  editor       = {Jens Palsberg},
  title        = {Action Algebras and Model Algebras in Denotational Semantics},
  booktitle    = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
                  Mosses on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5700},
  pages        = {227--249},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04164-8\_12},
  doi          = {10.1007/978-3-642-04164-8\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/GuedesH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/HuangK09,
  author       = {Hejiao Huang and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Jens Palsberg},
  title        = {Component-Based Security Policy Design with Colored Petri Nets},
  booktitle    = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
                  Mosses on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5700},
  pages        = {21--42},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04164-8\_3},
  doi          = {10.1007/978-3-642-04164-8\_3},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/HuangK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Klin09,
  author       = {Bartek Klin},
  editor       = {Jens Palsberg},
  title        = {Structural Operational Semantics for Weighted Transition Systems},
  booktitle    = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
                  Mosses on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5700},
  pages        = {121--139},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04164-8\_7},
  doi          = {10.1007/978-3-642-04164-8\_7},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Klin09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/KrishnanP09,
  author       = {Padmanabhan Krishnan and
                  Percy Antonio Pari Salas},
  editor       = {Jens Palsberg},
  title        = {Model-Based Testing and the {UML} Testing Profile},
  booktitle    = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
                  Mosses on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5700},
  pages        = {315--328},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04164-8\_16},
  doi          = {10.1007/978-3-642-04164-8\_16},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/KrishnanP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/MaidlCM09,
  author       = {Andr{\'{e}} Murbach Maidl and
                  Cl{\'{a}}udio Carvilhe and
                  Martin A. Musicante},
  editor       = {Jens Palsberg},
  title        = {An Implementation of Object-Oriented Action Semantics in Maude},
  booktitle    = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
                  Mosses on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5700},
  pages        = {81--105},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04164-8\_5},
  doi          = {10.1007/978-3-642-04164-8\_5},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/MaidlCM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Meseguer09,
  author       = {Jos{\'{e}} Meseguer},
  editor       = {Jens Palsberg},
  title        = {Order-Sorted Parameterization and Induction},
  booktitle    = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
                  Mosses on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5700},
  pages        = {43--80},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04164-8\_4},
  doi          = {10.1007/978-3-642-04164-8\_4},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Meseguer09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/OrejasW09,
  author       = {Fernando Orejas and
                  Martin Wirsing},
  editor       = {Jens Palsberg},
  title        = {On the Specification and Verification of Model Transformations},
  booktitle    = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
                  Mosses on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5700},
  pages        = {140--161},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04164-8\_8},
  doi          = {10.1007/978-3-642-04164-8\_8},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/OrejasW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Palsberg09,
  author       = {Jens Palsberg},
  editor       = {Jens Palsberg},
  title        = {Tribute to Peter Mosses},
  booktitle    = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
                  Mosses on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5700},
  pages        = {1--3},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04164-8\_1},
  doi          = {10.1007/978-3-642-04164-8\_1},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Palsberg09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/StovringL09,
  author       = {Kristian St{\o}vring and
                  S{\o}ren B. Lassen},
  editor       = {Jens Palsberg},
  title        = {A Complete, Co-inductive Syntactic Theory of Sequential Control and
                  State},
  booktitle    = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
                  Mosses on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5700},
  pages        = {329--375},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04164-8\_17},
  doi          = {10.1007/978-3-642-04164-8\_17},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/StovringL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/TitzerP09,
  author       = {Ben L. Titzer and
                  Jens Palsberg},
  editor       = {Jens Palsberg},
  title        = {Vertical Object Layout and Compression for Fixed Heaps},
  booktitle    = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
                  Mosses on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5700},
  pages        = {376--408},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04164-8\_18},
  doi          = {10.1007/978-3-642-04164-8\_18},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/TitzerP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Watt09,
  author       = {David A. Watt},
  editor       = {Jens Palsberg},
  title        = {Action Semantics in Retrospect},
  booktitle    = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
                  Mosses on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5700},
  pages        = {4--20},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04164-8\_2},
  doi          = {10.1007/978-3-642-04164-8\_2},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Watt09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/birthday/2009mosses,
  editor       = {Jens Palsberg},
  title        = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
                  Mosses on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5700},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04164-8},
  doi          = {10.1007/978-3-642-04164-8},
  isbn         = {978-3-642-04163-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/2009mosses.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.