English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

We present some of the more significant shortcomings of LCL, a Larch/C specification language used to document the interfaces of modules 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, the trashing of objects, and implicit parameter constraints in function specifications. A violation of the principle of referential transparency is also shown. We describe changes to the LCL language that overcome the identified shortcomings. Since most of the shortcomings are not particular to LCL, this paper will be of interest to language designers and users of other module interface specification languages.

Identification of and solutions to shortcomings of LCL, a Larch/C interface specification language