Search dblp for Publications

export results for "toc:db/conf/adatec/adatec1982.bht:"

 download as .bib file

@inproceedings{DBLP:conf/adatec/002282,
  author       = {Wei Li},
  editor       = {Gerald A. Fisher},
  title        = {An operational semantics of multitasking and exception handling in
                  Ada},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {138--151},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304153},
  doi          = {10.1145/3304133.3304153},
  timestamp    = {Wed, 14 Jul 2021 15:49:19 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/002282.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/AppelbeD82,
  author       = {Bill Appelbe and
                  Gary Dismukes},
  editor       = {Gerald A. Fisher},
  title        = {An operational definition of intermediate code for implementing a
                  portable Ada compiler},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {266--274},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304169},
  doi          = {10.1145/3304133.3304169},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/AppelbeD82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/Belmont82,
  author       = {Peter A. Belmont},
  editor       = {Gerald A. Fisher},
  title        = {On the access-before-elaboration problem in Ada},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {112--119},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304149},
  doi          = {10.1145/3304133.3304149},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/Belmont82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/BeverDDKLPW82,
  author       = {Martin Bever and
                  Manfred Dausmann and
                  Sophia Drossopoulou and
                  Walter Kirchg{\"{a}}ssner and
                  Peter C. Lockemann and
                  Guido Persch and
                  Georg Winterstein},
  editor       = {Gerald A. Fisher},
  title        = {The integration of existing database systems in an Ada environment},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {162--171},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304156},
  doi          = {10.1145/3304133.3304156},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/BeverDDKLPW82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/Bruno82,
  author       = {Giorgio Bruno},
  editor       = {Gerald A. Fisher},
  title        = {An Ada package for discrete event simulation},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {172--180},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304157},
  doi          = {10.1145/3304133.3304157},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/Bruno82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/Clemmensen82,
  author       = {Geert B. Clemmensen},
  editor       = {Gerald A. Fisher},
  title        = {A formal model of distributed Ada tasking},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {224--237},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304164},
  doi          = {10.1145/3304133.3304164},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/Clemmensen82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/DuncanH82,
  author       = {Arthur G. Duncan and
                  John S. Hutchison},
  editor       = {Gerald A. Fisher},
  title        = {Using Ada for industrial embedded microprocessor applications, {II}},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {152--161},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304155},
  doi          = {10.1145/3304133.3304155},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/DuncanH82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/Falis82,
  author       = {Edward Falis},
  editor       = {Gerald A. Fisher},
  title        = {Design and implementation in Ada of a runtime task supervisor},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {1--7},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304135},
  doi          = {10.1145/3304133.3304135},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/Falis82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/FantechiG82,
  author       = {Alessandro Fantechi and
                  F. Gallo},
  editor       = {Gerald A. Fisher},
  title        = {Portable Ada programming system: a proposed run-time architecture},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {48--56},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304140},
  doi          = {10.1145/3304133.3304140},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/FantechiG82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/FrankelA82,
  author       = {Gary Frankel and
                  Roger Arnold},
  editor       = {Gerald A. Fisher},
  title        = {Linkage of Ada components: theme {\&} variations},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {201--211},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304161},
  doi          = {10.1145/3304133.3304161},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/FrankelA82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/GermanHL82,
  author       = {Steven M. German and
                  David P. Helmbold and
                  David C. Luckham},
  editor       = {Gerald A. Fisher},
  title        = {Monitoring for deadlocks in Ada tasking},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {10--25},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304136},
  doi          = {10.1145/3304133.3304136},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/GermanHL82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/Hilfinger82,
  author       = {Paul N. Hilfinger},
  editor       = {Gerald A. Fisher},
  title        = {Implementation strategies for Ada tasking idioms},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {26--30},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304137},
  doi          = {10.1145/3304133.3304137},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/Hilfinger82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/JonesA82,
  author       = {Anita Jones and
                  Anders Ard{\"{o}}},
  editor       = {Gerald A. Fisher},
  title        = {Comparative efficiency of different implementations of the Ada rendezvous},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {212--223},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304163},
  doi          = {10.1145/3304133.3304163},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/JonesA82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/KiniMS82,
  author       = {Vittal Kini and
                  David F. Martin and
                  Allen Stoughton},
  editor       = {Gerald A. Fisher},
  title        = {Testing the {INRIA} Ada formal definition: the {USC-ISI} formal semantics
                  project},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {120--128},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304151},
  doi          = {10.1145/3304133.3304151},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/KiniMS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/Kranc82,
  author       = {Morris E. Kranc},
  editor       = {Gerald A. Fisher},
  title        = {A command language for the Ada environment},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {181--186},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304159},
  doi          = {10.1145/3304133.3304159},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/Kranc82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/Leblang82,
  author       = {David B. Leblang},
  editor       = {Gerald A. Fisher},
  title        = {Abstract syntax based programming environments},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {187--200},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304160},
  doi          = {10.1145/3304133.3304160},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/Leblang82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/PnueliR82,
  author       = {Amir Pnueli and
                  Willem P. de Roever},
  editor       = {Gerald A. Fisher},
  title        = {Rendezvous with {ADA:} a proof theoretical view},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {129--137},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304152},
  doi          = {10.1145/3304133.3304152},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/PnueliR82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/Privitera82,
  author       = {J. P. Privitera},
  editor       = {Gerald A. Fisher},
  title        = {Ada design language for the structured design methodology},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {76--90},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304144},
  doi          = {10.1145/3304133.3304144},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/Privitera82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/RoubineBTSMA82,
  author       = {Olivier Roubine and
                  Cii{-}Honeywell Bull and
                  Joachim Teller and
                  Olivier Maurel},
  editor       = {Gerald A. Fisher},
  title        = {Lolita: a low level intermediate language for Ada},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {251--260},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304167},
  doi          = {10.1145/3304133.3304167},
  timestamp    = {Mon, 30 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adatec/RoubineBTSMA82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/SchonbergF82,
  author       = {Edmond Schonberg and
                  Gerald A. Fisher},
  editor       = {Gerald A. Fisher},
  title        = {An efficient method for handling operator overloading in Ada},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {107--111},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304148},
  doi          = {10.1145/3304133.3304148},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/SchonbergF82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/ShermanHR82,
  author       = {Mark Sherman and
                  Andy Hisgen and
                  Jonathan Rosenberg},
  editor       = {Gerald A. Fisher},
  title        = {A methodology for programming abstract data types in Ada},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {66--75},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304143},
  doi          = {10.1145/3304133.3304143},
  timestamp    = {Thu, 28 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/ShermanHR82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/Simpson82,
  author       = {Richard T. Simpson},
  editor       = {Gerald A. Fisher},
  title        = {The als Ada compiler front end architecture},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {98--106},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304147},
  doi          = {10.1145/3304133.3304147},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/Simpson82.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 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/Taft82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/Thall82,
  author       = {Richard M. Thall},
  editor       = {Gerald A. Fisher},
  title        = {The kapse for the Ada language system},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {31--47},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304139},
  doi          = {10.1145/3304133.3304139},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/Thall82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/Tichy82,
  author       = {Walter F. Tichy},
  editor       = {Gerald A. Fisher},
  title        = {Adabase: a data base for Ada programs},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {57--65},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304141},
  doi          = {10.1145/3304133.3304141},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/Tichy82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/Whitehill82,
  author       = {Stephen B. Whitehill},
  editor       = {Gerald A. Fisher},
  title        = {An Ada virtual operating system},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {238--250},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304165},
  doi          = {10.1145/3304133.3304165},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/Whitehill82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adatec/Yemini82,
  author       = {Shaula Yemini},
  editor       = {Gerald A. Fisher},
  title        = {On the suitability of Ada multitasking for expressing parallel algorithms},
  booktitle    = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  pages        = {91--97},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133.3304145},
  doi          = {10.1145/3304133.3304145},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/Yemini82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/adatec/1982,
  editor       = {Gerald A. Fisher},
  title        = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
                  USA, October 6-8, 1982},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/3304133},
  doi          = {10.1145/3304133},
  isbn         = {0-89791-087-7},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adatec/1982.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.