Search dblp for Publications

export results for "toc:db/journals/lisp/lisp20.bht:"

 download as .bib file

@article{DBLP:journals/lisp/AriolaHS07,
  author       = {Zena M. Ariola and
                  Hugo Herbelin and
                  Amr Sabry},
  title        = {A proof-theoretic foundation of abortive continuations},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {4},
  pages        = {403--429},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9007-z},
  doi          = {10.1007/S10990-007-9007-Z},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lisp/AriolaHS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/CervesatoS07,
  author       = {Iliano Cervesato and
                  Mark{-}Oliver Stehr},
  title        = {Representing the {MSR} cryptoprotocol specification language in an
                  extension of rewriting logic with dependent types},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {1-2},
  pages        = {3--35},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9003-3},
  doi          = {10.1007/S10990-007-9003-3},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/CervesatoS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/CirsteaFK07,
  author       = {Horatiu Cirstea and
                  Germain Faure and
                  Claude Kirchner},
  title        = {A rho-calculus of explicit constraint application},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {1-2},
  pages        = {37--72},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9004-2},
  doi          = {10.1007/S10990-007-9004-2},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/CirsteaFK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/Cregut07,
  author       = {Pierre Cr{\'{e}}gut},
  title        = {Strongly reducing variants of the Krivine abstract machine},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {3},
  pages        = {209--230},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9015-z},
  doi          = {10.1007/S10990-007-9015-Z},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/Cregut07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/Danvy07,
  author       = {Olivier Danvy},
  title        = {Editorial},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {3},
  pages        = {197--198},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9021-1},
  doi          = {10.1007/S10990-007-9021-1},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lisp/Danvy07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/DanvyT07,
  author       = {Olivier Danvy and
                  Hayo Thielecke},
  title        = {Editorial},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {4},
  pages        = {337--338},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9020-2},
  doi          = {10.1007/S10990-007-9020-2},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lisp/DanvyT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/DouenceF07,
  author       = {R{\'{e}}mi Douence and
                  Pascal Fradet},
  title        = {The next 700 Krivine machines},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {3},
  pages        = {237--255},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9016-y},
  doi          = {10.1007/S10990-007-9016-Y},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/DouenceF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/FriedmanGSW07,
  author       = {Daniel P. Friedman and
                  Abdulaziz Ghuloum and
                  Jeremy G. Siek and
                  Onnie Lynn Winebarger},
  title        = {Improving the lazy Krivine machine},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {3},
  pages        = {271--293},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9014-0},
  doi          = {10.1007/S10990-007-9014-0},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/FriedmanGSW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/Kameyama07,
  author       = {Yukiyoshi Kameyama},
  title        = {Axioms for control operators in the {CPS} hierarchy},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {4},
  pages        = {339--369},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9009-x},
  doi          = {10.1007/S10990-007-9009-X},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/Kameyama07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/KrishnamurthiHMGPF07,
  author       = {Shriram Krishnamurthi and
                  Peter Walton Hopkins and
                  Jay A. McCarthy and
                  Paul T. Graunke and
                  Greg Pettyjohn and
                  Matthias Felleisen},
  title        = {Implementation and use of the {PLT} scheme Web server},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {4},
  pages        = {431--460},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9008-y},
  doi          = {10.1007/S10990-007-9008-Y},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/KrishnamurthiHMGPF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/Krivine07,
  author       = {Jean{-}Louis Krivine},
  title        = {A call-by-name lambda-calculus machine},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {3},
  pages        = {199--207},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9018-9},
  doi          = {10.1007/S10990-007-9018-9},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/Krivine07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/Lang07,
  author       = {Fr{\'{e}}d{\'{e}}ric Lang},
  title        = {Explaining the lazy Krivine machine using explicit substitution and
                  addresses},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {3},
  pages        = {257--270},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9013-1},
  doi          = {10.1007/S10990-007-9013-1},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/Lang07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/Lippi07,
  author       = {Sylvain Lippi},
  title        = {The graphical Krivine machine},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {3},
  pages        = {295--318},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9011-3},
  doi          = {10.1007/S10990-007-9011-3},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/Lippi07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/Lopez-FraguasRV07,
  author       = {Francisco Javier L{\'{o}}pez{-}Fraguas and
                  Mario Rodr{\'{\i}}guez{-}Artalejo and
                  Rafael del Vado V{\'{\i}}rseda},
  title        = {A new generic scheme for functional logic programming with constraints},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {1-2},
  pages        = {73--122},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9002-4},
  doi          = {10.1007/S10990-007-9002-4},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/Lopez-FraguasRV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/Marti-OlietRT07,
  author       = {Narciso Mart{\'{\i}}{-}Oliet and
                  Grigore Rosu and
                  Carolyn L. Talcott},
  title        = {Editorial},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {1-2},
  pages        = {1--2},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9005-1},
  doi          = {10.1007/S10990-007-9005-1},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/Marti-OlietRT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/MeseguerT07,
  author       = {Jos{\'{e}} Meseguer and
                  Prasanna Thati},
  title        = {Symbolic reachability analysis using narrowing and its application
                  to verification of cryptographic protocols},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {1-2},
  pages        = {123--160},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9000-6},
  doi          = {10.1007/S10990-007-9000-6},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lisp/MeseguerT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/OlveczkyM07,
  author       = {Peter Csaba {\"{O}}lveczky and
                  Jos{\'{e}} Meseguer},
  title        = {Semantics and pragmatics of Real-Time Maude},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {1-2},
  pages        = {161--196},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9001-5},
  doi          = {10.1007/S10990-007-9001-5},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lisp/OlveczkyM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/Schmidt07,
  author       = {David A. Schmidt},
  title        = {State-transition machines for lambda-calculus expressions},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {3},
  pages        = {319--332},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9012-2},
  doi          = {10.1007/S10990-007-9012-2},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/Schmidt07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/Schmidt07a,
  author       = {David A. Schmidt},
  title        = {State-transition machines, revisited},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {3},
  pages        = {333--335},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9017-x},
  doi          = {10.1007/S10990-007-9017-X},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/Schmidt07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/Shan07,
  author       = {Chung{-}chieh Shan},
  title        = {A static simulation of dynamic delimited control},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {4},
  pages        = {371--401},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9010-4},
  doi          = {10.1007/S10990-007-9010-4},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/Shan07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/Wand07,
  author       = {Mitchell Wand},
  title        = {On the correctness of the Krivine machine},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {3},
  pages        = {231--235},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9019-8},
  doi          = {10.1007/S10990-007-9019-8},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/Wand07.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.