|
| Title of project |
Source transformation systems |
| Competition Year |
2007 |
| Fiscal Year |
2007-2008 |
| Name of Person |
Cordy, James |
| Institution |
Queen's University
|
| Department |
Computing, School of |
| Province |
Ontario |
| Award Amount |
$48,000 |
| Instalment |
1 - 5 |
| Program |
Discovery Grants Program - Individual |
| Selection Committee |
Computing and Information Sciences - A |
| Research Subject |
INFORMATION TECHNOLOGY : Software and development |
| Area of Application |
INFORMATION AND COMMUNICATION SERVICES : Computer software |
| Co-researchers |
No co-researcher |
| Award Summary |
Structural source transformation is a recent and increasingly popular computer programming paradigm with a wide range of applications in academia and industry. We have designed the TXL programming language to explicitly and conveniently express problem solutions using this new paradigm. In this work we continue to explore and extend techniques for expressing and implementing source transformation systems such as TXL in the context of several application areas, including computer software testing and verification, document recognition and analysis, autonomic computing and the world wide web. |
| Partners |
No partner |
|