H ? « »

Language peer sets for CIP-L:
Germany
Germany/1980
Designed 1980
1980s languages
Fourth generation
Late Cold War
Genus Definition languages
Specialised Languages
Definition languages
Language-related
Content-reflexive
Definition languages/1980
Language-related/1980
Content-reflexive/1980
Definition languages/Germany
Language-related/Germany
Content-reflexive/Germany
Specialised Languages
Specialised Languages/1980
Specialised Languages/de

CIP-L(ID:1072/cip001)

alternate simple view
Country: Germany
Designed 1980
Published: 1981
Genus: Definition languages
Sammet category: Specialised Languages


For Computer-aided Intuition-guided Programming.
Wide-spectrum language for incremental program transformation.
There are ALGOL-like and Pascal-like variants.


People:
Related languages
CIP-L CHI   Influence
CIP-L PAnnDA-S   Influence

References:
  • Bauer, F. (1981) Bauer, F. L.; Broy, M.; Dosch, W.; Gnatz, R.; Kriec-Bruckner, B.; Laut, A.; Luckman, M.; Matzner, T.; Moller, B.; Partsch, H.; Pepper, P.; Samelson, K.; Steinbruggen, R.; Wirsing, M.; and Wossner, H. (Technische Univ. Munchen, Munich, West Germany) Programming in a wide spectrum language: a collection of examples. Sci. Comput. Program. 1, 1 (Oct. 1981), 73-114.
  • Broy, M. and P. Pepper (1981) Broy, M. and P. Pepper "Program Development as a Formal Activity" IEEE Transactions on Software Engineering, January 1981, pp14-15 Extract: Introduction
  • Berry, D. (1983) Berry, D. M. review of Bauer et al 1981 Abstract
          in (1983) ACM Computing Reviews January 1983
  • (1984) Bauer, F. L.; R. Berghammer, M. Broy, W. Dosch, F. Geiselbrechtinger, R. Gnatz, E. Hangel, W. Hesse, B. Krieg-Briickner, A. Laut, T. Matzner, B. Moller, F. Nickl, H. Partsch, P. Pepper, K. Samelson, M. Wirsing, and H. Wossner. The Munich Project CIP, Vol. 1: The Wide Spectrum Language CIP-L. Springer LNCS 183, 1985.
          in (1983) ACM Computing Reviews January 1983
  • MolterB. , (1984) MolterB. , "A survey of the project CIP: Computer-aided, intuition-guided programming -- Wide spectrum language and program transformations," Tech. Rep. TUM-18406, Tech. Univ. Munich, Munich, West Germany, 1984.
          in (1983) ACM Computing Reviews January 1983
  • Cerioli et al (1997) Cerioli, Maura; Gogolla, Martin; Kirchner, Helene; Bruckner, Bernd Krieg; Qian, Zhenyu; Wolf, Markus "Algebraic System Specification and Development - Survey and Annotated Bibliography" Second Edition Compass Group Bremen 1997 Abstract ps Extract: cip-l Extract:
          in (1983) ACM Computing Reviews January 1983
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder