CU-DCS-TR-95-04: Shortcomings of LCL 2.4

Below is the abstract of a newly available TR.  It can be obtained
by anonymous ftp at ftp.cs.concordia.ca in pub/chalin/CU-DCS-TR-95-04.ps.Z.

			   Shortcomings of LCL 2.4

				  P. Chalin


        Critical assessment of the strengths and weaknesses of a language
        are essential for its evolution. In this paper we present some of
        the more significant shortcomings of LCL 2.4, a Larch/C
        specification language used to document the interfaces of program
        components written in ISO C. We illustrate inadequacies in the
        definition and insufficiencies in the expressiveness of LCL by
        means of examples that cover dependencies between objects,
        implicit parameter constraints, the meaning of function
        specifications, and the trashed operator. We also demonstrate
        inconsistencies in the language definition. This paper focuses on
        shortcomings that can be understood without detailed knowledge of
        the semantics of LCL.

P. Chalin				Tel.: (514) 848-3000
Computer Science Department		FAX:  (514) 848-2830
Concordia University			E-mail: chalin@cs.concordia.ca
1455 de Maisonneuve Blvd. West, Montreal, Quebec, Canada H3G 1M8