default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 31

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 31, Number 1, May 1998

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ArmstrongMSS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ArmstrongMSS98
Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard:
Two Classes of Boolean Functions for Dependency Analysis. 3-45
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BanerjeeS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BanerjeeS98
Anindya Banerjee, David A. Schmidt:
Stackability in the Simply-Typed Call-by-Value lambda Calculus. 47-73
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Halbwachs98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Halbwachs98
Nicolas Halbwachs:
About Synchronous Programming and Abstract Interpretation. 75-89
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Mauborgne98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Mauborgne98
Laurent Mauborgne:
Abstract Interpretation Using Typed Decision Graphs. 91-112
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GasserNN98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GasserNN98
Kirsten Lackner Solberg Gasser, Hanne Riis Nielson, Flemming Nielson:
Strictness and Totality Analysis. 113-145
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Yi98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Yi98
Kwangkeun Yi:
An Abstract Interpretation for Estimating Uncaught Exceptions in Standard ML Programs. 147-173

Volume 31, Numbers 2-3, July 1998

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AndreoliPPP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AndreoliPPP98
Jean-Marc Andreoli, François Pacull, Daniele Pagani, Remo Pareschi:
Multiparty Negotiation of Dynamic Distributed Object Services. 179-203
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BergstraK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BergstraK98
Jan A. Bergstra, Paul Klint:
The Discrete Time TOOLBUS - A Software Coordination Architecture. 205-229
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CiancariniMP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CiancariniMP98
Paolo Ciancarini, M. Mazza, L. Pazzaglia:
A Logic for a Coordination Model with Multiple Spaces. 231-261
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/FradetM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FradetM98
Pascal Fradet, Daniel Le Métayer:
Structured Gamma. 263-289
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/FukudaBDM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FukudaBDM98
Munehiro Fukuda, Lubomir Bic, Michael B. Dillencourt, Fehmina Merchant:
Distributed Coordination with MESSENGERS. 291-311
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GoemanKSU98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GoemanKSU98
Henk Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udink:
Coordination in the ImpUNITY Framework. 313-334
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/RowstronW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/RowstronW98
Antony I. T. Rowstron, Alan Wood:
Solving the Linda Multiple rd Problem Using the Copy-Collect Primitive. 335-358
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Tolksdorf98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Tolksdorf98
Robert Tolksdorf:
Laura - A Service-Based Coordination Language. 359-381

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.