LSL Handbooks
This page describes known
handbooks of traits written in the
Larch Shared Language
(LSL) .
The Handbook of Guttag and Horning
Guttag and
Horning have written a
Handbook of useful larch traits, which appears as
appendix A of their book.
Hua Zhong's Z Traits
Hua Zhong
has written a
Z traits handbook;
this handbook consists of traits that correspond to those in the
Z mathematical toolkit.
The traits are also available by anonymous ftp from
ftp://ftp.cs.iastate.edu/pub/larch/ZTraits/
in file
ZTraits.tar.gz.
Her
master's project
describes this handbook and how to translate Z specifications into Larch.
My Handbooks
I have written the following handbooks of traits.
Math Traits
The handbook of
mathematical traits
supplements Guttag and Horning's traits.
Calendar Traits
The handbook of
calendar traits
may be useful for specifying calendar date manipulation.
Larch/C++ Traits
The handbook of
built-in traits for Larch/C++
is designed to be used with the specification language
Larch/C++.
SPECS Traits
The handbook of
SPECS traits
constitutes a restricted vocabularly of types for use in specificaion.
It is designed for
Al Baker's family of specification languages SPECS,
but is similar to the models used in VDM-SL.
Acknowledgements
This work was supported in part by NSF grant CCR-9593168.
Thanks to John Penix for his
lsl2html tool.
Last update $Date: 2007/08/10 23:10:51 $
Gary T. Leavens