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;

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

Teodor Rus, Sriram Pemmaraju, Tom Halverson, Eric Van Wyk, Jim Jones, Hatem Abu-Dagga, Anil Dutt Goje, Bruce Bahnsen

Last modified: April 9, 2007