Search dblp for Publications

export results for "toc:db/journals/toplas/toplas25.bht:"

 download as .bib file

@article{DBLP:journals/toplas/AmadioBL03,
  author       = {Roberto M. Amadio and
                  G{\'{e}}rard Boudol and
                  C{\'{e}}dric Lhoussaine},
  title        = {The receptive distributed pi-calculus},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {25},
  number       = {5},
  pages        = {549--577},
  year         = {2003},
  url          = {https://doi.org/10.1145/937563.937564},
  doi          = {10.1145/937563.937564},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/AmadioBL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/AnconaLZ03,
  author       = {Davide Ancona and
                  Giovanni Lagorio and
                  Elena Zucca},
  title        = {Jam - designing a Java extension with mixins},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {25},
  number       = {5},
  pages        = {641--712},
  year         = {2003},
  url          = {https://doi.org/10.1145/937563.937567},
  doi          = {10.1145/937563.937567},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/AnconaLZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Blanchet03,
  author       = {Bruno Blanchet},
  title        = {Escape analysis for Java\({}^{\mbox{TM}}\): Theory and practice},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {25},
  number       = {6},
  pages        = {713--775},
  year         = {2003},
  url          = {https://doi.org/10.1145/945885.945886},
  doi          = {10.1145/945885.945886},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Blanchet03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BruceSGF03,
  author       = {Kim B. Bruce and
                  Angela Schuett and
                  Robert van Gent and
                  Adrian Fiech},
  title        = {PolyTOIL: {A} type-safe polymorphic object-oriented language},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {25},
  number       = {2},
  pages        = {225--290},
  year         = {2003},
  url          = {https://doi.org/10.1145/641888.641891},
  doi          = {10.1145/641888.641891},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BruceSGF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/ChoiGSSM03,
  author       = {Jong{-}Deok Choi and
                  Manish Gupta and
                  Mauricio J. Serrano and
                  Vugranam C. Sreedhar and
                  Samuel P. Midkiff},
  title        = {Stack allocation and synchronization optimizations for Java using
                  escape analysis},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {25},
  number       = {6},
  pages        = {876--910},
  year         = {2003},
  url          = {https://doi.org/10.1145/945885.945892},
  doi          = {10.1145/945885.945892},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/ChoiGSSM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/ChristensenMS03,
  author       = {Aske Simon Christensen and
                  Anders M{\o}ller and
                  Michael I. Schwartzbach},
  title        = {Extending Java for high-level Web service construction},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {25},
  number       = {6},
  pages        = {814--875},
  year         = {2003},
  url          = {https://doi.org/10.1145/945885.945890},
  doi          = {10.1145/945885.945890},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/ChristensenMS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Damiani03,
  author       = {Ferruccio Damiani},
  title        = {Rank 2 intersection types for local definitions and conditional expressions},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {25},
  number       = {4},
  pages        = {401--451},
  year         = {2003},
  url          = {https://doi.org/10.1145/778559.778560},
  doi          = {10.1145/778559.778560},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Damiani03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/FournetG03,
  author       = {C{\'{e}}dric Fournet and
                  Andrew D. Gordon},
  title        = {Stack inspection: Theory and variants},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {25},
  number       = {3},
  pages        = {360--399},
  year         = {2003},
  url          = {https://doi.org/10.1145/641909.641912},
  doi          = {10.1145/641909.641912},
  timestamp    = {Mon, 14 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/FournetG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Jeffery03,
  author       = {Clinton L. Jeffery},
  title        = {Generating {LR} syntax error messages from examples},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {25},
  number       = {5},
  pages        = {631--640},
  year         = {2003},
  url          = {https://doi.org/10.1145/937563.937566},
  doi          = {10.1145/937563.937566},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Jeffery03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/KistlerF03,
  author       = {Thomas Kistler and
                  Michael Franz},
  title        = {Continuous program optimization: {A} case study},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {25},
  number       = {4},
  pages        = {500--548},
  year         = {2003},
  url          = {https://doi.org/10.1145/778559.778562},
  doi          = {10.1145/778559.778562},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/KistlerF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/LeviS03,
  author       = {Francesca Levi and
                  Davide Sangiorgi},
  title        = {Mobile safe ambients},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {25},
  number       = {1},
  pages        = {1--69},
  year         = {2003},
  url          = {https://doi.org/10.1145/596980.596981},
  doi          = {10.1145/596980.596981},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/LeviS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/MenonPM03,
  author       = {Vijay Menon and
                  Keshav Pingali and
                  Nikolay Mateev},
  title        = {Fractal symbolic analysis},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {25},
  number       = {6},
  pages        = {776--813},
  year         = {2003},
  url          = {https://doi.org/10.1145/945885.945888},
  doi          = {10.1145/945885.945888},
  timestamp    = {Thu, 03 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/MenonPM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/PottierS03,
  author       = {Fran{\c{c}}ois Pottier and
                  Vincent Simonet},
  title        = {Information flow inference for {ML}},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {25},
  number       = {1},
  pages        = {117--158},
  year         = {2003},
  url          = {https://doi.org/10.1145/596980.596983},
  doi          = {10.1145/596980.596983},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/PottierS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/RamseyC03,
  author       = {Norman Ramsey and
                  Cristina Cifuentes},
  title        = {A transformational approach to binary translation of delayed branches},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {25},
  number       = {2},
  pages        = {210--224},
  year         = {2003},
  url          = {https://doi.org/10.1145/641888.641890},
  doi          = {10.1145/641888.641890},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/RamseyC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Rhiger03,
  author       = {Morten Rhiger},
  title        = {A foundation for embedded languages},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {25},
  number       = {3},
  pages        = {291--315},
  year         = {2003},
  url          = {https://doi.org/10.1145/641909.641910},
  doi          = {10.1145/641909.641910},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Rhiger03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/RinardD03,
  author       = {Martin C. Rinard and
                  Pedro C. Diniz},
  title        = {Eliminating synchronization bottlenecks using adaptive replication},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {25},
  number       = {3},
  pages        = {316--359},
  year         = {2003},
  url          = {https://doi.org/10.1145/641909.641911},
  doi          = {10.1145/641909.641911},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/RinardD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/RuginaR03,
  author       = {Radu Rugina and
                  Martin C. Rinard},
  title        = {Pointer analysis for structured parallel programs},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {25},
  number       = {1},
  pages        = {70--116},
  year         = {2003},
  url          = {https://doi.org/10.1145/596980.596982},
  doi          = {10.1145/596980.596982},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/RuginaR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/SahaTS03,
  author       = {Bratin Saha and
                  Valery Trifonov and
                  Zhong Shao},
  title        = {Intensional analysis of quantified types},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {25},
  number       = {2},
  pages        = {159--209},
  year         = {2003},
  url          = {https://doi.org/10.1145/641888.641889},
  doi          = {10.1145/641888.641889},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/SahaTS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/SchultzLC03,
  author       = {Ulrik Pagh Schultz and
                  Julia L. Lawall and
                  Charles Consel},
  title        = {Automatic program specialization for Java},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {25},
  number       = {4},
  pages        = {452--499},
  year         = {2003},
  url          = {https://doi.org/10.1145/778559.778561},
  doi          = {10.1145/778559.778561},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/SchultzLC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/SpotoJ03,
  author       = {Fausto Spoto and
                  Thomas P. Jensen},
  title        = {Class analyses as abstract interpretations of trace semantics},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {25},
  number       = {5},
  pages        = {578--630},
  year         = {2003},
  url          = {https://doi.org/10.1145/937563.937565},
  doi          = {10.1145/937563.937565},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/SpotoJ03.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.