ask others

Electronic Notes in Theoretical Computer Science, Volume 304

> Home > Journals > Electronic Notes in Theoretical Computer Science

Volume 304, June 2014

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Hills14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/Hills14
Mark Hills:
Preface. 1-2
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/RosuS14
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/entcs/SerbanutaALELR14
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/entcs/ArusoaieLR14
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/entcs/Asavoae14
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/entcs/Asavoae14a
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/entcs/GirleaR14
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/entcs/MereutaG14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/MereutaG14
Radu Mereuta, Gheorghe Grigoras:
Parsing K definitions. 151-166
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Serbanuta14
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/entcs/Stefanescu14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/Stefanescu14
Andrei Stefanescu:
MatchC: A Matching Logic Reachability Verifier Using the K Framework. 183-198

maintained by

, founded at