Lau Kung-Kiu — Lecture Notes in Computer Science. Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Lecture Notes in Computer Science. Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000
Автор: Lau Kung-Kiu
Аннотация:
Presents papers from the 10th Intl Workshop, LOPSTR 2000, held in London, UK, July 24-28, 2000. Synthesis, transformation, analysis, specialization, and abstract interpretation are discussed. Softcover.
|
|
О проекте