default search action
Search dblp for Publications
export results for "toc:db/journals/tcs/tcs248.bht:"
@article{DBLP:journals/tcs/Consel00, author = {Charles Consel}, title = {Selected Papers from PEPM'97 - Foreword}, journal = {Theor. Comput. Sci.}, volume = {248}, number = {1-2}, pages = {1--2}, year = {2000}, url = {https://doi.org/10.1016/S0304-3975(00)00047-5}, doi = {10.1016/S0304-3975(00)00047-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Consel00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/DanvyS00, author = {Olivier Danvy and Ulrik Pagh Schultz}, title = {Lambda-dropping: transforming recursive equations into programs with block structure}, journal = {Theor. Comput. Sci.}, volume = {248}, number = {1-2}, pages = {243--287}, year = {2000}, url = {https://doi.org/10.1016/S0304-3975(00)00054-2}, doi = {10.1016/S0304-3975(00)00054-2}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/DanvyS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/GrantMPCE00, author = {Brian Grant and Markus Mock and Matthai Philipose and Craig Chambers and Susan J. Eggers}, title = {DyC: an expressive annotation-directed dynamic compiler for {C}}, journal = {Theor. Comput. Sci.}, volume = {248}, number = {1-2}, pages = {147--199}, year = {2000}, url = {https://doi.org/10.1016/S0304-3975(00)00051-7}, doi = {10.1016/S0304-3975(00)00051-7}, timestamp = {Sat, 21 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/GrantMPCE00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/HeldalH00, author = {Rogardt Heldal and John Hughes}, title = {Extending a partial evaluator which supports separate compilation}, journal = {Theor. Comput. Sci.}, volume = {248}, number = {1-2}, pages = {99--145}, year = {2000}, url = {https://doi.org/10.1016/S0304-3975(00)00050-5}, doi = {10.1016/S0304-3975(00)00050-5}, timestamp = {Wed, 02 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/HeldalH00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/HornofN00, author = {Luke Hornof and Jacques Noy{\'{e}}}, title = {Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity}, journal = {Theor. Comput. Sci.}, volume = {248}, number = {1-2}, pages = {3--27}, year = {2000}, url = {https://doi.org/10.1016/S0304-3975(00)00048-7}, doi = {10.1016/S0304-3975(00)00048-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/HornofN00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/MelskiR00, author = {David Melski and Thomas W. Reps}, title = {Interconvertibility of a class of set constraints and context-free-language reachability}, journal = {Theor. Comput. Sci.}, volume = {248}, number = {1-2}, pages = {29--98}, year = {2000}, url = {https://doi.org/10.1016/S0304-3975(00)00049-9}, doi = {10.1016/S0304-3975(00)00049-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/MelskiR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/MullerMV00, author = {Gilles Muller and Renaud Marlet and Eugen{-}Nicolae Volanschi}, title = {Accurate program analyses for successful specialization of legacy system software}, journal = {Theor. Comput. Sci.}, volume = {248}, number = {1-2}, pages = {201--210}, year = {2000}, url = {https://doi.org/10.1016/S0304-3975(00)00052-9}, doi = {10.1016/S0304-3975(00)00052-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/MullerMV00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/TahaS00, author = {Walid Taha and Tim Sheard}, title = {MetaML and multi-stage programming with explicit annotations}, journal = {Theor. Comput. Sci.}, volume = {248}, number = {1-2}, pages = {211--242}, year = {2000}, url = {https://doi.org/10.1016/S0304-3975(00)00053-0}, doi = {10.1016/S0304-3975(00)00053-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/TahaS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.