BibTeX records: Penny Anderson

download as .bib file

@inproceedings{DBLP:conf/tphol/AndersonP04,
  author       = {Penny Anderson and
                  Frank Pfenning},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Verifying Uniqueness in a Logical Framework},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {18--33},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_2},
  doi          = {10.1007/978-3-540-30142-4\_2},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/AndersonP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/AndersonB00,
  author       = {Penny Anderson and
                  David A. Basin},
  title        = {Program Development Schemata as Derived Rules},
  journal      = {J. Symb. Comput.},
  volume       = {30},
  number       = {1},
  pages        = {5--36},
  year         = {2000},
  url          = {https://doi.org/10.1006/jsco.1999.0346},
  doi          = {10.1006/JSCO.1999.0346},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/AndersonB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/MarionLSCA98,
  author       = {Bill Marion and
                  Keith Vander Linden and
                  Roberta Evans Sabin and
                  Judy Cushing and
                  Penny Anderson},
  editor       = {John Lewis and
                  Jane Prey and
                  Daniel Joyce and
                  John Impagliazzo},
  title        = {Integrating recent research results into undergraduate curricula (panel):
                  initial steps},
  booktitle    = {Proceedings of the 29th {SIGCSE} Technical Symposium on Computer Science
                  Education, {SIGCSE} 1998, Atlanta, Georgia, USA, February 26 - March
                  1, 1998},
  pages        = {378--379},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/273133.274342},
  doi          = {10.1145/273133.274342},
  timestamp    = {Mon, 30 May 2022 15:19:22 +0200},
  biburl       = {https://dblp.org/rec/conf/sigcse/MarionLSCA98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/WolzPACDKLMSW97,
  author       = {Ursula Wolz and
                  Jacob Palme and
                  Penny Anderson and
                  Zhi Chen and
                  James Dunne and
                  G{\"{o}}ran Karlsson and
                  Atika Laribi and
                  Sirkku M{\"{a}}nnik{\"{o}} and
                  Robert Spielvogel and
                  Henry M. Walker},
  editor       = {Lillian N. Cassel and
                  Mats Daniels},
  title        = {Computer-mediated communication in collaborative educational settings
                  (report of the ITiCSE 1997 working group on {CMC} in collaborative
                  educational settings)},
  booktitle    = {The supplemental proceedings of the conference on Integrating technology
                  into computer science education: working group reports and supplemental
                  proceedings, ITiCSE-WGR 1997, Uppsala, Sweden, 1-5 June, 1997},
  pages        = {51--69},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/266057.266100},
  doi          = {10.1145/266057.266100},
  timestamp    = {Mon, 13 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iticse/WolzPACDKLMSW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/AndersonB95,
  author       = {Penny Anderson and
                  David A. Basin},
  editor       = {Kanchana Kanchanasut and
                  Jean{-}Jacques L{\'{e}}vy},
  title        = {Deriving and Applying Logic Program Transformers},
  booktitle    = {Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science
                  Conference, {ACSC} '95, Pathumthani, Thailand, December 11-13, 1995,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1023},
  pages        = {301--318},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60688-2\_52},
  doi          = {10.1007/3-540-60688-2\_52},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/asian/AndersonB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Anderson94,
  author       = {Penny Anderson},
  editor       = {Alan Bundy},
  title        = {Representing Proof Transformations for Program Optimizations},
  booktitle    = {Automated Deduction - CADE-12, 12th International Conference on Automated
                  Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {814},
  pages        = {575--589},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58156-1\_42},
  doi          = {10.1007/3-540-58156-1\_42},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Anderson94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Anderson94,
  author       = {Penny Anderson},
  editor       = {Frank Pfenning},
  title        = {Program Extraction in a Logical Framework Setting},
  booktitle    = {Logic Programming and Automated Reasoning, 5th International Conference,
                  LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {822},
  pages        = {144--158},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58216-9\_35},
  doi          = {10.1007/3-540-58216-9\_35},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Anderson94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics