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
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
|