Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/toplas/toplas29.bht:"
download as .bib file
@article{DBLP:journals/toplas/AbadiP07,
author = {Mart{\'{\i}}n Abadi and
Jens Palsberg},
title = {Editorial},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {3},
pages = {14},
year = {2007},
url = {https://doi.org/10.1145/1232420.1232421},
doi = {10.1145/1232420.1232421},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AbadiP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AnconaADDGZ07,
author = {Davide Ancona and
Christopher Anderson and
Ferruccio Damiani and
Sophia Drossopoulou and
Paola Giannini and
Elena Zucca},
title = {A provenly correct translation of Fickle into Java},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {2},
pages = {13},
year = {2007},
url = {https://doi.org/10.1145/1216374.1216381},
doi = {10.1145/1216374.1216381},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AnconaADDGZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Ben-AmramL07,
author = {Amir M. Ben{-}Amram and
Chin Soon Lee},
title = {Program termination analysis in polynomial time},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {1},
pages = {5:1--5:37},
year = {2007},
url = {https://doi.org/10.1145/1180475.1180480},
doi = {10.1145/1180475.1180480},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Ben-AmramL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BieringBT07,
author = {Bodil Biering and
Lars Birkedal and
Noah Torp{-}Smith},
title = {BI-hyperdoctrines, higher-order separation logic, and abstraction},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {5},
pages = {24},
year = {2007},
url = {https://doi.org/10.1145/1275497.1275499},
doi = {10.1145/1275497.1275499},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/BieringBT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BlackburnHMMY07,
author = {Stephen M. Blackburn and
Matthew Hertz and
Kathryn S. McKinley and
J. Eliot B. Moss and
Ting Yang},
title = {Profile-based pretenuring},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {1},
pages = {2},
year = {2007},
url = {https://doi.org/10.1145/1180475.1180477},
doi = {10.1145/1180475.1180477},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BlackburnHMMY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BruynoogheCGGV07,
author = {Maurice Bruynooghe and
Michael Codish and
John P. Gallagher and
Samir Genaim and
Wim Vanhoof},
title = {Termination analysis of logic programs through combination of type-based
norms},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {2},
pages = {10},
year = {2007},
url = {https://doi.org/10.1145/1216374.1216378},
doi = {10.1145/1216374.1216378},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BruynoogheCGGV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CaseyEG07,
author = {Kevin Casey and
M. Anton Ertl and
David Gregg},
title = {Optimizing indirect branch prediction accuracy in virtual machine
interpreters},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {6},
pages = {37},
year = {2007},
url = {https://doi.org/10.1145/1286821.1286828},
doi = {10.1145/1286821.1286828},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CaseyEG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ChanderEILN07,
author = {Ajay Chander and
David Espinosa and
Nayeem Islam and
Peter Lee and
George C. Necula},
title = {Enforcing resource bounds via static verification of dynamic checks},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {5},
pages = {28},
year = {2007},
url = {https://doi.org/10.1145/1275497.1275503},
doi = {10.1145/1275497.1275503},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/ChanderEILN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CollbergTT07,
author = {Christian S. Collberg and
Clark D. Thomborson and
Gregg M. Townsend},
title = {Dynamic graph-based software fingerprinting},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {6},
pages = {35},
year = {2007},
url = {https://doi.org/10.1145/1286821.1286826},
doi = {10.1145/1286821.1286826},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CollbergTT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DrinicKV07,
author = {Milenko Drinic and
Darko Kirovski and
Hoi Vo},
title = {PPMexe: Program compression},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {1},
pages = {3},
year = {2007},
url = {https://doi.org/10.1145/1180475.1180478},
doi = {10.1145/1180475.1180478},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/DrinicKV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Eugster07,
author = {Patrick Eugster},
title = {Type-based publish/subscribe: Concepts and experiences},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {1},
pages = {6},
year = {2007},
url = {https://doi.org/10.1145/1180475.1180481},
doi = {10.1145/1180475.1180481},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Eugster07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/FosterGMPS07,
author = {J. Nathan Foster and
Michael B. Greenwald and
Jonathan T. Moore and
Benjamin C. Pierce and
Alan Schmitt},
title = {Combinators for bidirectional tree transformations: {A} linguistic
approach to the view-update problem},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {3},
pages = {17},
year = {2007},
url = {https://doi.org/10.1145/1232420.1232424},
doi = {10.1145/1232420.1232424},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/FosterGMPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/FournetGM07,
author = {C{\'{e}}dric Fournet and
Andrew D. Gordon and
Sergio Maffeis},
title = {A type discipline for authorization policies},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {5},
pages = {25},
year = {2007},
url = {https://doi.org/10.1145/1275497.1275500},
doi = {10.1145/1275497.1275500},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/FournetGM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GrothoffPV07,
author = {Christian Grothoff and
Jens Palsberg and
Jan Vitek},
title = {Encapsulating objects with confined types},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {6},
pages = {32},
year = {2007},
url = {https://doi.org/10.1145/1286821.1286823},
doi = {10.1145/1286821.1286823},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/GrothoffPV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HenzingerK07,
author = {Thomas A. Henzinger and
Christoph M. Kirsch},
title = {The embedded machine: Predictable, portable real-time code},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {6},
pages = {33},
year = {2007},
url = {https://doi.org/10.1145/1286821.1286824},
doi = {10.1145/1286821.1286824},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HenzingerK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HiguchiO07,
author = {Tomoyuki Higuchi and
Atsushi Ohori},
title = {A static type system for {JVM} access control},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {1},
pages = {4},
year = {2007},
url = {https://doi.org/10.1145/1180475.1180479},
doi = {10.1145/1180475.1180479},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HiguchiO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HirzelDDH07,
author = {Martin Hirzel and
Daniel von Dincklage and
Amer Diwan and
Michael Hind},
title = {Fast online pointer analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {2},
pages = {11},
year = {2007},
url = {https://doi.org/10.1145/1216374.1216379},
doi = {10.1145/1216374.1216379},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HirzelDDH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HondaY07,
author = {Kohei Honda and
Nobuko Yoshida},
title = {A uniform type structure for secure information flow},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {6},
pages = {31},
year = {2007},
url = {https://doi.org/10.1145/1286821.1286822},
doi = {10.1145/1286821.1286822},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HondaY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/KarkareK07,
author = {Bageshri Karkare and
Uday P. Khedker},
title = {An improved bound for call strings based interprocedural analysis
of bit vector frameworks},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {6},
pages = {38},
year = {2007},
url = {https://doi.org/10.1145/1286821.1286829},
doi = {10.1145/1286821.1286829},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/KarkareK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LeeDM07,
author = {Han Bok Lee and
Amer Diwan and
J. Eliot B. Moss},
title = {Design, implementation, and evaluation of a compilation server},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {4},
pages = {18},
year = {2007},
url = {https://doi.org/10.1145/1255450.1255451},
doi = {10.1145/1255450.1255451},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/LeeDM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MaratheMMMSY07,
author = {Jaydeep Marathe and
Frank Mueller and
Tushar Mohan and
Sally A. McKee and
Bronis R. de Supinski and
Andy Yoo},
title = {{METRIC:} Memory tracing via dynamic binary rewriting to identify
cache inefficiencies},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {2},
pages = {12},
year = {2007},
url = {https://doi.org/10.1145/1216374.1216380},
doi = {10.1145/1216374.1216380},
timestamp = {Mon, 22 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MaratheMMMSY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/McKinleyP07,
author = {Kathryn S. McKinley and
Keshav Pingali},
title = {Editorial: {A} changing of the guard},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {6},
pages = {30},
year = {2007},
url = {https://doi.org/10.1145/1286821.1293892},
doi = {10.1145/1286821.1293892},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/McKinleyP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MollerOS07,
author = {Anders M{\o}ller and
Mads {\O}sterby Olesen and
Michael I. Schwartzbach},
title = {Static validation of {XSL} transformations},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {4},
pages = {21},
year = {2007},
url = {https://doi.org/10.1145/1255450.1255454},
doi = {10.1145/1255450.1255454},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MollerOS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Muller-OlmS07,
author = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl},
title = {Analysis of modular arithmetic},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {5},
pages = {29},
year = {2007},
url = {https://doi.org/10.1145/1275497.1275504},
doi = {10.1145/1275497.1275504},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Muller-OlmS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Ohori07,
author = {Atsushi Ohori},
title = {A proof theory for machine code},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {6},
pages = {36},
year = {2007},
url = {https://doi.org/10.1145/1286821.1286827},
doi = {10.1145/1286821.1286827},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Ohori07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PazBKPR07,
author = {Harel Paz and
David F. Bacon and
Elliot K. Kolodner and
Erez Petrank and
V. T. Rajan},
title = {An efficient on-the-fly cycle collection},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {4},
pages = {20},
year = {2007},
url = {https://doi.org/10.1145/1255450.1255453},
doi = {10.1145/1255450.1255453},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/PazBKPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PodelskiR07,
author = {Andreas Podelski and
Andrey Rybalchenko},
title = {Transition predicate abstraction and fair termination},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {3},
pages = {15},
year = {2007},
url = {https://doi.org/10.1145/1232420.1232422},
doi = {10.1145/1232420.1232422},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/PodelskiR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RanganathABHD07,
author = {Venkatesh Prasad Ranganath and
Torben Amtoft and
Anindya Banerjee and
John Hatcliff and
Matthew B. Dwyer},
title = {A new foundation for control dependence and slicing for modern program
structures},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {5},
pages = {27},
year = {2007},
url = {https://doi.org/10.1145/1275497.1275502},
doi = {10.1145/1275497.1275502},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/RanganathABHD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RivalM07,
author = {Xavier Rival and
Laurent Mauborgne},
title = {The trace partitioning abstract domain},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {5},
pages = {26},
year = {2007},
url = {https://doi.org/10.1145/1275497.1275501},
doi = {10.1145/1275497.1275501},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/RivalM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Sagiv07,
author = {Mooly Sagiv},
title = {Introduction to special ESOP'05 issue},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {5},
pages = {23},
year = {2007},
url = {https://doi.org/10.1145/1275497.1275498},
doi = {10.1145/1275497.1275498},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Sagiv07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SeoYYH07,
author = {Sunae Seo and
Hongseok Yang and
Kwangkeun Yi and
Taisook Han},
title = {Goal-directed weakening of abstract interpretation results},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {6},
pages = {39},
year = {2007},
url = {https://doi.org/10.1145/1286821.1286830},
doi = {10.1145/1286821.1286830},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/SeoYYH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SimonetP07,
author = {Vincent Simonet and
Fran{\c{c}}ois Pottier},
title = {A constraint-based approach to guarded algebraic data types},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {1},
pages = {1},
year = {2007},
url = {https://doi.org/10.1145/1180475.1180476},
doi = {10.1145/1180475.1180476},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/SimonetP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/StoyleHBSN07,
author = {Gareth Paul Stoyle and
Michael W. Hicks and
Gavin M. Bierman and
Peter Sewell and
Iulian Neamtiu},
title = {\emph{Mutatis Mutandis}: Safe and predictable dynamic software updating},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {4},
pages = {22},
year = {2007},
url = {https://doi.org/10.1145/1255450.1255455},
doi = {10.1145/1255450.1255455},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/StoyleHBSN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SutterPB07,
author = {Bjorn De Sutter and
Ludo Van Put and
Koen De Bosschere},
title = {A practical interprocedural dominance algorithm},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {4},
pages = {19},
year = {2007},
url = {https://doi.org/10.1145/1255450.1255452},
doi = {10.1145/1255450.1255452},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/SutterPB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Tardieu07,
author = {Olivier Tardieu},
title = {A deterministic logical semantics for pure Esterel},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {2},
pages = {8},
year = {2007},
url = {https://doi.org/10.1145/1216374.1216376},
doi = {10.1145/1216374.1216376},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Tardieu07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ThiesVA07,
author = {William Thies and
Fr{\'{e}}d{\'{e}}ric Vivien and
Saman P. Amarasinghe},
title = {A step towards unifying schedule and storage optimization},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {6},
pages = {34},
year = {2007},
url = {https://doi.org/10.1145/1286821.1286825},
doi = {10.1145/1286821.1286825},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/ThiesVA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/WardZ07,
author = {Martin P. Ward and
Hussein Zedan},
title = {Slicing as a program transformation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {2},
pages = {7},
year = {2007},
url = {https://doi.org/10.1145/1216374.1216375},
doi = {10.1145/1216374.1216375},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/WardZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/XieA07,
author = {Yichen Xie and
Alex Aiken},
title = {Saturn: {A} scalable framework for error detection using Boolean satisfiability},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {3},
pages = {16},
year = {2007},
url = {https://doi.org/10.1145/1232420.1232423},
doi = {10.1145/1232420.1232423},
timestamp = {Tue, 27 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/XieA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ZhuangP07,
author = {Xiaotong Zhuang and
Santosh Pande},
title = {Allocating architected registers through differential encoding},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {2},
pages = {9},
year = {2007},
url = {https://doi.org/10.1145/1216374.1216377},
doi = {10.1145/1216374.1216377},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/ZhuangP07.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.
retrieved on 2024-06-04 04:40 CEST 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:
