On the Language Design and Semantic Foundation of LCL a Larch C Interface Speci cation Language

@inproceedings{Chalin1995OnTL,
  title={On the Language Design and Semantic Foundation of LCL a Larch C Interface Speci cation Language},
  author={Patrice Chalin},
  year={1995}
}
On the Language Design and Semantic Foundation of LCL a Larch C Interface Speci cation Language The specialization of a speci cation language to a particular programming lan guage is an important characteristic of module interface speci cation languages MISL s The only well developed MISL s are the Larch interface languages and among these LCL a Larch C interface speci cation language would seem to be the most mature Our e orts to elaborate a semantic model for LCL lead to the identi cation of… CONTINUE READING