Search dblp for Publications

export results for "stream:streams/conf/larch:"

 download as .bib file

@proceedings{DBLP:conf/larch/1992,
  editor       = {Ursula Martin and
                  Jeannette M. Wing},
  title        = {First International Workshop on Larch, Proceedings of the first First
                  International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
                  July 1992},
  series       = {Workshops in Computing},
  publisher    = {Springer},
  year         = {1993},
  isbn         = {3-540-19804-0},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/larch/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/larch/Baugh92,
  author       = {John W. Baugh Jr.},
  editor       = {Ursula Martin and
                  Jeannette M. Wing},
  title        = {Is Engineering Software Amenable to Formal Specification?},
  booktitle    = {First International Workshop on Larch, Proceedings of the first First
                  International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
                  July 1992},
  series       = {Workshops in Computing},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 11:29:44 +0100},
  biburl       = {https://dblp.org/rec/conf/larch/Baugh92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/larch/BidoitH92,
  author       = {Michel Bidoit and
                  Rolf Hennicker},
  editor       = {Ursula Martin and
                  Jeannette M. Wing},
  title        = {How to Prove Observational Theorems with {LP}},
  booktitle    = {First International Workshop on Larch, Proceedings of the first First
                  International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
                  July 1992},
  series       = {Workshops in Computing},
  pages        = {18--35},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/larch/BidoitH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/larch/Buth92,
  author       = {Karl{-}Heinz Buth},
  editor       = {Ursula Martin and
                  Jeannette M. Wing},
  title        = {Using {SOS} Definitions in Term Rewriting Proofs},
  booktitle    = {First International Workshop on Larch, Proceedings of the first First
                  International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
                  July 1992},
  series       = {Workshops in Computing},
  pages        = {36--54},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/larch/Buth92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/larch/ChetaliL92,
  author       = {Boutheina Chetali and
                  Pierre Lescanne},
  editor       = {Ursula Martin and
                  Jeannette M. Wing},
  title        = {An Exercise in {LP:} The Proof of a Non Restoring Division Circuit},
  booktitle    = {First International Workshop on Larch, Proceedings of the first First
                  International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
                  July 1992},
  series       = {Workshops in Computing},
  pages        = {55--68},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/larch/ChetaliL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/larch/ChoppyB92,
  author       = {Christine Choppy and
                  Michel Bidoit},
  editor       = {Ursula Martin and
                  Jeannette M. Wing},
  title        = {Integrating {ASSPEGIQUE} and {LP}},
  booktitle    = {First International Workshop on Larch, Proceedings of the first First
                  International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
                  July 1992},
  series       = {Workshops in Computing},
  pages        = {69--85},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/larch/ChoppyB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/larch/EngbergGL92,
  author       = {Urban Engberg and
                  Peter Gr{\o}nning and
                  Leslie Lamport},
  editor       = {Ursula Martin and
                  Jeannette M. Wing},
  title        = {Mechanical Verification of Concurrent Systems with {TLA}},
  booktitle    = {First International Workshop on Larch, Proceedings of the first First
                  International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
                  July 1992},
  series       = {Workshops in Computing},
  pages        = {86--97},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/larch/EngbergGL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/larch/FeldmanW92,
  author       = {Gary Feldman and
                  Joseph Wild},
  editor       = {Ursula Martin and
                  Jeannette M. Wing},
  title        = {The DECspec Project: Tools for Larch/C},
  booktitle    = {First International Workshop on Larch, Proceedings of the first First
                  International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
                  July 1992},
  series       = {Workshops in Computing},
  pages        = {98--103},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/larch/FeldmanW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/larch/GuaspariMP92,
  author       = {David Guaspari and
                  Carla Marceau and
                  Wolfgang Polak},
  editor       = {Ursula Martin and
                  Jeannette M. Wing},
  title        = {Formal Verification of Ada Programs},
  booktitle    = {First International Workshop on Larch, Proceedings of the first First
                  International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
                  July 1992},
  series       = {Workshops in Computing},
  pages        = {104--141},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/larch/GuaspariMP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/larch/Jones92,
  author       = {Kevin D. Jones},
  editor       = {Ursula Martin and
                  Jeannette M. Wing},
  title        = {A Semantics for a Larch/Modula-3 Interface Language},
  booktitle    = {First International Workshop on Larch, Proceedings of the first First
                  International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
                  July 1992},
  series       = {Workshops in Computing},
  pages        = {142--158},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/larch/Jones92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/larch/LeavensC92,
  author       = {Gary T. Leavens and
                  Yoonsik Cheon},
  editor       = {Ursula Martin and
                  Jeannette M. Wing},
  title        = {Preliminary Design of Larch/C++},
  booktitle    = {First International Workshop on Larch, Proceedings of the first First
                  International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
                  July 1992},
  series       = {Workshops in Computing},
  pages        = {159--184},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/larch/LeavensC92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/larch/MellergaardS92,
  author       = {Niels Mellergaard and
                  J{\o}rgen Staunstrup},
  editor       = {Ursula Martin and
                  Jeannette M. Wing},
  title        = {Generating Proof Obligations for Circuits},
  booktitle    = {First International Workshop on Larch, Proceedings of the first First
                  International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
                  July 1992},
  series       = {Workshops in Computing},
  pages        = {185--200},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/larch/MellergaardS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/larch/SaxeGHG92,
  author       = {James B. Saxe and
                  John V. Guttag and
                  James J. Horning and
                  Stephen J. Garland},
  editor       = {Ursula Martin and
                  Jeannette M. Wing},
  title        = {Using Transformations and Verification in Circuit Design},
  booktitle    = {First International Workshop on Larch, Proceedings of the first First
                  International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
                  July 1992},
  series       = {Workshops in Computing},
  pages        = {201--226},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/larch/SaxeGHG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/larch/ScottN92,
  author       = {E. A. Scott and
                  K. J. Norrie},
  editor       = {Ursula Martin and
                  Jeannette M. Wing},
  title        = {Using {LP} to Study the Language PL\({}^{\mbox{+}}\)\({}_{\mbox{0}}\)},
  booktitle    = {First International Workshop on Larch, Proceedings of the first First
                  International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
                  July 1992},
  series       = {Workshops in Computing},
  pages        = {227--245},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/larch/ScottN92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/larch/Tan92,
  author       = {Yang Meng Tan},
  editor       = {Ursula Martin and
                  Jeannette M. Wing},
  title        = {Semantic analysis of Larch Interface Specifications},
  booktitle    = {First International Workshop on Larch, Proceedings of the first First
                  International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
                  July 1992},
  series       = {Workshops in Computing},
  pages        = {246--261},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/larch/Tan92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/larch/Vandevoorde92,
  author       = {Mark T. Vandevoorde},
  editor       = {Ursula Martin and
                  Jeannette M. Wing},
  title        = {Optimizing Programs with Partial Specifications},
  booktitle    = {First International Workshop on Larch, Proceedings of the first First
                  International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
                  July 1992},
  series       = {Workshops in Computing},
  pages        = {262--281},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/larch/Vandevoorde92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/larch/Voisin92,
  author       = {Fr{\'{e}}d{\'{e}}ric Voisin},
  editor       = {Ursula Martin and
                  Jeannette M. Wing},
  title        = {A New Front-End for the Larch Prover},
  booktitle    = {First International Workshop on Larch, Proceedings of the first First
                  International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
                  July 1992},
  series       = {Workshops in Computing},
  pages        = {282--296},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/larch/Voisin92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/larch/WingRZ92,
  author       = {Jeannette M. Wing and
                  Eugene J. Rollins and
                  Amy Moormann Zaremski},
  editor       = {Ursula Martin and
                  Jeannette M. Wing},
  title        = {Thoughts on a Larch/ML and a New Application for {LP}},
  booktitle    = {First International Workshop on Larch, Proceedings of the first First
                  International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
                  July 1992},
  series       = {Workshops in Computing},
  pages        = {297--312},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/larch/WingRZ92.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.