default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 8

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on 14 of 14 records

view refined list in

export refined list as

showing all 14 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 8, Number 1, February 1987

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Chisholm87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Chisholm87
Paul Chisholm:
Derivation of a Parsing Algorithm in Martin-Löf's Theory of Types. 1-42
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/JosephMS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/JosephMS87
Mathai Joseph, Abha Moitra, Neelam Soundararajan:
Proof Rules for Fault Tolerant Distributed Programs. 43-67
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/KirchnerK87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KirchnerK87
Claude Kirchner, Hélène Kirchner:
REVEUR-3: The Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies. 69-86
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/KolblW87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KolblW87
Stefan Kölbl, Mitchell Wand:
Linear Future Semantics and Its Implementation. 87-103
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Rem87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Rem87
Martin Rem:
Small Programming Exercises 15. 105-112
no results

Volume 8, Number 2, April 1987

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Bird87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Bird87
Richard S. Bird:
A Formal Development of an Efficient Subercombinator Compiler. 113-137
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GriesP87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GriesP87
David Gries, Jan F. Prins:
McLaren's Masterpiece. 139-145
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Cardelli87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Cardelli87
Luca Cardelli:
Basic Polymorphic Typechecking. 147-172
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CousineauCM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CousineauCM87
Guy Cousineau, Pierre-Louis Curien, Michel Mauny:
The Categorical Abstract Machine. 173-202
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Rem87a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Rem87a
Martin Rem:
Small Programming Exercises 16. 203-211
no results

Volume 8, Number 3, June 1987

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Smith87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Smith87
Douglas R. Smith:
Applications of a Strategy for Designing Divide-and-Conquer Algorithms. 213-229
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Harel87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Harel87
David Harel:
Statecharts: A Visual Formalism for Complex Systems. 231-274
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/EmersonL87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/EmersonL87
E. Allen Emerson, Chin-Laung Lei:
Modalities for Model Checking: Branching Time Logic Strikes Back. 275-306
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Rem87b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Rem87b
Martin Rem:
Small Programming Exercises 17. 307-313
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.