Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 23

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> 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 23, Number 1, October 1994

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GibbonsCS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GibbonsCS94
Jeremy Gibbons, Wentong Cai, David B. Skillicorn:
Efficient Parallel Algorithms for Tree Accumulations. 1-18
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/PalsbergS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/PalsbergS94
Jens Palsberg, Michael I. Schwartzbach:
Static Typing for Object-Oriented Programming. 19-53
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/RondogiannisC94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/RondogiannisC94
Panos Rondogiannis, Mantis H. M. Cheng:
Petri-Net-Based Deadlock Analysis of Process Algebra Programs. 55-89

Volume 23, Numbers 2-3, December 1994

Selected Papers of the Colloquium on Formal Approaches of Software Engineering (A Colloquium of TAPSOFT 1993, Orsay, France, April 1993)

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Gaudel94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Gaudel94
Marie-Claude Gaudel:
Foreword: Selected Papers of TAPSOFT'93. 105
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Collette94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Collette94
Pierre Collette:
Composition of Assumption-Commitment Specifications in a UNITY Style. 107-125
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GiannottiL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GiannottiL94
Fosca Giannotti, Diego Latella:
Gate Splitting in LOTOS Specifications Using Abstract Interpretation. 127-149
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Esparza94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Esparza94
Javier Esparza:
Model Checking Using Net Unfoldings. 151-195
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Smith94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Smith94
Geoffrey Smith:
Principal Type Schemes for Functional Programs with Overloading and Subtyping. 197-226
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BernotGA94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BernotGA94
Gilles Bernot, Pascale Le Gall, Marc Aiguier:
Label Algebras and Exception Handling. 227-286
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BellegardeH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BellegardeH94
Françoise Bellegarde, James Hook:
Substitution: A Formal Methods Case Study Using Monads and Transformations. 287-311

a service of

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.