Robert F. Stärk

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

◀ ▶ joint publications with Egon Börger

> Home > Persons > Robert F. Stärk

Publications

2005
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BorgerFGS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BorgerFGS05
Egon Börger, Nicu G. Fruja, Vincenzo Gervasi, Robert F. Stärk:
A high-level modular definition of the semantics of C#. Theor. Comput. Sci. 336(2-3): 235-284 (2005)
2004
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/StarkB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/StarkB04
Robert F. Stärk, Egon Börger:
An ASM Specification of C# Threads and the .NET Memory Model. Abstract State Machines 2004: 38-60
2003
[b2]
- view
  - electronic edition @ springer.com
  - no references & citations available
- export record
  dblp key:
  - books/sp/BorgerS2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/BorgerS2003
Egon Börger, Robert F. Stärk:
Abstract State Machines. A Method for High-Level System Design and Analysis. Springer 2003, ISBN 3540007024, pp. I-X, 1-438
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/BorgerS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/BorgerS03
Egon Börger, Robert F. Stärk:
Exploiting Abstraction for Specification Reuse. The Java/C# Case Study. FMCO 2003: 42-76
2001
[b1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/sp/Stark2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/Stark2001
Robert F. Stärk, Joachim Schmid, Egon Börger:
Java and the Java Virtual Machine: Definition, Verification, Validation. Springer 2001

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.