G. Ramalingam Programming Languages and Systems - 2008 ISBN: 978-3-540-89330-1 Subjects--Topical Terms: Logics and Meanings of ProgramsOperating SystemsProgramming TechniquesSoftware EngineeringSoftware Engineering/Programming and Operating Systems Programming Languages, Compilers, InterpretersComputer Science