Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: S. Tucker Taft
@article{DBLP:journals/programming/Taft19,
author = {S. Tucker Taft},
title = {ParaSail: {A} Pointer-Free Pervasively-Parallel Language for Irregular
Computations},
journal = {Art Sci. Eng. Program.},
volume = {3},
number = {3},
pages = {7},
year = {2019},
url = {https://doi.org/10.22152/programming-journal.org/2019/3/7},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2019/3/7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/programming/Taft19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-00525,
author = {S. Tucker Taft},
title = {ParaSail: {A} Pointer-Free Pervasively-Parallel Language for Irregular
Computations},
journal = {CoRR},
volume = {abs/1902.00525},
year = {2019},
url = {http://arxiv.org/abs/1902.00525},
eprinttype = {arXiv},
eprint = {1902.00525},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-00525.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MaalejTM18,
author = {Maroua Maalej and
S. Tucker Taft and
Yannick Moy},
editor = {Ant{\'{o}}nio Casimiro and
Pedro Miguel Ferreira},
title = {Safe Dynamic Memory Management in Ada and {SPARK}},
booktitle = {Reliable Software Technologies - Ada-Europe 2018 - 23rd Ada-Europe
International Conference on Reliable Software Technologies, Lisbon,
Portugal, June 18-22, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10873},
pages = {37--52},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92432-8\_3},
doi = {10.1007/978-3-319-92432-8\_3},
timestamp = {Fri, 09 Apr 2021 18:52:41 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/MaalejTM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/TaftSM16,
author = {S. Tucker Taft and
Florian Schanda and
Yannick Moy},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {High-Integrity Multitasking in {SPARK:} Static Detection of Data Races
and Locking Cycles},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {238--239},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.54},
doi = {10.1109/HASE.2016.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/TaftSM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/PinhoMMT15,
author = {Lu{\'{\i}}s Miguel Pinho and
Brad Moore and
Stephen Michell and
S. Tucker Taft},
editor = {Juan Antonio de la Puente and
Tullio Vardanega},
title = {An Execution Model for Fine-Grained Parallelism in Ada},
booktitle = {Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe
International Conference on Reliable Software Technologies, Madrid
Spain, June 22-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9111},
pages = {196--211},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19584-1\_13},
doi = {10.1007/978-3-319-19584-1\_13},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/PinhoMMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/PinhoMMT15,
author = {Lu{\'{\i}}s Miguel Pinho and
Brad Moore and
Stephen Michell and
S. Tucker Taft},
title = {Real-Time Support in the Proposal for Fine-Grained Parallelism in
Ada},
booktitle = {2015 {IEEE} Real-Time Systems Symposium, {RTSS} 2015, San Antonio,
Texas, USA, December 1-4, 2015},
pages = {374},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/RTSS.2015.43},
doi = {10.1109/RTSS.2015.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/PinhoMMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/BarnesT14,
author = {John Barnes and
S. Tucker Taft},
editor = {Michael B. Feldman and
S. Tucker Taft},
title = {Ada 83 to Ada 2012: lessons learned over 30 years of language design},
booktitle = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
2014},
pages = {3--4},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2663171.2663173},
doi = {10.1145/2663171.2663173},
timestamp = {Fri, 02 Jun 2023 17:16:28 +0200},
biburl = {https://dblp.org/rec/conf/sigada/BarnesT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/TaftMPM14,
author = {S. Tucker Taft and
Brad Moore and
Lu{\'{\i}}s Miguel Pinho and
Stephen Michell},
editor = {Michael B. Feldman and
S. Tucker Taft},
title = {Safe parallel programming in ada with language extensions},
booktitle = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
2014},
pages = {87--96},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2663171.2663181},
doi = {10.1145/2663171.2663181},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigada/TaftMPM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/BocchinoMTLS14,
author = {Robert Bocchino and
Nicholas D. Matsakis and
S. Tucker Taft and
Brian Larson and
Ed Seidewitz},
editor = {Michael B. Feldman and
S. Tucker Taft},
title = {Panel summary: finding safety in numbers: new languages for safe multicore
programming and modeling},
booktitle = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
2014},
pages = {105--106},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2663171.2663190},
doi = {10.1145/2663171.2663190},
timestamp = {Sat, 11 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigada/BocchinoMTLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigada/2014,
editor = {Michael B. Feldman and
S. Tucker Taft},
title = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2663171},
doi = {10.1145/2663171},
isbn = {978-1-4503-3217-0},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigada/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Ada2013,
author = {S. Tucker Taft and
Robert A. Duff and
Randall Brukardt and
Erhard Pl{\"{o}}dereder and
Pascal Leroy and
Edmond Schonberg},
title = {Ada 2012 Reference Manual. Language and Standard Libraries - International
Standard {ISO/IEC} 8652/2012 {(E)}},
series = {Lecture Notes in Computer Science},
volume = {8339},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45419-6},
doi = {10.1007/978-3-642-45419-6},
isbn = {978-3-642-45418-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Ada2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Taft13,
author = {S. Tucker Taft},
editor = {Jeff Boleng and
S. Tucker Taft},
title = {Tutorial: proving safety of parallel / multi-threaded programs},
booktitle = {Proceedings of the 2013 {ACM} SIGAda annual conference on High integrity
language technology, {HILT} 2013, Pittsburgh, Pennsylvania, USA, November
10-14, 2013},
pages = {1--2},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2527269.2527285},
doi = {10.1145/2527269.2527285},
timestamp = {Tue, 06 Nov 2018 16:57:53 +0100},
biburl = {https://dblp.org/rec/conf/sigada/Taft13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Taft13a,
author = {S. Tucker Taft},
editor = {Jeff Boleng and
S. Tucker Taft},
title = {Bringing safe, dynamic parallel programming to the spark verifiable
subset of ada},
booktitle = {Proceedings of the 2013 {ACM} SIGAda annual conference on High integrity
language technology, {HILT} 2013, Pittsburgh, Pennsylvania, USA, November
10-14, 2013},
pages = {37--40},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2527269.2527279},
doi = {10.1145/2527269.2527279},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigada/Taft13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigada/2013,
editor = {Jeff Boleng and
S. Tucker Taft},
title = {Proceedings of the 2013 {ACM} SIGAda annual conference on High integrity
language technology, {HILT} 2013, Pittsburgh, Pennsylvania, USA, November
10-14, 2013},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2527269},
doi = {10.1145/2527269},
isbn = {978-1-4503-2467-0},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigada/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Taft12,
author = {S. Tucker Taft},
editor = {Ben Brosgol and
Jeff Boleng and
S. Tucker Taft},
title = {Tutorial: multicore programming using divide-and-conquer and work
stealing},
booktitle = {Proceedings of the 2012 {ACM} Conference on High Integrity Language
Technology, {HILT} '12, December 2-6, 2012, Boston, Massachusetts,
{USA}},
pages = {13--14},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2402676.2402684},
doi = {10.1145/2402676.2402684},
timestamp = {Fri, 25 Mar 2022 14:21:18 +0100},
biburl = {https://dblp.org/rec/conf/sigada/Taft12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/BeringerBPT12,
author = {Lennart Beringer and
Randall Brukardt and
Thomas Plum and
S. Tucker Taft},
editor = {Ben Brosgol and
Jeff Boleng and
S. Tucker Taft},
title = {Panel on compiler certification: should we trust our compiler?},
booktitle = {Proceedings of the 2012 {ACM} Conference on High Integrity Language
Technology, {HILT} '12, December 2-6, 2012, Boston, Massachusetts,
{USA}},
pages = {103--104},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2402676.2402708},
doi = {10.1145/2402676.2402708},
timestamp = {Mon, 21 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigada/BeringerBPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigada/2012,
editor = {Ben Brosgol and
Jeff Boleng and
S. Tucker Taft},
title = {Proceedings of the 2012 {ACM} Conference on High Integrity Language
Technology, {HILT} '12, December 2-6, 2012, Boston, Massachusetts,
{USA}},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2402676},
doi = {10.1145/2402676},
isbn = {978-1-4503-1505-0},
timestamp = {Fri, 25 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigada/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Taft11,
author = {S. Tucker Taft},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {Multicore Programming in ParaSail - Parallel Specification and Implementation
Language},
booktitle = {Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe
International Conference on Reliable Software Technologies, Edinburgh,
UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6652},
pages = {196--200},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_16},
doi = {10.1007/978-3-642-21338-0\_16},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/Taft11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TaftBBBCCGSU11,
author = {S. Tucker Taft and
Joshua J. Bloch and
Robert Bocchino and
Sebastian Burckhardt and
Hassan Chafi and
Russ Cox and
Benedict R. Gaster and
Guy L. Steele Jr. and
David M. Ungar},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Multicore, manycore, and cloud computing: is a new programming language
paradigm required?},
booktitle = {Companion to the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {165--170},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048147.2048192},
doi = {10.1145/2048147.2048192},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/TaftBBBCCGSU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Taft11,
author = {S. Tucker Taft},
editor = {Ricky E. Sward and
Michael B. Feldman and
Dan Eilers and
Jean{-}Pierre Rosen and
Frank Singhoff and
Julien Delange and
Mark Gardinier and
Karl A. Nyberg and
Jeff Boleng},
title = {Experimenting with parasail: parallel specification and implementation
language},
booktitle = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
on Ada, Denver, Colorado, USA, November 6-10, 2011},
pages = {11--12},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2070337.2070344},
doi = {10.1145/2070337.2070344},
timestamp = {Fri, 02 Jun 2023 17:16:28 +0200},
biburl = {https://dblp.org/rec/conf/sigada/Taft11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/RosenMT11,
author = {Jean{-}Pierre Rosen and
Brad Moore and
S. Tucker Taft},
editor = {Ricky E. Sward and
Michael B. Feldman and
Dan Eilers and
Jean{-}Pierre Rosen and
Frank Singhoff and
Julien Delange and
Mark Gardinier and
Karl A. Nyberg and
Jeff Boleng},
title = {How to make ada go 'viral'},
booktitle = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
on Ada, Denver, Colorado, USA, November 6-10, 2011},
pages = {35--36},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2070337.2070352},
doi = {10.1145/2070337.2070352},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigada/RosenMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/RosenT09,
author = {Jean{-}Pierre Rosen and
S. Tucker Taft},
editor = {Greg Gicca and
Jeff Boleng},
title = {The new semantic model in {ASIS} for Ada 2005},
booktitle = {Proceedings of the 2009 Annual {ACM} SIGAda International Conference
on Ada, Saint Petersburg, Florida, USA, November 1-5, 2009},
pages = {127--132},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1647420.1647448},
doi = {10.1145/1647420.1647448},
timestamp = {Fri, 25 Mar 2022 14:21:18 +0100},
biburl = {https://dblp.org/rec/conf/sigada/RosenT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Taft08,
author = {S. Tucker Taft},
editor = {Michael B. Feldman and
Leemon C. Baird III},
title = {Implementing the extended return statement for Ada 2005},
booktitle = {Proceedings of the 2008 Annual {ACM} SIGAda International Conference
on Ada, Portland, OR, USA, October 26-30, 2008},
pages = {97--104},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1454474.1454491},
doi = {10.1145/1454474.1454491},
timestamp = {Fri, 25 Mar 2022 14:21:18 +0100},
biburl = {https://dblp.org/rec/conf/sigada/Taft08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Ada2006,
author = {S. Tucker Taft and
Robert A. Duff and
Randall Brukardt and
Erhard Pl{\"{o}}dereder and
Pascal Leroy},
title = {Ada 2005 Reference Manual. Language and Standard Libraries - International
Standard {ISO/IEC} 8652/1995 {(E)} with Technical Corrigendum 1 and
Amendment 1},
series = {Lecture Notes in Computer Science},
volume = {4348},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69336-9},
doi = {10.1007/978-3-540-69336-9},
isbn = {978-3-540-69335-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Ada2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Taft06,
author = {S. Tucker Taft},
editor = {Greg Gicca and
Ricky E. Sward and
Leemon C. Baird III},
title = {Why you should be using Ada 2005 now!},
booktitle = {Proceedings of the 2006 Annual {ACM} SIGAda International Conference
on Ada, Albuquerque, New Mexico, USA, November 12-16, 2006},
pages = {75},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1185642.1185655},
doi = {10.1145/1185642.1185655},
timestamp = {Fri, 25 Mar 2022 14:21:18 +0100},
biburl = {https://dblp.org/rec/conf/sigada/Taft06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BurnsWT04,
author = {Alan Burns and
Andy J. Wellings and
S. Tucker Taft},
editor = {Albert Llamos{\'{\i}} and
Alfred Strohmeier},
title = {Supporting Deadlines and {EDF} Scheduling in Ada},
booktitle = {Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International
Conference on Reliable Software Technologies, Palma de Mallorca, Spain,
June 14-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3063},
pages = {156--165},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24841-5\_12},
doi = {10.1007/978-3-540-24841-5\_12},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/BurnsWT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Taft01,
author = {S. Tucker Taft},
editor = {Paul D. Stachour},
title = {Using Ada 95 in a compiler course},
booktitle = {Proceedings {ACM} SIGAda Annual International Conference, SIGAda 2001,
Twin Cities, Best Western The Thunderbird Hotel {\&} Convention
Center, Bloomington, MN, USA, September 30 - October 4, 2001},
pages = {79--80},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/507574.507593},
doi = {10.1145/507574.507593},
timestamp = {Fri, 25 Mar 2022 14:21:18 +0100},
biburl = {https://dblp.org/rec/conf/sigada/Taft01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Taft01a,
author = {S. Tucker Taft},
editor = {Paul D. Stachour},
title = {Keynote address: fixing software before it breaks},
booktitle = {Proceedings {ACM} SIGAda Annual International Conference, SIGAda 2001,
Twin Cities, Best Western The Thunderbird Hotel {\&} Convention
Center, Bloomington, MN, USA, September 30 - October 4, 2001},
pages = {97--98},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/507574.507598},
doi = {10.1145/507574.507598},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigada/Taft01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/TaftDBP01,
editor = {S. Tucker Taft and
Robert A. Duff and
Randall Brukardt and
Erhard Pl{\"{o}}dereder},
title = {Consolidated Ada Reference Manual. Language and Standard Libraries,
International Standard {ISO/IEC} 8652/1995(E) with Technical Corrigendum
1},
series = {Lecture Notes in Computer Science},
volume = {2219},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45340-7},
doi = {10.1007/3-540-45340-7},
isbn = {3-540-43038-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/TaftDBP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/HartBTW99,
author = {Hal Hart and
Barry W. Boehm and
S. Tucker Taft and
Tony Wasserman},
editor = {Hal Hart and
S. Tucker Taft and
Franco Gasperoni},
title = {What happened to integrated environments? (panel session)},
booktitle = {Proceedings {ACM} SIGAda Annual International Conference, SIGAda 1999,
The Engineering of Industrial Strength Real-Time Software {\&}
Distributed Systems: Using Ada and Related Technologie, Redondo Beach,
CA, USA, October 17-21, 1999},
pages = {225--226},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/319294.319328},
doi = {10.1145/319294.319328},
timestamp = {Fri, 25 Mar 2022 14:21:18 +0100},
biburl = {https://dblp.org/rec/conf/sigada/HartBTW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Taft99,
author = {S. Tucker Taft},
editor = {Donald Firesmith and
Richard Riehle and
Gilda Pour and
Bertrand Meyer},
title = {Programming Language Design and Software Quality},
booktitle = {{TOOLS} 1999: 30th International Conference on Technology of Object-Oriented
Languages and Systems, Delivering Quality Software - The Way Ahead,
1-5 August 1999, Santa Barbara, CA, {USA}},
pages = {5},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.10036},
doi = {10.1109/TOOLS.1999.10036},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Taft99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigada/1999,
editor = {Hal Hart and
S. Tucker Taft and
Franco Gasperoni},
title = {Proceedings {ACM} SIGAda Annual International Conference, SIGAda 1999,
The Engineering of Industrial Strength Real-Time Software {\&}
Distributed Systems: Using Ada and Related Technologie, Redondo Beach,
CA, USA, October 17-21, 1999},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/319294},
doi = {10.1145/319294},
isbn = {1-58113-127-5},
timestamp = {Fri, 25 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigada/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Taft97,
editor = {S. Tucker Taft and
Robert A. Duff},
title = {Ada 95 Reference Manual, Language and Standard Libraries, International
Standard {ISO/IEC} 8652: 1995(E)},
series = {Lecture Notes in Computer Science},
volume = {1246},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0034910},
doi = {10.1007/BFB0034910},
isbn = {3-540-63144-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Taft97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Taft96,
author = {S. Tucker Taft},
editor = {Alfred Strohmeier},
title = {Programming the Internet in Ada 95},
booktitle = {Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International
Conference on Reliable Software Technologies, Montreux, Switzerland,
June 10-14, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1088},
pages = {1--16},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0013475},
doi = {10.1007/BFB0013475},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/Taft96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Taft93,
author = {S. Tucker Taft},
editor = {Timlynn Babitsky and
Jim Salmons},
title = {Ada 9X: From Abstraction-Oriented to Object-Oriented},
booktitle = {Proceedings of the Eighth Annual Conference on Object-Oriented Programming
Systems, Languages, and Applications, {OOPSLA} 1993, Washington, DC,
USA, September 26 - October 1, 1993},
pages = {127--136},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165854.165877},
doi = {10.1145/165854.165877},
timestamp = {Wed, 30 Mar 2022 13:56:34 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Taft93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Taft92,
author = {S. Tucker Taft},
title = {Ada 9X: {A} Technical Summary},
journal = {Commun. {ACM}},
volume = {35},
number = {11},
pages = {77--82},
year = {1992},
url = {https://doi.org/10.1145/138844.138850},
doi = {10.1145/138844.138850},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Taft92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BulmanTMNK92,
author = {David Bulman and
S. Tucker Taft and
Bertrand Meyer and
Greg Nelson and
Mike Kilian},
editor = {John R. Pugh},
title = {{OOP} in Languages Providing Strong, Static Typing (Panel)},
booktitle = {Proceedings of the Seventh Annual Conference on Object-Oriented Programming
Systems, Languages, and Applications, {OOPSLA} 1992, Vancouver, British
Columbia, Canada, October 18-22, 1992},
pages = {87--91},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141936.290556},
doi = {10.1145/141936.290556},
timestamp = {Fri, 13 May 2022 10:38:22 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BulmanTMNK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Taft92,
author = {S. Tucker Taft},
editor = {Geoffrey O. Mendal and
Charles B. Engle Jr.},
title = {Ada 9X and Systems Programming},
booktitle = {Conference Proceedings on TRI-Ada 1992, Orlando, Florida USA, November
17-20, 1992},
pages = {37--42},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/143557.143574},
doi = {10.1145/143557.143574},
timestamp = {Fri, 06 May 2022 16:16:51 +0200},
biburl = {https://dblp.org/rec/conf/sigada/Taft92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Taft92a,
author = {S. Tucker Taft},
editor = {Geoffrey O. Mendal and
Charles B. Engle Jr.},
title = {Ada 9X and {OOP}},
booktitle = {Conference Proceedings on TRI-Ada 1992, Orlando, Florida USA, November
17-20, 1992},
pages = {91--96},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/143557.143596},
doi = {10.1145/143557.143596},
timestamp = {Fri, 02 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigada/Taft92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/BrosgolFGMRT91,
author = {Ben Brosgol and
Stephen Faris and
Marc H. Graham and
James W. Moore and
Jean{-}Pierre Rosen and
S. Tucker Taft},
editor = {Judy Bamberger},
title = {Ada and {SQL}},
booktitle = {Proceedings of the Conference on TRI-Ada 1991 - Today's Accomplishments;
Tomorrow's Expectations, TRI-Ada 1991, San Jose, California, USA,
October 21-25, 1991},
pages = {257--266},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/126551.126578},
doi = {10.1145/126551.126578},
timestamp = {Mon, 09 May 2022 14:25:34 +0200},
biburl = {https://dblp.org/rec/conf/sigada/BrosgolFGMRT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setada/Taft90,
author = {S. Tucker Taft},
editor = {Dewayne E. Perry},
title = {{SETA1} working group on building, debugging and testing real-time
and distributed systems},
booktitle = {Proceedings of the First International Symposium on Environments and
Tools for Ada, {SETA} 1990, Redondo Beach, California, USA, April
30 - May 2, 1990},
pages = {19--27},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/112629.112633},
doi = {10.1145/112629.112633},
timestamp = {Thu, 12 May 2022 16:45:18 +0200},
biburl = {https://dblp.org/rec/conf/setada/Taft90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Taft90,
author = {S. Tucker Taft},
editor = {Charles B. Engle Jr.},
title = {Ideas for kick-starting the Ada market of the 1990s},
booktitle = {Proceedings of the conference on {TRI-ADA} 1990, TRI-Ada 1990, Baltimore,
Maryland, USA, December 3-6, 1990},
pages = {430},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/255471.255575},
doi = {10.1145/255471.255575},
timestamp = {Wed, 11 May 2022 12:30:52 +0200},
biburl = {https://dblp.org/rec/conf/sigada/Taft90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/KownackiT87,
author = {Ron Kownacki and
S. Tucker Taft},
editor = {Benjamin M. Brosgol},
title = {Portable and efficient dynamic storage management in Ada},
booktitle = {Proceedings of the 1987 Annual {ACM} SIGAda International Conference
on Ada, SIGAda 1987, Boston, Massachusetts, USA, 1987},
pages = {190--198},
publisher = {{ACM}},
year = {1987},
url = {https://doi.org/10.1145/317500.317526},
doi = {10.1145/317500.317526},
timestamp = {Mon, 28 Mar 2022 11:40:57 +0200},
biburl = {https://dblp.org/rec/conf/sigada/KownackiT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/BoydKRTW87,
author = {Stowe Boyd and
Rudolph A. Krutar and
George Romanski and
S. Tucker Taft and
Tom Wilcox},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {{DIANA} (panel session): an intermediate representation language for
Ada},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {479--485},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339994},
timestamp = {Mon, 28 Mar 2022 11:43:10 +0200},
biburl = {https://dblp.org/rec/conf/wadas/BoydKRTW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/Taft82,
author = {S. Tucker Taft},
title = {An Object-Based Virtual Operating System For The Ada Programming Support
Environment},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {16},
number = {1},
pages = {14--25},
year = {1982},
url = {https://doi.org/10.1145/1041466.1041470},
doi = {10.1145/1041466.1041470},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/Taft82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adatec/Taft82,
author = {S. Tucker Taft},
editor = {Gerald A. Fisher},
title = {Diana as an internal representation in an Ada-in-Ada compiler},
booktitle = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
USA, October 6-8, 1982},
pages = {261--265},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/3304133.3304168},
doi = {10.1145/3304133.3304168},
timestamp = {Wed, 14 Jul 2021 15:49:19 +0200},
biburl = {https://dblp.org/rec/conf/adatec/Taft82.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:42 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:
