[Prev][Next][Index]
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
Abstract
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
http://www.cs.concordia.ca/~faculty/chalin/home-page.html
--------------------------------------------------------------------------------