|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstract Semantics for Alias Analysis in K |
Asăvoae, Irina Măriuca |
2014 |
304 | C |
p. 97-110 14 p. |
artikel |
|
| 2 | Abstract Semantics for K Module Composition |
Girlea, Codruta |
2014 |
304 | C |
p. 127-149 23 p. |
artikel |
|
| 3 | K Overview and SIMPLE Case Study |
Roşu, Grigore |
2014 |
304 | C |
p. 3-56 54 p. |
artikel |
|
| 4 | K Semantics for Assembly Languages: A Case Study |
Asăvoae, Mihail |
2014 |
304 | C |
p. 111-125 15 p. |
artikel |
|
| 5 | MatchC: A Matching Logic Reachability Verifier Using the K Framework |
Stefanescu, Andrei |
2014 |
304 | C |
p. 183-198 16 p. |
artikel |
|
| 6 | Parsing K definitions |
Mereuţă, Radu |
2014 |
304 | C |
p. 151-166 16 p. |
artikel |
|
| 7 | Preface |
Hills, Mark |
2014 |
304 | C |
p. 1-2 2 p. |
artikel |
|
| 8 | Rewriting Semantics and Analysis of Concurrency Features for a C-like Language |
Şerbănuţă, Traian Florin |
2014 |
304 | C |
p. 167-182 16 p. |
artikel |
|
| 9 | The K Primer (version 3.3) |
Şerbănuţă, Traian Florin |
2014 |
304 | C |
p. 57-80 24 p. |
artikel |
|
| 10 | Towards a K Semantics for OCL |
Arusoaie, Andrei |
2014 |
304 | C |
p. 81-96 16 p. |
artikel |
10 gevonden resultaten