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/toplas17.bht:"
download as .bib file
@article{DBLP:journals/toplas/AbadiL95,
author = {Mart{\'{\i}}n Abadi and
Leslie Lamport},
title = {Conjoining Specifications},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {3},
pages = {507--534},
year = {1995},
url = {https://doi.org/10.1145/203095.201069},
doi = {10.1145/203095.201069},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AbadiL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AikenWW95,
author = {Alexander Aiken and
John H. Williams and
Edward L. Wimmers},
title = {Safe: {A} Semantic Technique for Transforming Programs in the Presence
of Errors},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {1},
pages = {63--84},
year = {1995},
url = {https://doi.org/10.1145/200994.201002},
doi = {10.1145/200994.201002},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AikenWW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CarleP95,
author = {Alan Carle and
Lori L. Pollock},
title = {Matching-Based Incremental Evaluators for Hierarchical Attribute Grammar
Dialects},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {2},
pages = {394--429},
year = {1995},
url = {https://doi.org/10.1145/201059.201071},
doi = {10.1145/201059.201071},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CarleP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Carlisle95,
author = {W. Homer Carlisle},
title = {Type Checking Concurrent {I/O}},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {3},
pages = {448--460},
year = {1995},
url = {https://doi.org/10.1145/203095.203097},
doi = {10.1145/203095.203097},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Carlisle95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Castagna95,
author = {Giuseppe Castagna},
title = {Covariance and Contravariance: Conflict without a Cause},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {3},
pages = {431--447},
year = {1995},
url = {https://doi.org/10.1145/203095.203096},
doi = {10.1145/203095.203096},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Castagna95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CejtinJK95,
author = {Henry Cejtin and
Suresh Jagannathan and
Richard Kelsey},
title = {Higher-Order Distributed Objects},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {5},
pages = {704--739},
year = {1995},
url = {https://doi.org/10.1145/213978.213986},
doi = {10.1145/213978.213986},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CejtinJK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ChambersL95,
author = {Craig Chambers and
Gary T. Leavens},
title = {Typechecking and Modules for Multimethods},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {6},
pages = {805--843},
year = {1995},
url = {https://doi.org/10.1145/218570.218571},
doi = {10.1145/218570.218571},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/ChambersL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Charron-BostDF95,
author = {Bernadette Charron{-}Bost and
Carole Delporte{-}Gallet and
Hugues Fauconnier},
title = {Local and Temporal Predicates In Distributed Systems},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {1},
pages = {157--179},
year = {1995},
url = {https://doi.org/10.1145/200994.201005},
doi = {10.1145/200994.201005},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Charron-BostDF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ChatterjeeGST95,
author = {Siddhartha Chatterjee and
John R. Gilbert and
Robert Schreiber and
Shang{-}Hua Teng},
title = {Optimal Evaluation of Array Expressions on Massively Parallel Machines},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {1},
pages = {123--156},
year = {1995},
url = {https://doi.org/10.1145/200994.201004},
doi = {10.1145/200994.201004},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/ChatterjeeGST95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ChinG95,
author = {Wie{-}Ngan Chin and
Eak{-}Khoon Goh},
title = {A Reexamination of "Optimization of Array Subscript Range Checks"},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {2},
pages = {217--227},
year = {1995},
url = {https://doi.org/10.1145/201059.201063},
doi = {10.1145/201059.201063},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/ChinG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ChoyS95,
author = {Manhoi Choy and
Ambuj K. Singh},
title = {Efficient Fault-Tolerant Algorithms for Distributed Resource Allocation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {3},
pages = {535--559},
year = {1995},
url = {https://doi.org/10.1145/203095.203101},
doi = {10.1145/203095.203101},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/ChoyS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ClickC95,
author = {Cliff Click and
Keith D. Cooper},
title = {Combining Analyses, Combining Optimizations},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {2},
pages = {181--196},
year = {1995},
url = {https://doi.org/10.1145/201059.201061},
doi = {10.1145/201059.201061},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/ClickC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CodishMBBH95,
author = {Michael Codish and
Anne Mulkers and
Maurice Bruynooghe and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
title = {Improving Abstract Interpretations by Combining Domains},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {1},
pages = {28--44},
year = {1995},
url = {https://doi.org/10.1145/200994.200998},
doi = {10.1145/200994.200998},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CodishMBBH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CytronF95,
author = {Ron Cytron and
Jeanne Ferrante},
title = {Efficientlty Computing Phi-Nodes On-The-Fly},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {3},
pages = {487--506},
year = {1995},
url = {https://doi.org/10.1145/203095.203099},
doi = {10.1145/203095.203099},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CytronF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Debray95,
author = {Saumya K. Debray},
title = {On the Complexity of Dataflow Analysis of Logic Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {2},
pages = {331--365},
year = {1995},
url = {https://doi.org/10.1145/201059.201068},
doi = {10.1145/201059.201068},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Debray95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/FrickerTJ95,
author = {Christine Fricker and
Olivier Temam and
William Jalby},
title = {Influence of Cross-Interferences on Blocked Loops: {A} Case Study
with Matric-Vector Multiply},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {4},
pages = {561--575},
year = {1995},
url = {https://doi.org/10.1145/210184.210185},
doi = {10.1145/210184.210185},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/FrickerTJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GerlekSW95,
author = {Michael P. Gerlek and
Eric Stoltz and
Michael Wolfe},
title = {Beyond Induction Variables: Detecting and Classifying Sequences Using
a Demand-Driven {SSA}},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {1},
pages = {85--122},
year = {1995},
url = {https://doi.org/10.1145/200994.201003},
doi = {10.1145/200994.201003},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/GerlekSW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GirkarP95,
author = {Milind Girkar and
Constantine D. Polychronopoulos},
title = {Extracting Task-Level Parallelism},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {4},
pages = {600--634},
year = {1995},
url = {https://doi.org/10.1145/210184.210189},
doi = {10.1145/210184.210189},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/GirkarP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HentenryckR95,
author = {Pascal Van Hentenryck and
Viswanath Ramachandran},
title = {Backtracking without Trailing in CLP(R-lin)},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {4},
pages = {635--671},
year = {1995},
timestamp = {Thu, 30 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/HentenryckR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/KurlanderPF95,
author = {Steven M. Kurlander and
Todd A. Proebsting and
Charles N. Fischer},
title = {Efficient Instruction Scheduling for Delayed-Load Architectures},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {5},
pages = {740--776},
year = {1995},
url = {https://doi.org/10.1145/213978.213987},
doi = {10.1145/213978.213987},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/KurlanderPF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Larcheveque95,
author = {Jean{-}Marie Larchev{\^{e}}que},
title = {Optimal Incremental Parsing},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {1},
pages = {1--15},
year = {1995},
url = {https://doi.org/10.1145/200994.200996},
doi = {10.1145/200994.200996},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Larcheveque95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MasticolaMR95,
author = {Stephen P. Masticola and
Thomas J. Marlowe and
Barbara G. Ryder},
title = {Lattice Frameworks for Multiscore and Bidirectional Data Flow Problems},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {5},
pages = {777--803},
year = {1995},
url = {https://doi.org/10.1145/213978.213989},
doi = {10.1145/213978.213989},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MasticolaMR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/McKenzieYV95,
author = {Bruce J. McKenzie and
Corey Yeatman and
Lorraine De Vere},
title = {Error Repair in Shift-Reduce Parsers},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {4},
pages = {672--689},
year = {1995},
url = {https://doi.org/10.1145/210184.210193},
doi = {10.1145/210184.210193},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/McKenzieYV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Ohori95,
author = {Atsushi Ohori},
title = {A Polymorphic Record Calculus and Its Compilation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {6},
pages = {844--895},
year = {1995},
url = {https://doi.org/10.1145/218570.218572},
doi = {10.1145/218570.218572},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Ohori95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Palsberg95,
author = {Jens Palsberg},
title = {Closure Analysis in Constraint Form},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {1},
pages = {47--62},
year = {1995},
url = {https://doi.org/10.1145/200994.201001},
doi = {10.1145/200994.201001},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Palsberg95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PalsbergO95,
author = {Jens Palsberg and
Patrick O'Keefe},
title = {A Type System Equivalent to Flow Analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {4},
pages = {576--599},
year = {1995},
url = {https://doi.org/10.1145/210184.210187},
doi = {10.1145/210184.210187},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/PalsbergO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PalsbergXL95,
author = {Jens Palsberg and
Cun Xiao and
Karl J. Lieberherr},
title = {Efficient Implementation of Adaptive Software},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {2},
pages = {264--292},
year = {1995},
url = {https://doi.org/10.1145/201059.201066},
doi = {10.1145/201059.201066},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/PalsbergXL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Proebsting95,
author = {Todd A. Proebsting},
title = {{BURS} Automata Generation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {3},
pages = {461--486},
year = {1995},
url = {https://doi.org/10.1145/203095.203098},
doi = {10.1145/203095.203098},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Proebsting95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RogersCRH95,
author = {Anne Rogers and
Martin C. Carlisle and
John H. Reppy and
Laurie J. Hendren},
title = {Supporting Dynamic Data Structures on Distributed-Memory Machines},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {2},
pages = {233--263},
year = {1995},
url = {https://doi.org/10.1145/201059.201065},
doi = {10.1145/201059.201065},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/RogersCRH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SekarR95,
author = {R. Sekar and
I. V. Ramakrishnan},
title = {Fast Strictness Analysis Based on Demand Propagation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {6},
pages = {896--937},
year = {1995},
url = {https://doi.org/10.1145/218570.218573},
doi = {10.1145/218570.218573},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/SekarR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Skudlarek95,
author = {Joseph P. Skudlarek},
title = {Notes on "A Methodology for Implementing Highly Concurrent Data Objects"},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {1},
pages = {45--46},
year = {1995},
url = {https://doi.org/10.1145/200994.200999},
doi = {10.1145/200994.200999},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Skudlarek95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Sloane95,
author = {Anthony M. Sloane},
title = {An Evaluation of an Automatically Generated Compiler},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {5},
pages = {691--703},
year = {1995},
url = {https://doi.org/10.1145/213978.213980},
doi = {10.1145/213978.213980},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/Sloane95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/TsayB95,
author = {Yih{-}Kuen Tsay and
Rajive L. Bagrodia},
title = {Deducing Fairness Properties in {UNITY} Logic - {A} New Completeness
Result},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {1},
pages = {16--27},
year = {1995},
url = {https://doi.org/10.1145/200994.200997},
doi = {10.1145/200994.200997},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/TsayB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Venkatesh95,
author = {G. A. Venkatesh},
title = {Experimental Results from Dynamic Slicing of {C} Program},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {2},
pages = {197--216},
year = {1995},
url = {https://doi.org/10.1145/201059.201062},
doi = {10.1145/201059.201062},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Venkatesh95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/WalickiM95,
author = {Michal Walicki and
Sigurd Meldal},
title = {A Complete Calculus for the Multialgebraic and Functional Semantics
of Nondeterminism},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {2},
pages = {366--393},
year = {1995},
url = {https://doi.org/10.1145/201059.201070},
doi = {10.1145/201059.201070},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/WalickiM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Webber95,
author = {Adam Brooks Webber},
title = {Optimization of Functional Programs by Grammar Thinning},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {2},
pages = {293--330},
year = {1995},
url = {https://doi.org/10.1145/201059.201067},
doi = {10.1145/201059.201067},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Webber95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/WuW95,
author = {Pei{-}Chi Wu and
Feng{-}Jian Wang},
title = {A Worst Case of Circularity Test Algorithms for Attribute Grammars},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {2},
pages = {228--232},
year = {1995},
url = {https://doi.org/10.1145/201059.201064},
doi = {10.1145/201059.201064},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/WuW95.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-05-31 07:44 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:
