default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/toplas/toplas27.bht:"
download as .bib file
@article{DBLP:journals/toplas/AlurBEGRY05,
author = {Rajeev Alur and
Michael Benedikt and
Kousha Etessami and
Patrice Godefroid and
Thomas W. Reps and
Mihalis Yannakakis},
title = {Analysis of recursive state machines},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {4},
pages = {786--818},
year = {2005},
url = {https://doi.org/10.1145/1075382.1075387},
doi = {10.1145/1075382.1075387},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AlurBEGRY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BackH05,
author = {Godmar Back and
Wilson C. Hsieh},
title = {The KaffeOS Java runtime system},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {4},
pages = {583--630},
year = {2005},
url = {https://doi.org/10.1145/1075382.1075383},
doi = {10.1145/1075382.1075383},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BackH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BallMR05,
author = {Thomas Ball and
Todd D. Millstein and
Sriram K. Rajamani},
title = {Polymorphic predicate abstraction},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {2},
pages = {314--343},
year = {2005},
url = {https://doi.org/10.1145/1057387.1057391},
doi = {10.1145/1057387.1057391},
timestamp = {Tue, 09 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/BallMR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BarabashBGKLOOP05,
author = {Katherine Barabash and
Ori Ben{-}Yitzhak and
Irit Goft and
Elliot K. Kolodner and
Victor Leikehman and
Yoav Ossia and
Avi Owshanko and
Erez Petrank},
title = {A parallel, incremental, mostly concurrent garbage collector for servers},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {6},
pages = {1097--1146},
year = {2005},
url = {https://doi.org/10.1145/1108970.1108972},
doi = {10.1145/1108970.1108972},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/BarabashBGKLOOP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Boute05,
author = {Raymond T. Boute},
title = {Functional declarative language design and predicate calculus: a practical
approach},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {5},
pages = {988--1047},
year = {2005},
url = {https://doi.org/10.1145/1086642.1086647},
doi = {10.1145/1086642.1086647},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Boute05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BuchsbaumKRW05,
author = {Adam L. Buchsbaum and
Haim Kaplan and
Anne Rogers and
Jeffery R. Westbrook},
title = {\emph{Corrigendum: } a new, simpler linear-time dominators algorithm},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {3},
pages = {383--387},
year = {2005},
url = {https://doi.org/10.1145/1065887.1065888},
doi = {10.1145/1065887.1065888},
timestamp = {Mon, 08 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/BuchsbaumKRW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BuhrH05,
author = {Peter A. Buhr and
Ashif S. Harji},
title = {Implicit-signal monitors},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {6},
pages = {1270--1343},
year = {2005},
url = {https://doi.org/10.1145/1108970.1108975},
doi = {10.1145/1108970.1108975},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BuhrH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Chitil05,
author = {Olaf Chitil},
title = {Pretty printing with lazy dequeues},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {1},
pages = {163--184},
year = {2005},
url = {https://doi.org/10.1145/1053468.1053473},
doi = {10.1145/1053468.1053473},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Chitil05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DasR05,
author = {Dibyendu Das and
U. Ramakrishna},
title = {A practical and fast iterative algorithm for phi-function computation
using {DJ} graphs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {3},
pages = {426--440},
year = {2005},
url = {https://doi.org/10.1145/1065887.1065890},
doi = {10.1145/1065887.1065890},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/DasR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GavanelliLMM05,
author = {Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Michela Milano},
title = {Dealing with incomplete knowledge on CLP(\emph{FD}) variable domains},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {2},
pages = {236--263},
year = {2005},
url = {https://doi.org/10.1145/1057387.1057389},
doi = {10.1145/1057387.1057389},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/GavanelliLMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GilZ05,
author = {Joseph Gil and
Yoav Zibin},
title = {Efficient subtyping tests with PQ-encoding},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {5},
pages = {819--856},
year = {2005},
url = {https://doi.org/10.1145/1086642.1086643},
doi = {10.1145/1086642.1086643},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/GilZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GlenstrupJ05,
author = {Arne J. Glenstrup and
Neil D. Jones},
title = {Termination analysis and specialization-point insertion in offline
partial evaluation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {6},
pages = {1147--1215},
year = {2005},
url = {https://doi.org/10.1145/1108970.1108973},
doi = {10.1145/1108970.1108973},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/GlenstrupJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Hailperin05,
author = {Max Hailperin},
title = {Comparing conservative coalescing criteria},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {3},
pages = {571--582},
year = {2005},
url = {https://doi.org/10.1145/1065887.1065894},
doi = {10.1145/1065887.1065894},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Hailperin05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HallAMLL05,
author = {Mary W. Hall and
Saman P. Amarasinghe and
Brian R. Murphy and
Shih{-}Wei Liao and
Monica S. Lam},
title = {Interprocedural parallelization analysis in {SUIF}},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {4},
pages = {662--731},
year = {2005},
url = {https://doi.org/10.1145/1075382.1075385},
doi = {10.1145/1075382.1075385},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HallAMLL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HicksN05,
author = {Michael W. Hicks and
Scott Nettles},
title = {Dynamic software updating},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {6},
pages = {1049--1096},
year = {2005},
url = {https://doi.org/10.1145/1108970.1108971},
doi = {10.1145/1108970.1108971},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HicksN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HirschowitzL05,
author = {Tom Hirschowitz and
Xavier Leroy},
title = {Mixin modules in a call-by-value setting},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {5},
pages = {857--881},
year = {2005},
url = {https://doi.org/10.1145/1086642.1086644},
doi = {10.1145/1086642.1086644},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/HirschowitzL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HosoyaVP05,
author = {Haruo Hosoya and
Jerome Vouillon and
Benjamin C. Pierce},
title = {Regular expression types for {XML}},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {1},
pages = {46--90},
year = {2005},
url = {https://doi.org/10.1145/1053468.1053470},
doi = {10.1145/1053468.1053470},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HosoyaVP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/IgarashiK05,
author = {Atsushi Igarashi and
Naoki Kobayashi},
title = {Resource usage analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {2},
pages = {264--313},
year = {2005},
url = {https://doi.org/10.1145/1057387.1057390},
doi = {10.1145/1057387.1057390},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/IgarashiK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LiuSLR05,
author = {Yanhong A. Liu and
Scott D. Stoller and
Ning Li and
Tom Rothamel},
title = {Optimizing aggregate array computations in loops},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {1},
pages = {91--125},
year = {2005},
url = {https://doi.org/10.1145/1053468.1053471},
doi = {10.1145/1053468.1053471},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/LiuSLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MoreauDJ05,
author = {Luc Moreau and
Peter Dickman and
Richard E. Jones},
title = {Birrell's distributed reference listing revisited},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {6},
pages = {1344--1395},
year = {2005},
url = {https://doi.org/10.1145/1108970.1108976},
doi = {10.1145/1108970.1108976},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MoreauDJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MoreauQ05,
author = {Luc Moreau and
Christian Queinnec},
title = {Resource aware programming},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {3},
pages = {441--476},
year = {2005},
url = {https://doi.org/10.1145/1065887.1065891},
doi = {10.1145/1065887.1065891},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MoreauQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/NeculaCHMW05,
author = {George C. Necula and
Jeremy Condit and
Matthew Harren and
Scott McPeak and
Westley Weimer},
title = {CCured: type-safe retrofitting of legacy software},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {3},
pages = {477--526},
year = {2005},
url = {https://doi.org/10.1145/1065887.1065892},
doi = {10.1145/1065887.1065892},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/NeculaCHMW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/NguyenI05,
author = {Thi Viet Nga Nguyen and
Fran{\c{c}}ois Irigoin},
title = {Efficient and effective array bound checking},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {3},
pages = {527--570},
year = {2005},
url = {https://doi.org/10.1145/1065887.1065893},
doi = {10.1145/1065887.1065893},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/NguyenI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PalsbergZJ05,
author = {Jens Palsberg and
Tian Zhao and
Trevor Jim},
title = {Automatic discovery of covariant read-only fields},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {1},
pages = {126--162},
year = {2005},
url = {https://doi.org/10.1145/1053468.1053472},
doi = {10.1145/1053468.1053472},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/PalsbergZJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PottierSS05,
author = {Fran{\c{c}}ois Pottier and
Christian Skalka and
Scott F. Smith},
title = {A systematic approach to static access control},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {2},
pages = {344--382},
year = {2005},
url = {https://doi.org/10.1145/1057387.1057392},
doi = {10.1145/1057387.1057392},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/PottierSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RuginaR05,
author = {Radu Rugina and
Martin C. Rinard},
title = {Symbolic bounds analysis of pointers, array indices, and accessed
memory regions},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {2},
pages = {185--235},
year = {2005},
url = {https://doi.org/10.1145/1057387.1057388},
doi = {10.1145/1057387.1057388},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/RuginaR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SchulteS05,
author = {Christian Schulte and
Peter J. Stuckey},
title = {When do bounds and domain propagation lead to the same search space?},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {3},
pages = {388--425},
year = {2005},
url = {https://doi.org/10.1145/1065887.1065889},
doi = {10.1145/1065887.1065889},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/SchulteS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ShaoTSP05,
author = {Zhong Shao and
Valery Trifonov and
Bratin Saha and
Nikolaos Papaspyrou},
title = {A type system for certified binaries},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {1},
pages = {1--45},
year = {2005},
url = {https://doi.org/10.1145/1053468.1053469},
doi = {10.1145/1053468.1053469},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/ShaoTSP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/StuckeyS05,
author = {Peter J. Stuckey and
Martin Sulzmann},
title = {A theory of overloading},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {6},
pages = {1216--1269},
year = {2005},
url = {https://doi.org/10.1145/1108970.1108974},
doi = {10.1145/1108970.1108974},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/StuckeyS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SuganumaYKKN05,
author = {Toshio Suganuma and
Toshiaki Yasue and
Motohiro Kawahito and
Hideaki Komatsu and
Toshio Nakatani},
title = {Design and evaluation of dynamic optimizations for a Java just-in-time
compiler},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {4},
pages = {732--785},
year = {2005},
url = {https://doi.org/10.1145/1075382.1075386},
doi = {10.1145/1075382.1075386},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/SuganumaYKKN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SutterBB05,
author = {Bjorn De Sutter and
Bruno De Bus and
Koen De Bosschere},
title = {Link-time binary rewriting techniques for program compaction},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {5},
pages = {882--945},
year = {2005},
url = {https://doi.org/10.1145/1086642.1086645},
doi = {10.1145/1086642.1086645},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/SutterBB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/VeraALG05,
author = {Xavier Vera and
Jaume Abella and
Josep Llosa and
Antonio Gonz{\'{a}}lez},
title = {An accurate cost model for guiding data locality transformations},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {5},
pages = {946--987},
year = {2005},
url = {https://doi.org/10.1145/1086642.1086646},
doi = {10.1145/1086642.1086646},
timestamp = {Tue, 18 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/VeraALG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ZhangGZ05,
author = {Xiangyu Zhang and
Rajiv Gupta and
Youtao Zhang},
title = {Cost and precision tradeoffs of dynamic data slicing algorithms},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {4},
pages = {631--661},
year = {2005},
url = {https://doi.org/10.1145/1075382.1075384},
doi = {10.1145/1075382.1075384},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/ZhangGZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2025-01-11 13:03 CET from data curated 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:
