default search action

combined dblp search
author search
venue search
publication search

ask others

Higher-Order and Symbolic Computation, Volume 20

> Home > Journals > Higher-Order and Symbolic Computation

Refine list

refinements active!

zoomed in on 21 of 21 records

view refined list in

export refined list as

showing all 21 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Volume 20, Numbers 1-2, June 2007

Special Issue on Rewriting Logic and its Applications

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Marti-OlietRT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Marti-OlietRT07
Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott:
Editorial. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/CervesatoS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/CervesatoS07
Iliano Cervesato, Mark-Oliver Stehr:
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. 3-35
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/CirsteaFK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/CirsteaFK07
Horatiu Cirstea, Germain Faure, Claude Kirchner:
A rho-calculus of explicit constraint application. 37-72
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Lopez-FraguasRV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Lopez-FraguasRV07
Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda:
A new generic scheme for functional logic programming with constraints. 73-122
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/MeseguerT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/MeseguerT07
José Meseguer, Prasanna Thati:
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. 123-160
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/OlveczkyM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/OlveczkyM07
Peter Csaba Ölveczky, José Meseguer:
Semantics and pragmatics of Real-Time Maude. 161-196
no results

Volume 20, Number 3, September 2007

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Danvy07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Danvy07
Olivier Danvy:
Editorial. 197-198
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Krivine07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Krivine07
Jean-Louis Krivine:
A call-by-name lambda-calculus machine. 199-207
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Cregut07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Cregut07
Pierre Crégut:
Strongly reducing variants of the Krivine abstract machine. 209-230
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Wand07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Wand07
Mitchell Wand:
On the correctness of the Krivine machine. 231-235
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DouenceF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DouenceF07
Rémi Douence, Pascal Fradet:
The next 700 Krivine machines. 237-255
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Lang07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Lang07
Frédéric Lang:
Explaining the lazy Krivine machine using explicit substitution and addresses. 257-270
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/FriedmanGSW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/FriedmanGSW07
Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, Onnie Lynn Winebarger:
Improving the lazy Krivine machine. 271-293
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Lippi07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Lippi07
Sylvain Lippi:
The graphical Krivine machine. 295-318
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Schmidt07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Schmidt07
David A. Schmidt:
State-transition machines for lambda-calculus expressions. 319-332
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Schmidt07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Schmidt07a
David A. Schmidt:
State-transition machines, revisited. 333-335
no results

Volume 20, Number 4, December 2007

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DanvyT07
Olivier Danvy, Hayo Thielecke:
Editorial. 337-338
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Kameyama07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Kameyama07
Yukiyoshi Kameyama:
Axioms for control operators in the CPS hierarchy. 339-369
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Shan07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Shan07
Chung-chieh Shan:
A static simulation of dynamic delimited control. 371-401
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/AriolaHS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/AriolaHS07
Zena M. Ariola, Hugo Herbelin, Amr Sabry:
A proof-theoretic foundation of abortive continuations. 403-429
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/KrishnamurthiHMGPF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/KrishnamurthiHMGPF07
Shriram Krishnamurthi, Peter Walton Hopkins, Jay A. McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias Felleisen:
Implementation and use of the PLT scheme Web server. 431-460
no results

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.