Scott A. Smolka

Subjects

Computer science, Interactive computer systems, Parallel processing (Electronic computers), Programming Techniques, Algorithm Analysis and Problem Complexity, Application software, development, Computer software, Computer software, testing, Computer software, verification, Computers, congresses, Congresses, Information theory, Logic design, Logics and Meanings of Programs, Machine theory, Mathematical Logic and Formal Languages, Models and Principles, OSP (Computer file), Operating systems (Computers), Parallel processing (electronic computers), Programming Languages, Compilers, Interpreters, Software engineering, Theory of Computation, User Interfaces and Human Computer Interaction