![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/lisp/lisp20.bht:"
@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} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.