|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
15 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstraction and Completeness for Real-Time Maude |
Ölveczky, Peter Csaba |
2007 |
176 | 4 |
p. 5-27 23 p. |
artikel |
|
| 2 | Abstraction and Model Checking of Core Erlang Programs in Maude |
Neuhäußer, Martin |
2007 |
176 | 4 |
p. 147-163 17 p. |
artikel |
|
| 3 | A Distributed Implementation of Mobile Maude |
Durán, Francisco |
2007 |
176 | 4 |
p. 113-131 19 p. |
artikel |
|
| 4 | A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters |
Hills, Mark |
2007 |
176 | 4 |
p. 215-231 17 p. |
artikel |
|
| 5 | A Rewriting Logic Framework for Soft Constraints |
Wirsing, Martin |
2007 |
176 | 4 |
p. 181-197 17 p. |
artikel |
|
| 6 | A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis |
Katelman, Michael |
2007 |
176 | 4 |
p. 47-60 14 p. |
artikel |
|
| 7 | Canonical Abstract Syntax Trees |
Reilles, Antoine |
2007 |
176 | 4 |
p. 165-179 15 p. |
artikel |
|
| 8 | Distributive ρ-calculus |
Cirstea, Horatiu |
2007 |
176 | 4 |
p. 95-111 17 p. |
artikel |
|
| 9 | Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics |
Sasse, Ralf |
2007 |
176 | 4 |
p. 29-46 18 p. |
artikel |
|
| 10 | Maude MSOS Tool |
Chalub, Fabricio |
2007 |
176 | 4 |
p. 133-146 14 p. |
artikel |
|
| 11 | On Modelling Sensor Networks in Maude |
Rodríguez, Dilia E. |
2007 |
176 | 4 |
p. 199-213 15 p. |
artikel |
|
| 12 | Partial Order Reduction for Rewriting Semantics of Programming Languages |
Farzan, Azadeh |
2007 |
176 | 4 |
p. 61-78 18 p. |
artikel |
|
| 13 | Preface |
Denker, Grit |
2007 |
176 | 4 |
p. 1-3 3 p. |
artikel |
|
| 14 | Rewriting Logic Systems |
Denker, Grit |
2007 |
176 | 4 |
p. 233-247 15 p. |
artikel |
|
| 15 | Solving Sudoku Puzzles with Rewriting Rules |
Santos-García, Gustavo |
2007 |
176 | 4 |
p. 79-93 15 p. |
artikel |
15 gevonden resultaten