University of Iowa homepage
 

Research > TICS


TICS: Technology for Implementing Computer Software

Goals:

a) Algorithms for language processing based on universal properties in algebra as alternative to automata theory;
b) Tools for automatic generation of correct programs from correct specifications;
c) Program portability by language to language translation;
d) Tools for incremental development of large programs;
e) Optimizations by source language control of sequential processes;
Achievements:
a) Language analysis tools
b) Lexicon specification by regular expressions of conditions
c) Parsing algorithms based on pattern-matching
d) Code generation by semantics macro-expansions
e) Efficient and optimal register management by graph-coloring
f) Algebraic compilers: Pascal to RS/6000, VAX11/780, C;
g) Real-time program generation from CoRE specifications
Participants:
Teodor Rus, Sriram Pemmaraju, Tom Halverson, Eric Van Wyk, Jim Jones, Hatem Abu-Dagga, Anil Dutt Goje, Bruce Bahnsen

Last modified: April 9, 2007

Monday, April 09, 2007, 15:58:51.
University of Iowa Logo College of Liberal Arts and Sciences Logo Computing Research Association Logo Association for Computing Machinery Logo
Translate this page automatically.
 
©2005 The University of Iowa, All Rights Reserved.