Datalog, a declarative logic programming language with a concise syntax, has become an essential tool in the realm of program analysis. By expressing recursive computation in a clear and ...

For updated course listing of all undergraduate informatics courses at UAB, check out the Undergraduate Course Catalog. Introduction to bioinformatics and methodologies, with emphasis on concepts and ...