Electronic Notes in Theoretical Computer Science, Volume 304

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 > Electronic Notes in Theoretical Computer Science

Volume 304, June 2014

- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/entcs/Hills14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Hills14
Mark Hills:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/entcs/RosuS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RosuS14
Grigore Rosu, Traian-Florin Serbanuta:
K Overview and SIMPLE Case Study. 3-56
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/entcs/SerbanutaALELR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SerbanutaALELR14
Traian-Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu, Grigore Rosu:
The K Primer (version 3.3). 57-80
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/entcs/ArusoaieLR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ArusoaieLR14
Andrei Arusoaie, Dorel Lucanu, Vlad Rusu:
Towards a K Semantics for OCL. 81-96
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/entcs/Asavoae14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Asavoae14
Irina Mariuca Asavoae:
Abstract Semantics for Alias Analysis in K. 97-110
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/entcs/Asavoae14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Asavoae14a
Mihail Asavoae:
K Semantics for Assembly Languages: A Case Study. 111-125
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/entcs/GirleaR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GirleaR14
Codruta Gîrlea, Grigore Rosu:
Abstract Semantics for K Module Composition. 127-149
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/entcs/MereutaG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MereutaG14
Radu Mereuta, Gheorghe Grigoras:
Parsing K definitions. 151-166
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/entcs/Serbanuta14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Serbanuta14
Traian-Florin Serbanuta:
Rewriting Semantics and Analysis of Concurrency Features for a C-like Language. 167-182
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/entcs/Stefanescu14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Stefanescu14
Andrei Stefanescu:
MatchC: A Matching Logic Reachability Verifier Using the K Framework. 183-198

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.