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}
}

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.