Standard ML package giving a portable, typed, abstract interface to the user interface description and command language Tcl/Tk. Allows making graphical user interfaces in structured and reusable ways, supported by SML's powerful module system.

Goal: consolidate, integrate theoretical basis of algebraic specification methods and apply it to software. The algebraic approach supports precise specification of semantics of generic reusable system components, providing formal conceptual basis for...

Algebraic Specification + Functional Programming = Environment for Formal Software Development. An extension of CASL that establishes a connection with the functional programming language Haskell.

Assistant professor doing research on cognitive robotics in the Krieg-Brückner group, Bremen Institute of Safe Systems (BISS), University of Bremen, Germany. Interests include control of autonomous mobile robotics, image processing, and simulation.

From UNIX troff format to HTML. [UNIX]