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 ?? of ?? records

view refined list in

export refined list as

showing all ?? records

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

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

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

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.