Engr 664: Theory of Concurrent Programming
Spring Semester 2005
Lecture Notes

• Motivation

• Yi Liu's BoxScript Tutorial [ppt] [pdf]

• Yi Liu's BoxScript Examples:

  • CalPrice: [zip]

  • KeyWord In Context (KWIC)
    • source code [zip]
    • specification [pdf]

• Yi Liu's BoxScript compiler files:

  • BoxCompiler Installation Guide [pdf]

  • BoxCompiler program: [exe]

  • BoxCompiler datatypes: [zip]

  • How to Make Boxes: [pdf]

  • How to Write a BoxScript Test File: [pdf]

• BoxScript papers:

  • Y. Liu and H. C. Cunningham. BoxScript: A component-oriented language for teaching, In Proceedings of the ACM SouthEast Conference, Vol. 1, pp. 349-354, March 2005.

  • Y. Liu and H. C. Cunningham. Java components in BoxScript, In Proceedings of the ALAR 2005 Conference on Applied Research in Information Technology, pp. 87-94, Acxiom Laboratory for Applied Research, February 2005.

  • H. C. Cunningham, Y. Liu, and P. Tadepalli. Toward specification and composition of BoxScript components, In Proceedings of the Workshop on Specification and Verification of Component-Based Systems (SAVCBS), pp. 114-117, November 2004. http://www.cs.iastate.edu/~leavens/SAVCBS/2004/savcbs04.pdf

UP to ENGR 664 root document?