Title: Type and effect systems
Subjects: Computer algorithms, Verification, Computer software, Concurrent engineering, Chaotic behavior in systems, System analysis, Multitasking (Computer science)