Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/toplas/AriolaBS09,
  author       = {Zena M. Ariola and
                  Aaron Bohannon and
                  Amr Sabry},
  title        = {Sequent calculi and abstract machines},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {4},
  pages        = {13:1--13:48},
  year         = {2009},
  url          = {https://doi.org/10.1145/1516507.1516508},
  doi          = {10.1145/1516507.1516508},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/AriolaBS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BartheGKR09,
  author       = {Gilles Barthe and
                  Benjamin Gr{\'{e}}goire and
                  C{\'{e}}sar Kunz and
                  Tamara Rezk},
  title        = {Certificate translation for optimizing compilers},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {5},
  pages        = {18:1--18:45},
  year         = {2009},
  url          = {https://doi.org/10.1145/1538917.1538919},
  doi          = {10.1145/1538917.1538919},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/BartheGKR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BartolettiDFZ09,
  author       = {Massimo Bartoletti and
                  Pierpaolo Degano and
                  Gian{-}Luigi Ferrari and
                  Roberto Zunino},
  title        = {Local policies for resource usage analysis},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {6},
  pages        = {23:1--23:43},
  year         = {2009},
  url          = {https://doi.org/10.1145/1552309.1552313},
  doi          = {10.1145/1552309.1552313},
  timestamp    = {Fri, 23 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/BartolettiDFZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/CastagnaGP09,
  author       = {Giuseppe Castagna and
                  Nils Gesbert and
                  Luca Padovani},
  title        = {A theory of contracts for Web services},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {5},
  pages        = {19:1--19:61},
  year         = {2009},
  url          = {https://doi.org/10.1145/1538917.1538920},
  doi          = {10.1145/1538917.1538920},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/CastagnaGP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/DolevHS09,
  author       = {Shlomi Dolev and
                  Yinnon A. Haviv and
                  Mooly Sagiv},
  title        = {Self-stabilization preserving compiler},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {6},
  pages        = {22:1--22:42},
  year         = {2009},
  url          = {https://doi.org/10.1145/1552309.1552312},
  doi          = {10.1145/1552309.1552312},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/DolevHS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/KalvalaWL09,
  author       = {Sara Kalvala and
                  Richard Warburton and
                  David Lacey},
  title        = {Program transformations using temporal logic side conditions},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {4},
  pages        = {14:1--14:48},
  year         = {2009},
  url          = {https://doi.org/10.1145/1516507.1516509},
  doi          = {10.1145/1516507.1516509},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/KalvalaWL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Lee09,
  author       = {Chin Soon Lee},
  title        = {Ranking functions for size-change termination},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {3},
  pages        = {10:1--10:42},
  year         = {2009},
  url          = {https://doi.org/10.1145/1498926.1498928},
  doi          = {10.1145/1498926.1498928},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Lee09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/LiuS09,
  author       = {Yanhong A. Liu and
                  Scott D. Stoller},
  title        = {From datalog rules to efficient programs with time and space guarantees},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {6},
  pages        = {21:1--21:38},
  year         = {2009},
  url          = {https://doi.org/10.1145/1552309.1552311},
  doi          = {10.1145/1552309.1552311},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/LiuS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/MacDonaldTSS09,
  author       = {Steve MacDonald and
                  Kai Tan and
                  Jonathan Schaeffer and
                  Duane Szafron},
  title        = {Deferring design pattern decisions and automating structural pattern
                  changes using a design-pattern-based programming system},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {3},
  pages        = {9:1--9:49},
  year         = {2009},
  url          = {https://doi.org/10.1145/1498926.1498927},
  doi          = {10.1145/1498926.1498927},
  timestamp    = {Wed, 09 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/MacDonaldTSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/MatthewsF09,
  author       = {Jacob Matthews and
                  Robert Bruce Findler},
  title        = {Operational semantics for multi-language programs},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {3},
  pages        = {12:1--12:44},
  year         = {2009},
  url          = {https://doi.org/10.1145/1498926.1498930},
  doi          = {10.1145/1498926.1498930},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/MatthewsF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/MillsteinFRW09,
  author       = {Todd D. Millstein and
                  Christopher Frost and
                  Jason Ryder and
                  Alessandro Warth},
  title        = {Expressive and modular predicate dispatch for Java},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {2},
  pages        = {7:1--7:54},
  year         = {2009},
  url          = {https://doi.org/10.1145/1462166.1462168},
  doi          = {10.1145/1462166.1462168},
  timestamp    = {Mon, 10 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/MillsteinFRW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/MorrisBT09,
  author       = {Joseph M. Morris and
                  Alexander Bunkenburg and
                  Malcolm Tyrrell},
  title        = {Term transformers: {A} new approach to state},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {4},
  pages        = {16:1--16:42},
  year         = {2009},
  url          = {https://doi.org/10.1145/1516507.1516511},
  doi          = {10.1145/1516507.1516511},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/MorrisBT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/MouraI09,
  author       = {Ana L{\'{u}}cia de Moura and
                  Roberto Ierusalimschy},
  title        = {Revisiting coroutines},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {2},
  pages        = {6:1--6:31},
  year         = {2009},
  url          = {https://doi.org/10.1145/1462166.1462167},
  doi          = {10.1145/1462166.1462167},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/MouraI09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/OHearnYR09,
  author       = {Peter W. O'Hearn and
                  Hongseok Yang and
                  John C. Reynolds},
  title        = {Separation and information hiding},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {3},
  pages        = {11:1--11:50},
  year         = {2009},
  url          = {https://doi.org/10.1145/1498926.1498929},
  doi          = {10.1145/1498926.1498929},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/OHearnYR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/PingaliM09,
  author       = {Keshav Pingali and
                  Kathryn S. McKinley},
  title        = {Remembrances of things past},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {4},
  pages        = {17.1:1--17.1:2},
  year         = {2009},
  url          = {https://doi.org/10.1145/1516507.1538825},
  doi          = {10.1145/1516507.1538825},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/PingaliM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Sangiorgi09,
  author       = {Davide Sangiorgi},
  title        = {On the origins of bisimulation and coinduction},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {4},
  pages        = {15:1--15:41},
  year         = {2009},
  url          = {https://doi.org/10.1145/1516507.1516510},
  doi          = {10.1145/1516507.1516510},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Sangiorgi09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/SchulteS09,
  author       = {Christian Schulte and
                  Peter J. Stuckey},
  title        = {Erratum to "Efficient constraint propagation engines"},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {2},
  year         = {2009},
  url          = {https://doi.org/10.1145/1462166.1462170},
  doi          = {10.1145/1462166.1462170},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/SchulteS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/SneyersSD09,
  author       = {Jon Sneyers and
                  Tom Schrijvers and
                  Bart Demoen},
  title        = {The computational power and complexity of constraint handling rules},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {2},
  pages        = {8:1--8:42},
  year         = {2009},
  url          = {https://doi.org/10.1145/1462166.1462169},
  doi          = {10.1145/1462166.1462169},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/SneyersSD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/YardimciF09,
  author       = {Efe Yardimci and
                  Michael Franz},
  title        = {Mostly static program partitioning of binary executables},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {5},
  pages        = {17:1--17:46},
  year         = {2009},
  url          = {https://doi.org/10.1145/1538917.1538918},
  doi          = {10.1145/1538917.1538918},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/YardimciF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/ZhongSD09,
  author       = {Yutao Zhong and
                  Xipeng Shen and
                  Chen Ding},
  title        = {Program locality analysis using reuse distance},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {6},
  pages        = {20:1--20:39},
  year         = {2009},
  url          = {https://doi.org/10.1145/1552309.1552310},
  doi          = {10.1145/1552309.1552310},
  timestamp    = {Fri, 28 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/ZhongSD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BernardeschiFLMM08,
  author       = {Cinzia Bernardeschi and
                  Nicoletta De Francesco and
                  Giuseppe Lettieri and
                  Luca Martini and
                  Paolo Masci},
  title        = {Decomposing bytecode verification by abstract interpretation},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {1},
  pages        = {3:1--3:63},
  year         = {2008},
  url          = {https://doi.org/10.1145/1452044.1452047},
  doi          = {10.1145/1452044.1452047},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/BernardeschiFLMM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BhargavanFGT08,
  author       = {Karthikeyan Bhargavan and
                  C{\'{e}}dric Fournet and
                  Andrew D. Gordon and
                  Stephen Tse},
  title        = {Verified interoperable implementations of security protocols},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {1},
  pages        = {5:1--5:61},
  year         = {2008},
  url          = {https://doi.org/10.1145/1452044.1452049},
  doi          = {10.1145/1452044.1452049},
  timestamp    = {Mon, 14 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BhargavanFGT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/JacobsPSLS08,
  author       = {Bart Jacobs and
                  Frank Piessens and
                  Jan Smans and
                  K. Rustan M. Leino and
                  Wolfram Schulte},
  title        = {A programming model for concurrent object-oriented programs},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {1},
  pages        = {1:1--1:48},
  year         = {2008},
  url          = {https://doi.org/10.1145/1452044.1452045},
  doi          = {10.1145/1452044.1452045},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/JacobsPSLS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/ParkPT08,
  author       = {Sungwoo Park and
                  Frank Pfenning and
                  Sebastian Thrun},
  title        = {A probabilistic language based on sampling functions},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {1},
  pages        = {4:1--4:46},
  year         = {2008},
  url          = {https://doi.org/10.1145/1452044.1452048},
  doi          = {10.1145/1452044.1452048},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/ParkPT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/SchulteS08,
  author       = {Christian Schulte and
                  Peter J. Stuckey},
  title        = {Efficient constraint propagation engines},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {1},
  pages        = {2:1--2:43},
  year         = {2008},
  url          = {https://doi.org/10.1145/1452044.1452046},
  doi          = {10.1145/1452044.1452046},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/SchulteS08.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.