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/toplas14.bht:"
download as .bib file
@article{DBLP:journals/toplas/Boute92,
author = {Raymond T. Boute},
title = {The Euclidian Definition of the Functions div and mod},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {14},
number = {2},
pages = {127--144},
year = {1992},
url = {https://doi.org/10.1145/128861.128862},
doi = {10.1145/128861.128862},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Boute92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Gomard92,
author = {Carsten K. Gomard},
title = {A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness
and Pragmatics},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {14},
number = {2},
pages = {147--172},
year = {1992},
url = {https://doi.org/10.1145/128861.128864},
doi = {10.1145/128861.128864},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Gomard92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Gudeman92,
author = {David A. Gudeman},
title = {Denotational Semantics of a Goal-Directed Language},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {14},
number = {1},
pages = {107--125},
year = {1992},
url = {https://doi.org/10.1145/111186.104659},
doi = {10.1145/111186.104659},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Gudeman92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Hansen92,
author = {Wilfred J. Hansen},
title = {Subsequence References: First-Class Values for Substrings},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {14},
number = {4},
pages = {471--489},
year = {1992},
url = {https://doi.org/10.1145/133233.133234},
doi = {10.1145/133233.133234},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Hansen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HeeringKR92,
author = {Jan Heering and
Paul Klint and
J. Rekers},
title = {Incremental Generation of Lexical Scanners},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {14},
number = {4},
pages = {490--520},
year = {1992},
url = {https://doi.org/10.1145/133233.133240},
doi = {10.1145/133233.133240},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HeeringKR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HickeyCHP92,
author = {Timothy J. Hickey and
Jacques Cohen and
Hitofumi Hotta and
Thierry PetitJean},
title = {Computer-Assisted Microanalysis of Parallel Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {14},
number = {1},
pages = {54--106},
year = {1992},
url = {https://doi.org/10.1145/111186.126699},
doi = {10.1145/111186.126699},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HickeyCHP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/JaffarMSY92,
author = {Joxan Jaffar and
Spiro Michaylov and
Peter J. Stuckey and
Roland H. C. Yap},
title = {The {CLP(R)} Language and System},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {14},
number = {3},
pages = {339--395},
year = {1992},
timestamp = {Wed, 26 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/JaffarMSY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/KaiserH92,
author = {Gail E. Kaiser and
Brent Hailpern},
title = {An Object-Based Programming Model for Shared Data},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {14},
number = {2},
pages = {201--264},
year = {1992},
url = {https://doi.org/10.1145/128861.128866},
doi = {10.1145/128861.128866},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/KaiserH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/KatzenelsonPS92,
author = {Jacob Katzenelson and
Shlomit S. Pinter and
Eugen Schenfeld},
title = {Type Matching, Type-Graphs, and the Schanuel Conjecture},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {14},
number = {4},
pages = {574--588},
year = {1992},
url = {https://doi.org/10.1145/133233.133247},
doi = {10.1145/133233.133247},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/KatzenelsonPS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/KoopmanLS92,
author = {Philip J. Koopman Jr. and
Peter Lee and
Daniel P. Siewiorek},
title = {Cache Behavior of Combinator Graph Reduction},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {14},
number = {2},
pages = {265--297},
year = {1992},
url = {https://doi.org/10.1145/128861.128867},
doi = {10.1145/128861.128867},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/KoopmanLS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MorzentiMG92,
author = {Angelo Morzenti and
Dino Mandrioli and
Carlo Ghezzi},
title = {A Model Parametric Real-Time Logic},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {14},
number = {4},
pages = {521--573},
year = {1992},
url = {https://doi.org/10.1145/133233.129397},
doi = {10.1145/133233.129397},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MorzentiMG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Muller92,
author = {Robert Muller},
title = {M-Lisp: {A} Representation-Independent Dialect of Lisp with Reduction
Semantics},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {14},
number = {4},
pages = {589--615},
year = {1992},
url = {https://doi.org/10.1145/133233.133254},
doi = {10.1145/133233.133254},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Muller92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PollockS92,
author = {Lori L. Pollock and
Mary Lou Soffa},
title = {Incremental Global Reoptimization of Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {14},
number = {2},
pages = {173--200},
year = {1992},
url = {https://doi.org/10.1145/128861.128865},
doi = {10.1145/128861.128865},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/PollockS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ShankarL92,
author = {A. Udaya Shankar and
Simon S. Lam},
title = {A Stepwise Refinement Heuristic for Protocol Construction},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {14},
number = {3},
pages = {417--461},
year = {1992},
url = {https://doi.org/10.1145/129393.129394},
doi = {10.1145/129393.129394},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/ShankarL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Solworth92,
author = {Jon A. Solworth},
title = {Epochs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {14},
number = {1},
pages = {28--53},
year = {1992},
url = {https://doi.org/10.1145/111186.116785},
doi = {10.1145/111186.116785},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Solworth92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/UngarJ92,
author = {David M. Ungar and
Frank Jackson},
title = {An Adaptive Tenuring Policy for Generation Scavengers},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {14},
number = {1},
pages = {1--27},
year = {1992},
url = {https://doi.org/10.1145/111186.116734},
doi = {10.1145/111186.116734},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/UngarJ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Wall92,
author = {David W. Wall},
title = {Experience with a Software-Defined Machine Architecture},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {14},
number = {3},
pages = {299--338},
year = {1992},
url = {https://doi.org/10.1145/129393.129395},
doi = {10.1145/129393.129395},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Wall92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/WidomGS92,
author = {Jennifer Widom and
David Gries and
Fred B. Schneider},
title = {Trace-Based Network Proof Systems: Expressiveness and Completeness},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {14},
number = {3},
pages = {396--416},
year = {1992},
url = {https://doi.org/10.1145/129393.129396},
doi = {10.1145/129393.129396},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/WidomGS92.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-04-18 23:22 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:
