It is not unusual for a speaker to start a lecture with an introduction. As some in the audience might be totally not familiar with the issues that I wish to address and the terminology, which I will ...

I retired from UT in December, 2016. My last big project was FREGE, an online environment for learning introductory logic and discrete mathematics. It is an interactive textbook with over 500 problems ...

For a complete installation of Gnu Common Lisp get gcl-2.6.1.exe (15 MB download, 60 MB to install). Unfortunately, at present this version of GCL produces a ^M (Return) character at the end of each ...

The algorithms and computational theory (ACT) group focuses on the theoretical foundations of computer science. The current research interests of faculty in the group include algorithm design, ...

Programming languages, modeling languages, domain-specific languages, strategic programming, interfacing programming languages and databases, distributed computing and web services, software ...

where context-name is the name of the context (usually the name of the kind of object being identified or diagnosed, e.g., rock or patient), parameters is a list of parameter descriptions, ...

Nothing on my web pages should be taken as representing the official position of the University of Texas at Austin or any other part of the government of the State of Texas.

Automatic programming is the generation of programs by computer, usually based on specifications that are higher-level and easier for humans to specify than ordinary programming languages. Generation ...

I am currently conducting fundamental research in the area of distributed real-time systems. My primary concerns include specification techniques for real-time systems, algorithms for guaranteeing ...

Greg Plaxton is a professor of Computer Science at the University of Texas at Austin. His research addresses the design and analysis of efficient algorithms for various basic computational problems, ...

Personal Homepage of David Wu (UT Austin Computer Science) ...

University of Texas, Austin 78712-0233.