A rewriting logic semantics for NCL
| Autor: | dos Santos, Joel, Braga, Christiano, Muchaluat-Saade, Débora C. |
|---|---|
| Zdroj: | In Science of Computer Programming September 2015 107-108:64-92 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | dos Santos, Joel, Braga, Christiano, Muchaluat-Saade, Débora C. |
|---|---|
| Zdroj: | In Science of Computer Programming September 2015 107-108:64-92 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect