Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Robert Cartwright
@inproceedings{DBLP:conf/onward/PervaizYDBSICP022,
author = {Ahsan Pervaiz and
Yao{-}Hsiang Yang and
Adam Duracz and
Ferenc A. Bartha and
Ryuichi Sai and
Connor Imes and
Robert Cartwright and
Krishna V. Palem and
Shan Lu and
Henry Hoffmann},
editor = {Christophe Scholliers and
Jeremy Singer},
title = {{GOAL:} Supporting General and Dynamic Adaptation in Computing Systems},
booktitle = {Proceedings of the 2022 {ACM} {SIGPLAN} International Symposium on
New Ideas, New Paradigms, and Reflections on Programming and Software,
Onward! 2022, Auckland, New Zealand, December 8-10, 2022},
pages = {16--32},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3563835.3567655},
doi = {10.1145/3563835.3567655},
timestamp = {Fri, 02 Dec 2022 18:08:52 +0100},
biburl = {https://dblp.org/rec/conf/onward/PervaizYDBSICP022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BaratiBBCDFHIMM19,
author = {Saeid Barati and
Ferenc A. Bartha and
Swarnendu Biswas and
Robert Cartwright and
Adam Duracz and
Donald S. Fussell and
Henry Hoffmann and
Connor Imes and
Jason E. Miller and
Nikita Mishra and
Arvind and
Dung Nguyen and
Krishna V. Palem and
Yan Pei and
Keshav Pingali and
Ryuichi Sai and
Andrew Wright and
Yao{-}Hsiang Yang and
Sizhuo Zhang},
title = {Proteus: Language and Runtime Support for Self-Adaptive Software Development},
journal = {{IEEE} Softw.},
volume = {36},
number = {2},
pages = {73--82},
year = {2019},
url = {https://doi.org/10.1109/MS.2018.2884864},
doi = {10.1109/MS.2018.2884864},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/BaratiBBCDFHIMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-08695,
author = {Yao{-}Hsiang Yang and
Adam Duracz and
Ferenc A. Bartha and
Ryuichi Sai and
Ahsan Pervaiz and
Saeid Barati and
Dung Nguyen and
Robert Cartwright and
Henry Hoffmann and
Krishna V. Palem},
title = {Language Support for Adaptation: Intent-Driven Programming in {FAST}},
journal = {CoRR},
volume = {abs/1907.08695},
year = {2019},
url = {http://arxiv.org/abs/1907.08695},
eprinttype = {arXiv},
eprint = {1907.08695},
timestamp = {Fri, 13 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-08695.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-06793,
author = {Moez A. AbdelGawad and
Robert Cartwright},
title = {{NOOP:} {A} Domain-Theoretic Model of Nominally-Typed {OOP}},
journal = {CoRR},
volume = {abs/1801.06793},
year = {2018},
url = {http://arxiv.org/abs/1801.06793},
eprinttype = {arXiv},
eprint = {1801.06793},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-06793.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/TahaZDXABCP16,
author = {Walid Taha and
Yingfu Zeng and
Adam Duracz and
Fei Xu and
Kevin Atkinson and
Paul Brauner and
Robert Cartwright and
Roland Philippsen},
title = {Developing a first course on cyber-physical systems},
journal = {{SIGBED} Rev.},
volume = {14},
number = {1},
pages = {44--52},
year = {2016},
url = {https://doi.org/10.1145/3036686.3036692},
doi = {10.1145/3036686.3036692},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/TahaZDXABCP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CartwrightPA16,
author = {Robert Cartwright and
Rebecca Parsons and
Moez A. AbdelGawad},
title = {Domain Theory: An Introduction},
journal = {CoRR},
volume = {abs/1605.05858},
year = {2016},
url = {http://arxiv.org/abs/1605.05858},
eprinttype = {arXiv},
eprint = {1605.05858},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CartwrightPA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iot360/TahaDZABBDXCKMM15,
author = {Walid Taha and
Adam Duracz and
Yingfu Zeng and
Kevin Atkinson and
Ferenc A. Bartha and
Paul Brauner and
Jan Duracz and
Fei Xu and
Robert Cartwright and
Michal Konecn{\'{y}} and
Eugenio Moggi and
Jawad Masood and
Pererik Andreasson and
Jun Inoue and
Anita Pinheiro Sant'Anna and
Roland Philippsen and
Alexandre Chapoutot and
Marcia O'Malley and
Aaron D. Ames and
Ver{\'{o}}nica Gaspes and
Lise Hvatum and
Shyam Mehta and
Henrik Eriksson and
Christian Grante},
editor = {Benny Mandler and
Johann M{\'{a}}rquez{-}Barja and
Miguel Elias Mitre Campista and
Dagmar Cag{\'{a}}nov{\'{a}} and
Hakima Chaouchi and
Sherali Zeadally and
Mohamad Badra and
Stefano Giordano and
Maria Fazio and
Andrey Somov and
Radu{-}Laurentiu Vieriu},
title = {Acumen: An Open-Source Testbed for Cyber-Physical Systems Research},
booktitle = {Internet of Things. IoT Infrastructures - Second International Summit,
IoT 360{\textdegree} 2015, Rome, Italy, October 27-29, 2015, Revised
Selected Papers, Part {I}},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {169},
pages = {118--130},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-47063-4\_11},
doi = {10.1007/978-3-319-47063-4\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iot360/TahaDZABBDXCKMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esweek/TahaCPZ14,
author = {Walid Taha and
Robert Cartwright and
Roland Philippsen and
Yingfu Zeng},
editor = {Martin T{\"{o}}rngren and
Martin Edin Grimheden},
title = {Developing {A} First Course on Cyber-Physical Systems},
booktitle = {Proceedings of the Workshop on Embedded and Cyber-Physical Systems
Education, {WESE} 2014, New Delhi, India, October 12-17, 2014},
pages = {6:1--6:8},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2829957.2829964},
doi = {10.1145/2829957.2829964},
timestamp = {Mon, 14 Dec 2020 08:24:13 +0100},
biburl = {https://dblp.org/rec/conf/esweek/TahaCPZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/ZengRBTMPOC14,
author = {Yingfu Zeng and
Chad G. Rose and
Paul Brauner and
Walid Taha and
Jawad Masood and
Roland Philippsen and
Marcia Kilchenman O'Malley and
Robert Cartwright},
title = {Modeling Basic Aspects of Cyber-Physical Systems, Part {II} (Extended
Abstract)},
booktitle = {2014 {IEEE} International Conference on High Performance Computing
and Communications, 6th {IEEE} International Symposium on Cyberspace
Safety and Security, 11th {IEEE} International Conference on Embedded
Software and Systems, {HPCC/CSS/ICESS} 2014, Paris, France, August
20-22, 2014},
pages = {550--557},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/HPCC.2014.119},
doi = {10.1109/HPCC.2014.119},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hpcc/ZengRBTMPOC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZengRBTMPOC14,
author = {Yingfu Zeng and
Chad G. Rose and
Paul Brauner and
Walid Taha and
Jawad Masood and
Roland Philippsen and
Marcia K. O'Malley and
Robert Cartwright},
title = {Modeling Basic Aspects of Cyber-Physical Systems, Part {II}},
journal = {CoRR},
volume = {abs/1408.1110},
year = {2014},
url = {http://arxiv.org/abs/1408.1110},
eprinttype = {arXiv},
eprint = {1408.1110},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZengRBTMPOC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/TahaBZCGAC12,
author = {Walid Taha and
Paul Brauner and
Yingfu Zeng and
Robert Cartwright and
Ver{\'{o}}nica Gaspes and
Aaron D. Ames and
Alexandre Chapoutot},
title = {A Core Language for Executable Models of Cyber-Physical Systems (Preliminary
Report)},
booktitle = {32nd International Conference on Distributed Computing Systems Workshops
{(ICDCS} 2012 Workshops), Macau, China, June 18-21, 2012},
pages = {303--308},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICDCSW.2012.72},
doi = {10.1109/ICDCSW.2012.72},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/TahaBZCGAC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/TahaBCGAC11,
author = {Walid Taha and
Paul Brauner and
Robert Cartwright and
Ver{\'{o}}nica Gaspes and
Aaron D. Ames and
Alexandre Chapoutot},
title = {A core language for executable models of cyber physical systems: work
in progress report},
journal = {{SIGBED} Rev.},
volume = {8},
number = {2},
pages = {39--43},
year = {2011},
url = {https://doi.org/10.1145/2000367.2000376},
doi = {10.1145/2000367.2000376},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/TahaBCGAC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/TahaC11,
author = {Walid Taha and
Robert Cartwright},
editor = {Hans{-}Ulrich Hei{\ss} and
Peter Pepper and
Holger Schlingloff and
J{\"{o}}rg Schneider},
title = {The trouble with real numbers (Invited paper)},
booktitle = {41. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
schafft Communities, {INFORMATIK} 2011, Berlin, Germany, October 4-7,
2011, Abstract Proceedings},
series = {{LNI}},
volume = {{P-192}},
pages = {325},
publisher = {{GI}},
year = {2011},
url = {https://dl.gi.de/handle/20.500.12116/18670},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/TahaC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/PayneCRRCS11,
author = {Jarred Payne and
Vincent Cav{\'{e}} and
Raghavan Raman and
Mathias Ricken and
Robert Cartwright and
Vivek Sarkar},
editor = {Christian W. Probst and
Christian Wimmer},
title = {DrHJ: a lightweight pedagogic {IDE} for Habanero Java},
booktitle = {Proceedings of the 9th International Conference on Principles and
Practice of Programming in Java, {PPPJ} 2011, Kongens Lyngby, Denmark,
August 24-26, 2011},
pages = {147--150},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2093157.2093180},
doi = {10.1145/2093157.2093180},
timestamp = {Mon, 26 Nov 2018 15:05:58 +0100},
biburl = {https://dblp.org/rec/conf/pppj/PayneCRRCS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ZhuWICSPMTOCAB10,
author = {Angela Yun Zhu and
Edwin M. Westbrook and
Jun Inoue and
Alexandre Chapoutot and
Cherif R. Salama and
Marisa Linnea Peralta and
Travis Martin and
Walid Taha and
Marcia K. O'Malley and
Robert Cartwright and
Aaron D. Ames and
Raktim Bhattacharya},
editor = {Janos Sztipanovits and
Raj Rajkumar},
title = {Mathematical equations as executable models of mechanical systems},
booktitle = {{ACM/IEEE} 1st International Conference on Cyber-Physical Systems,
{ICCPS} '10, Stockholm, Sweden, April 12-15, 2010},
pages = {1--11},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1795194.1795196},
doi = {10.1145/1795194.1795196},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/ZhuWICSPMTOCAB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/RickenC10,
author = {Mathias Ricken and
Robert Cartwright},
editor = {Gary Lewandowski and
Steven A. Wolfman and
Thomas J. Cortina and
Ellen Lowenfeld Walker},
title = {Test-first Java concurrency for the classroom},
booktitle = {Proceedings of the 41st {ACM} technical symposium on Computer science
education, {SIGCSE} 2010, Milwaukee, Wisconsin, USA, March 10-13,
2010},
pages = {219--223},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1734263.1734340},
doi = {10.1145/1734263.1734340},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/RickenC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icess/ZhuTCMS09,
author = {Angela Yun Zhu and
Walid Taha and
Robert Cartwright and
Matthieu Martel and
Jeremy G. Siek},
editor = {Tianzhou Chen and
Dimitrios N. Serpanos and
Walid Taha},
title = {In Pursuit of Real Answers},
booktitle = {International Conference on Embedded Software and Systems, {ICESS}
'09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009},
pages = {115--122},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICESS.2009.91},
doi = {10.1109/ICESS.2009.91},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icess/ZhuTCMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/RickenC09,
author = {Mathias Ricken and
Robert Cartwright},
editor = {Ben Stephenson and
Christian W. Probst},
title = {ConcJUnit: unit testing for concurrent programs},
booktitle = {Proceedings of the 7th International Conference on Principles and
Practice of Programming in Java, {PPPJ} 2009, Calgary, Alberta, Canada,
August 27-28, 2009},
pages = {129--132},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596655.1596676},
doi = {10.1145/1596655.1596676},
timestamp = {Mon, 26 Nov 2018 15:05:58 +0100},
biburl = {https://dblp.org/rec/conf/pppj/RickenC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SmithC08,
author = {Daniel Smith and
Robert Cartwright},
editor = {Gail E. Harris},
title = {Java type inference is broken: can we fix it?},
booktitle = {Proceedings of the 23rd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2008,
October 19-23, 2008, Nashville, TN, {USA}},
pages = {505--524},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449764.1449804},
doi = {10.1145/1449764.1449804},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/SmithC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SasitornC07,
author = {James Sasitorn and
Robert Cartwright},
editor = {Richard P. Gabriel and
David F. Bacon and
Cristina Videira Lopes and
Guy L. Steele Jr.},
title = {Component nextgen: a sound and expressive component framework for
java},
booktitle = {Proceedings of the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
October 21-25, 2007, Montreal, Quebec, Canada},
pages = {153--170},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1297027.1297039},
doi = {10.1145/1297027.1297039},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/SasitornC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SasitornC07,
author = {James Sasitorn and
Robert Cartwright},
editor = {Yookun Cho and
Roger L. Wainwright and
Hisham Haddad and
Sung Y. Shin and
Yong Wan Koo},
title = {Deriving components from genericity},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
pages = {1109--1116},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244002.1244244},
doi = {10.1145/1244002.1244244},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/SasitornC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AllenC06,
author = {Eric E. Allen and
Robert Cartwright},
title = {Safe instantiation in Generic Java},
journal = {Sci. Comput. Program.},
volume = {59},
number = {1-2},
pages = {26--37},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2005.07.003},
doi = {10.1016/J.SCICO.2005.07.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AllenC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SasitornC06,
author = {James Sasitorn and
Robert Cartwright},
editor = {Hisham Haddad},
title = {Efficient first-class generics on stock Java virtual machines},
booktitle = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC),
Dijon, France, April 23-27, 2006},
pages = {1621--1628},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1141277.1141656},
doi = {10.1145/1141277.1141656},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/SasitornC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/HsiaSSC05,
author = {James I. Hsia and
Elspeth Simpson and
Daniel Smith and
Robert Cartwright},
editor = {Wanda P. Dann and
Thomas L. Naps and
Paul T. Tymann and
Doug Baldwin},
title = {Taming Java for the classroom},
booktitle = {Proceedings of the 36th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 2005, St. Louis, Missouri, USA, February 23-27,
2005},
pages = {327--331},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1047344.1047459},
doi = {10.1145/1047344.1047459},
timestamp = {Thu, 10 Jun 2021 16:43:03 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/HsiaSSC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/AllenC04,
author = {Eric E. Allen and
Robert Cartwright},
editor = {John Waldron},
title = {Safe instantiation in generic Java},
booktitle = {Proceedings of the 3rd International Symposium on Principles and Practice
of Programming in Java, {PPPJ} 2004, Las Vegas, Nevada, USA, June
16-18, 2004},
series = {{ACM} International Conference Proceeding Series},
volume = {91},
pages = {61--66},
publisher = {{ACM}},
year = {2004},
url = {https://dl.acm.org/citation.cfm?id=1071578},
timestamp = {Mon, 26 Nov 2018 15:05:58 +0100},
biburl = {https://dblp.org/rec/conf/pppj/AllenC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/ReisC04,
author = {Charles Reis and
Robert Cartwright},
editor = {Daniel T. Joyce and
Deborah Knox and
Wanda P. Dann and
Thomas L. Naps},
title = {Taming a professional {IDE} for the classroom},
booktitle = {Proceedings of the 35th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 2004, Norfolk, Virginia, USA, March 3-7, 2004},
pages = {156--160},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/971300.971357},
doi = {10.1145/971300.971357},
timestamp = {Thu, 10 Jun 2021 16:43:03 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/ReisC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ReisC03,
author = {Charles Reis and
Robert Cartwright},
editor = {Michael G. Burke},
title = {A friendly face for Eclipse},
booktitle = {Proceedings of the 2003 {OOPSLA} Workshop on Eclipse Technology eXchange,
October 2003, Anaheim, CA, {USA}},
pages = {25--29},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/965660.965666},
doi = {10.1145/965660.965666},
timestamp = {Mon, 14 Feb 2022 14:38:20 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/ReisC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AllenBC03,
author = {Eric E. Allen and
Jonathan Bannet and
Robert Cartwright},
editor = {Ron Crocker and
Guy L. Steele Jr.},
title = {A first-class approach to genericity},
booktitle = {Proceedings of the 2003 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2003, October
26-30, 2003, Anaheim, CA, {USA}},
pages = {96--114},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/949305.949316},
doi = {10.1145/949305.949316},
timestamp = {Fri, 25 Jun 2021 17:19:58 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AllenBC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/AllenCR03,
author = {Eric E. Allen and
Robert Cartwright and
Charles Reis},
editor = {Scott Grissom and
Deborah Knox and
Daniel T. Joyce and
Wanda P. Dann},
title = {Production programming in the classroom},
booktitle = {Proceedings of the 34th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 2003, Reno, Nevada, USA, February 19-23, 2003},
pages = {89--93},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/611892.611940},
doi = {10.1145/611892.611940},
timestamp = {Thu, 10 Jun 2021 16:43:03 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/AllenCR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2-1/AllenCS02,
author = {Eric E. Allen and
Robert Cartwright and
Brian Stoler},
editor = {Jeremy Gibbons and
Johan Jeuring},
title = {Efficient Implementation of Run-time Generic Types for Java},
booktitle = {Generic Programming, {IFIP} {TC2/WG2.1} Working Conference on Generic
Programming, July 11-12, 2002, Dagstuhl, Germany},
series = {{IFIP} Conference Proceedings},
volume = {243},
pages = {207--236},
publisher = {Kluwer},
year = {2002},
timestamp = {Tue, 10 Jan 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip2-1/AllenCS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/AllenC02,
author = {Eric E. Allen and
Robert Cartwright},
editor = {John Waldron and
James F. Power},
title = {The case for run-time types in generic Java},
booktitle = {Proceedings of the naugural International Symposium on Principles
and Practice of Programming in Java, {PPPJ} 2002, and Proceedings
of the second workshop on Intermediate representation engineering
for virtual machines, Dublin, Ireland, June 13-14, 2002},
series = {{ACM} International Conference Proceeding Series},
volume = {25},
pages = {19--24},
publisher = {{ACM}},
year = {2002},
url = {https://dl.acm.org/citation.cfm?id=638482},
timestamp = {Mon, 26 Nov 2018 15:05:58 +0100},
biburl = {https://dblp.org/rec/conf/pppj/AllenC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/AllenCS02,
author = {Eric E. Allen and
Robert Cartwright and
Brian Stoler},
editor = {Judith L. Gersting and
Henry MacKay Walker and
Scott Grissom},
title = {DrJava: a lightweight pedagogic environment for Java},
booktitle = {Proceedings of the 33rd {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 2002, Cincinnati, Kentucky, USA, February 27 -
March 3, 2002},
pages = {137--141},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/563340.563395},
doi = {10.1145/563340.563395},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/AllenCS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/FelleisenC99,
author = {Matthias Felleisen and
Robert Cartwright},
title = {Safety as a Metric},
booktitle = {12th Conference on Software Engineering Education and Training, 22-24
March, 1999, New Orleans, Louisiana, {USA}},
pages = {129--131},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/CSEE.1999.755192},
doi = {10.1109/CSEE.1999.755192},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csee/FelleisenC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CartwrightS98,
author = {Robert Cartwright and
Guy L. Steele Jr.},
editor = {Bj{\o}rn N. Freeman{-}Benson and
Craig Chambers},
title = {Compatible Genericity with Run-Time Types for the Java Programming
Language},
booktitle = {Proceedings of the 1998 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1998,
Vancouver, British Columbia, Canada, October 18-22, 1998},
pages = {201--215},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/286936.286958},
doi = {10.1145/286936.286958},
timestamp = {Wed, 30 Mar 2022 13:58:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/CartwrightS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/WrightC97,
author = {Andrew K. Wright and
Robert Cartwright},
title = {A Practical Soft Type System for Scheme},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {19},
number = {1},
pages = {87--152},
year = {1997},
url = {https://doi.org/10.1145/239912.239917},
doi = {10.1145/239912.239917},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/WrightC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/CartwrightF96,
author = {Robert Cartwright and
Matthias Felleisen},
title = {Program Verification Through Soft Typing},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {2},
pages = {349--351},
year = {1996},
url = {https://doi.org/10.1145/234528.234747},
doi = {10.1145/234528.234747},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/CartwrightF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/YouCL96,
author = {Jia{-}Huai You and
Robert Cartwright and
Ming Li},
title = {Iterative Belief Revision in Extended Logic Programming},
journal = {Theor. Comput. Sci.},
volume = {170},
number = {1-2},
pages = {383--406},
year = {1996},
url = {https://doi.org/10.1016/S0304-3975(96)80712-2},
doi = {10.1016/S0304-3975(96)80712-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/YouCL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CartwrightCF94,
author = {Robert Cartwright and
Pierre{-}Louis Curien and
Matthias Felleisen},
title = {Fully Abstract Semantics for Observably Sequential Languages},
journal = {Inf. Comput.},
volume = {111},
number = {2},
pages = {297--401},
year = {1994},
url = {https://doi.org/10.1006/inco.1994.1047},
doi = {10.1006/INCO.1994.1047},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CartwrightCF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/WrightC94,
author = {Andrew K. Wright and
Robert Cartwright},
editor = {Robert R. Kessler},
title = {A Practical Soft Type System for Scheme},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {250--262},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182485},
doi = {10.1145/182409.182485},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/WrightC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/YouC94,
author = {Jia{-}Huai You and
Robert Cartwright},
editor = {Maurice Bruynooghe},
title = {Tractable Argumentation Semantics via Iterative Belief Revision},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium,
Ithaca, New York, USA, November 13-17, 1994},
pages = {239--253},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/YouC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/CartwrightF94,
author = {Robert Cartwright and
Matthias Felleisen},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Extensible Denotational Language Specifications},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {244--272},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_99},
doi = {10.1007/3-540-57887-0\_99},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/CartwrightF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KannegantiC93,
author = {Ramarao Kanneganti and
Robert Cartwright},
editor = {Andrzej Lingas and
Rolf G. Karlsson and
Svante Carlsson},
title = {What is a Universal Higher-Order Programming Language?},
booktitle = {Automata, Languages and Programming, 20nd International Colloquium,
ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {700},
pages = {682--695},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56939-1\_112},
doi = {10.1007/3-540-56939-1\_112},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KannegantiC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/1993,
editor = {Robert Cartwright},
title = {Proceedings of the {ACM} SIGPLAN'93 Conference on Programming Language
Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June
23-25, 1993},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/155090},
doi = {10.1145/155090},
isbn = {0-89791-598-4},
timestamp = {Fri, 09 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CartwrightF92,
author = {Robert Cartwright and
Matthias Felleisen},
editor = {Ravi Sethi},
title = {Observable Sequentiality and Full Abstraction},
booktitle = {Conference Record of the Nineteenth Annual {ACM} {SIGPLAN-SIGACT}
Symposium on Principles of Programming Languages, Albuquerque, New
Mexico, USA, January 19-22, 1992},
pages = {328--342},
publisher = {{ACM} Press},
year = {1992},
url = {https://doi.org/10.1145/143165.143232},
doi = {10.1145/143165.143232},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CartwrightF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/KannegantiCF92,
author = {Ramarao Kanneganti and
Robert Cartwright and
Matthias Felleisen},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {{SPCF:} Its Model, Calculus, and Computational Power (Preliminary
Version)},
booktitle = {Sematics: Foundations and Applications, {REX} Workshop, Beekbergen,
The Netherlands, June 1-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {666},
pages = {318--347},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56596-5\_39},
doi = {10.1007/3-540-56596-5\_39},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/KannegantiCF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Cartwright91,
author = {Robert Cartwright},
editor = {Vladimir Lifschitz},
title = {Lambda: the Ultimate Combinator},
booktitle = {Artificial and Mathematical Theory of Computation, Papers in Honor
of John McCarthy on the occasion of his sixty-fourth birthday},
pages = {27--46},
publisher = {Academic Press / Elsevier},
year = {1991},
url = {https://doi.org/10.1016/b978-0-12-450010-5.50008-6},
doi = {10.1016/B978-0-12-450010-5.50008-6},
timestamp = {Wed, 26 Jun 2019 13:52:03 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Cartwright91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CartwrightF91,
author = {Robert Cartwright and
Mike Fagan},
editor = {David S. Wise},
title = {Soft Typing},
booktitle = {Proceedings of the {ACM} SIGPLAN'91 Conference on Programming Language
Design and Implementation (PLDI), Toronto, Ontario, Canada, June 26-28,
1991},
pages = {278--292},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/113445.113469},
doi = {10.1145/113445.113469},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CartwrightF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CartwrightF91a,
author = {Robert Cartwright and
Mike Fagan},
editor = {Kathryn S. McKinley},
title = {Soft typing (with retrospective)},
booktitle = {20 Years of the {ACM} {SIGPLAN} Conference on Programming Language
Design and Implementation 1979-1999, {A} Selection},
pages = {412--428},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/989393.989435},
doi = {10.1145/989393.989435},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CartwrightF91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CartwrightF89,
author = {Robert Cartwright and
Matthias Felleisen},
editor = {Richard L. Wexelblat},
title = {The Semantics of Program Dependence},
booktitle = {Proceedings of the {ACM} SIGPLAN'89 Conference on Programming Language
Design and Implementation (PLDI), Portland, Oregon, USA, June 21-23,
1989},
pages = {13--27},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/73141.74820},
doi = {10.1145/73141.74820},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CartwrightF89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CartwrightD88,
author = {Robert Cartwright and
Alan J. Demers},
title = {The Topology of Program Termination},
booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science
{(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
pages = {296--308},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/LICS.1988.5128},
doi = {10.1109/LICS.1988.5128},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CartwrightD88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/BoehmCRO86,
author = {Hans{-}Juergen Boehm and
Robert Cartwright and
Mark Riggle and
Michael J. O'Donnell},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Exact Real Arithmetic: {A} Case Study in Higher Order Programming},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {162--173},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319860},
doi = {10.1145/319838.319860},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/BoehmCRO86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Cartwright85,
author = {Robert Cartwright},
editor = {Mary S. Van Deusen and
Zvi Galil and
Brian K. Reid},
title = {Types as Intervals},
booktitle = {Conference Record of the Twelfth Annual {ACM} Symposium on Principles
of Programming Languages, New Orleans, Louisiana, USA, January 1985},
pages = {22--36},
publisher = {{ACM} Press},
year = {1985},
url = {https://doi.org/10.1145/318593.318604},
doi = {10.1145/318593.318604},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Cartwright85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Cartwright84,
author = {Robert Cartwright},
title = {Recursive Programs as Definitions in First Order Logic},
journal = {{SIAM} J. Comput.},
volume = {13},
number = {2},
pages = {374--408},
year = {1984},
url = {https://doi.org/10.1137/0213026},
doi = {10.1137/0213026},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/Cartwright84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Cartwright83,
author = {Robert Cartwright},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Non-Standard Fixed Points in First Order Logic},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {86--100},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_357},
doi = {10.1007/3-540-12896-4\_357},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/Cartwright83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/CartwrightD82,
author = {Robert Cartwright and
James E. Donahue},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {The Semantics of Lazy (and Industrious) Evaluation},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {253--264},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802157},
doi = {10.1145/800068.802157},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/CartwrightD82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/CartwrightO81,
author = {Robert Cartwright and
Derek C. Oppen},
title = {The Logic of Aliasing},
journal = {Acta Informatica},
volume = {15},
pages = {365--384},
year = {1981},
url = {https://doi.org/10.1007/BF00264535},
doi = {10.1007/BF00264535},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/CartwrightO81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Cartwright81,
author = {Robert Cartwright},
editor = {Dexter Kozen},
title = {Toward a Logical Thoery of Program Data},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {37--51},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025773},
doi = {10.1007/BFB0025773},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/Cartwright81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CartwrightHM81,
author = {Robert Cartwright and
Robert Hood and
Philip Mathews},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Paths: An Abstract Alternative to Pointers},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {14--27},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567534},
doi = {10.1145/567532.567534},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CartwrightHM81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Cartwright81,
author = {Robert Cartwright},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Formal Program Testing},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {125--132},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567546},
doi = {10.1145/567532.567546},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Cartwright81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Cartwright80,
author = {Robert Cartwright},
title = {A Constructive Alternative to Axiomatic Data Type Definitions},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {46--55},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802789},
doi = {10.1145/800087.802789},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Cartwright80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CartwrightM79,
author = {Robert Cartwright and
John McCarthy},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {First Order Programming Logic},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {68--80},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567759},
doi = {10.1145/567752.567759},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CartwrightM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/CartwrightM78,
author = {Robert Cartwright and
John McCarthy},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {Recursive programs as functions in a first order theory},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {576--629},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_40},
doi = {10.1007/3-540-09541-1\_40},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/msi/CartwrightM78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CartwrightO78,
author = {Robert Cartwright and
Derek C. Oppen},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Thomas G. Szymanski},
title = {Unrestricted Procedure Calls in Hoare's Logic},
booktitle = {Conference Record of the Fifth Annual {ACM} Symposium on Principles
of Programming Languages, Tucson, Arizona, USA, January 1978},
pages = {131--140},
publisher = {{ACM} Press},
year = {1978},
url = {https://doi.org/10.1145/512760.512774},
doi = {10.1145/512760.512774},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CartwrightO78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Cartwright77,
author = {Robert Cartwright},
title = {A practical formal semantic definition and verification system for
{TYPED} {LISP}},
school = {Stanford University, {USA}},
year = {1977},
url = {https://searchworks.stanford.edu/view/955375},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Cartwright77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/garland/Cartwright76,
author = {Robert Cartwright},
title = {A Practical Formal Semantic Definition and Verification System for
{TYPED} {LISP}},
series = {Outstanding Dissertations in the Computer Sciences},
publisher = {Garland Publishing, New York},
year = {1976},
isbn = {0-8240-4420-7},
timestamp = {Fri, 24 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/garland/Cartwright76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Cartwright76,
author = {Robert Cartwright},
editor = {S. Michaelson and
Robin Milner},
title = {User-Defined Data Types as an Aid to Verifying {LISP} Programs},
booktitle = {Third International Colloquium on Automata, Languages and Programming,
University of Edinburgh, UK, July 20-23, 1976},
pages = {228--256},
publisher = {Edinburgh University Press},
year = {1976},
timestamp = {Mon, 08 Jul 2019 10:58:24 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Cartwright76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2023-09-27 22:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
