default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 28

> 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 28, Number 1, January 1997

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/FitzpatrickHSCB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FitzpatrickHSCB97
Stephen Fitzpatrick, Terence J. Harmer, Alan Stewart, Maurice Clint, James M. Boyle:
The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations. 1-41
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Schneider97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Schneider97
Steve A. Schneider:
Timewise Refinement for Communicating Processes. 43-90

Volume 28, Numbers 2-3, April 1997

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MadeyTT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MadeyTT97
Jan Madey, Andrzej Tarlecki, Wladyslaw M. Turski:
Foreword. 91
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ArnoldBR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ArnoldBR97
André Arnold, Didier Bégay, Jean-Pierre Radoux:
The Embedded Software of an Electricity Meter: An Experience in Using Formal Methods in an Industrial Project. 93-110
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/FiadeiroM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FiadeiroM97
José Luiz Fiadeiro, T. S. E. Maibaum:
Categorical Semantics of Parallel Program Design. 111-138
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/IglewskiM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/IglewskiM97
Michal Iglewski, Janina Mincer-Daszkiewicz:
Internal Design of Modules Specified in the Trace Assertion Method. 139-170
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/JifengSM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/JifengSM97
Jifeng He, Karen Seidel, Annabelle McIver:
Probabilistic Models for the Guarded Command Language. 171-192
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/KluzniakM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KluzniakM97
Feliks Kluzniak, Miroslawa Milkowska:
Spill - A Logic Language for Writing Testable Requirements Specifications. 193-223
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/KosiuczenkoW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KosiuczenkoW97
Piotr Kosiuczenko, Martin Wirsing:
Timed Rewriting Logic with an Application to Object-Based Specification. 225-246
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/PepperS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/PepperS97
Peter Pepper, Douglas R. Smith:
A High-Level Derivation of Global Search Algorithms (with Constraint Propagation). 247-271
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/WingV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/WingV97
Jeannette M. Wing, Mandana Vaziri:
A Case study in Model Checking Software Systems. 273-299

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.