ask others

Science of Computer Programming, Volume 39

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

Volume 39, Number 1, January 2001

Static Program Analysis (SAS'98)

- view
- export record
  dblp key:
  - journals/scp/Levi01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Levi01
Giorgio Levi:
Preface. 1
- view
- export record
  dblp key:
  - journals/scp/Ruthing01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Ruthing01
Oliver Rüthing:
Code motion in the presence of critical edges without bidirectional data flow analysis. 3-29
- view
- export record
  dblp key:
  - journals/scp/HindP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HindP01
Michael Hind, Anthony Pioli:
Evaluating the effectiveness of pointer alias analyses. 31-55
- view
- export record
  dblp key:
  - journals/scp/Duggan01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Duggan01
Dominic Duggan:
Finite subtype inference with explicit polymorphism. 57-92
- view
- export record
  dblp key:
  - journals/scp/Levi01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Levi01a
Francesca Levi:
A symbolic semantics for abstract model checking. 93-123
- view
- export record
  dblp key:
  - journals/scp/Volpe01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Volpe01
Paolo Volpe:
A first-order language for expressing sharing and type properties of logic programs. 125-148

Volume 39, Number 2-3, March 2001

- view
- export record
  dblp key:
  - journals/scp/Feijs01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Feijs01
Loe M. G. Feijs:
Mechanisms for naming - An algebraic approach with an application to Java. 149-188
- view
- export record
  dblp key:
  - journals/scp/JanickiK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/JanickiK01
Ryszard Janicki, Ridha Khédri:
On a formal semantics of tabular expressions. 189-213
- view
- export record
  dblp key:
  - journals/scp/GrooteW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GrooteW01
Jan Friso Groote, Jos van Wamel:
Analysis of three hybrid systems in timed µCRL. 215-247
- view
  authority control:
- export record
  dblp key:
  - journals/scp/Moreau01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Moreau01
Luc Moreau:
Distributed directory service and message routing for mobile agents. 249-272

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.