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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1051, Issue , 1996, Pages 385-404

  Chalin, Patrice ^a   Grogono, Peter ^a   Radhakrishnan, T ^a  

^a Gina Cody School of Engineering and Computer Science   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATION LANGUAGES; SPECIFICATIONS;

FUNCTION SPECIFICATION; IMPLICIT PARAMETERS; INTERFACE SPECIFICATION LANGUAGES; MODULE INTERFACES; REFERENTIAL TRANSPARENCY;

FORMAL METHODS;

EID: 34250205490     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60973-3_98     Document Type: Conference Paper

References (21)

1. Jonathan Bowen and Mike Hinchey. Ten commandments of formal methods. IEEE Computer, 28(4):56-63, April 1995.
2. Patrice Chalin. On the language design and semantic foundation of LCL, a Larch/C interface specification language. CU/DCS TR 95-12, Computer Science Department, Concordia University, December 1995. Ph.D. Thesis.
3. Jolly Chen. The Larch/Generic interface language. S. B. Thesis, Department of Electrical Engineering and Computer Science, MIT, 1989.
4. George W. Ernst, Raymond J. Hookway, and William F. Ogden. Modular verification of data abstractions with shared realizations. IEEE Transactions on Software Engineering, 20(4):288-307, April 1994.
5. David Evans. Using specifications to check source code. TR 628, MIT LCS, June 1994. S.M. Thesis.
6. David Evans, John V. Guttag, James J. Horning, and Yang Meng Tan. LCLint: A tool for Using specifications to check code. In Symposium on the Foundations o/ Software Engineering, December 1994.
7. John V. Guttag and James J. Homing. LCL: A Larch interface language for C. Technical Report 74, DEC Systems Research Center, July 1991.
8. John V. Guttag and James J. Horning, editors. Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science. Springer- Verlag, 1993.
9. C.A.R. Hoare. An overview of some formal methods for program design. IEEE Computer, 20(9):85-91, September 1987.
10. Michal Iglewski, Jan Madey, David Lorge Pumas, and Philip C. Kelly. Documentation paradigms. CRL TR 270, McMaster University, July 1993.
11. ISO/IEC 9899: 1990 (E). Programming languages--C.
12. Ann Jackson and Daniel Hoffman. Inspecting module interface specifications. Software Testing, Verification and Reliability, 4:101-117, 1994.
13. Cliff B. Jones. Systematic Software Development using VDM. Computer Science Series. Prentice Hall International, second edition, 1990.
14. Richard Allen Lerner. Specifying Objects of Concurrent Systems. PhD thesis, Carngie Mellon University, May 1991. TR CMU-CS-91-131.
15. Carroll Morgasa. Programming from Specifications. Computer Science Series. Prentice Hall International, 1990.
16. David Lorge Pumas and Yabo Wang. The trace assertion method of module interface specification. TR 89-261, Queen's University at Kingston (Dept. of Computing and Information Science), 1989.
17. S. Prehn and W.J. Toetenel, editors. VDM'91: Formal Software Development Methods, volume 551 of Lecture Notes in Computer Science. VDM Europe, Springer-Verlag, 1991. Volume 1: Conference Contributions.
18. J.M. Spivey. The Z Notation: A Reference Manual. Computer Science Series. Prentice Hall International, second edition, 1992.
19. Yang Meng Tan. Formal specification techniques for promoting software modularity, enhancing documentation, and testing specifications. TR 619, MIT LCS, June 1994. Ph.D. Thesis.
20. Mark T. Vandevoorde. Exploiting specifications to improve program performance. TR 598, MIT LCS, February 1994. Ph.D. Thesis.
21. Jeannette M. Wing and Amy Moormann Zaremski. Unintrusive ways to integrate formal specifications in practice. In [17], pages 545-569, 1991.