Генерация тестов для модулей проверки статической семантики в компиляторах.
В статье исследуется проблема построения программ-тестов для модулей проверки статической семантики в компиляторах, рассматриваются существующие способы формального описания правил статической семантики языков программирования и обсуждаются причины, мешающие использованию существующих нотаций для ре...
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Artigo |
| Hizkuntza: | Inglês |
| Argitaratua: |
Russian Academy of Sciences, Ivannikov Institute for System Programming
2004-01-01
|
| Saila: | Труды Института системного программирования РАН |
| Sarrera elektronikoa: | https://www.ispras.ru/en/proceedings/isp_2004_8_1/isp_2004_8_1_59/ |
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|