CIS705a Text Materials

Sooner: Programming in Scala An Introduction to Programming-Language Semantics. From CRC/ACM Computer Science Handbook, 3d ed., 2014. My Denotational Semantics text from 1986. An assignment language that is nonstrict in the use of its store Semantics of the while-loop and soundness of its Hoare-logic rule Background and motivations for the lambda-calculus, Encoding arithmetic and commands in lambda-calculus Denotational semantics based on lambda-calculus The Lambda Calculus, from The Structure of Typed Programming Languages, D.A. Schmidt, MIT Press, 1994. Domain-specific languages An Introduction to Milner's CCS, by L. Aceto and K.G. Larsen, Aalborg University, Denmark, 2005 CCS notes Notes on coinduction Exercises with coinduction

Later:

• Namespace-based language modelling

• Programming-language paradigms and machine models
• Grammars, trees, and interpreters
• Some history about programming-language design

• Model Checking: A Tutorial Introduction from Proc. SAS'99, LNCS 1694.
• Model checking and the mu-calculus, by E. Allen Emerson, from Descriptive Complexity and Finite Models 1996: 185-214.
• Introduction to computability

David Schmidt   das at ksu.edu This work is licensed under a Creative Commons License.