The essence of program transformation by
✍
Jones, Neil D.
📂
Article
📅
1994
🏛
Springer-Verlag
🌐
German
⚖ 867 KB
This volume contains 15 papers from research areas where Japanese theoretical computer science is particularly strong. Many are about logic, and its realization and applications to computer science; others concern synthesis, transformation and implementation of programming languages, and complexity