Zusammenfassung
Programmieren-im-Großen (PG) kann man als typisiertes, funktionales Programmieren verstehen [3]. Um diese Denkweise programmiersprachlich zu unterstützen, haben wir M, eine typisierte, funktionale Sprache für das PG, entwickelt. In M bilden Module die elementaren Werte and Schnittstellen die elementaren Typen; funktionale Ausdrücke beschreiben die Komponenten von Familien von SoftwareSystemen. Durch Reduktion der Ausdrücke werden Komponenten zu einzelnen Software-Systemen kombiniert and gebunden.
Grundlage von M ist ein erweiterter ⋋-Kalkül, der die Instanzüerung von Modulen syntaktisch explizit macht. Schnittstellen sind als dependent types [9] formalisiert, und die operationale Semantik ist durch Reduktionsregeln definiert. Diese Arbeit skizziert M und in der gebotenen Kürze den zugrundeliegenden Modulkalkül.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Barendregt, H. P.: Lambda calculi with types. In Handbook of Logic in Computer Science, Band 2, S. 117 - 309. Oxford University Press, New York, 1992.
Batory, D. and O’Malley, S.: The design and implementation of hierarchical software systems with reusable components. ACM TOSEM 1(4):355-398, Okt. 1992.
Burstall, R. M.: Programming with modules as typed functional programming. In Proc. Internation Conference on 5th Generation Computing Systems, Tokyo, 1984.
Cardelli, L.: Typeful programming. In Formal Description of Programming Concepts, S. 431-507. Springer Verlag, 1991.
Garlan, D. and Perry, D. E.: Introduction to the special issue on software architecture. IEEE Trans. on Software Engineering, 21 (4): 269 - 274, April 1994.
. Grosch, F. J.: A syntactic approach to structure generativity. Inform at ik-Bericht 96-05, TU Braunschweig, Juli 1996.
Grosch, F. J.: M - eine typisierte, funktionale Sprache fur das Programmieren-imGrolien. Informatik-Bericht, TU Braunschweig, Mai 1997.
. Leroy, X.: Le systeme Caml Special Light: modules et compilation efficace en Caml. Bericht 2721, INRIA, November 1995. Auf Franzbsisch.
MacQueen, D.: Using dependent types to express modular structure. In 13th POPL, S. 277 – 286. ACM Press, Januar 1986.
Milner, R., Tofte, M. and Harper, R.: The Definition of Standard ML. 1990.
Parnas, D. L.: Designing software for ease of expansion and contraction. IEEE Trans. on Software Engineering SE-5(2):128-138, Marz 1979.
Parnas, D. L.: On the design and development of program families. IEEE Trans. on Software Engineering SE-2(1):1-9, Marz 1976.
Stone, C. and Harper, R.: A type-theoretic account of Standard ML 1996. Bericht CMU-CS-96-136, School of Computer Science, CMU, Mai 1996.
Thompson, S.: Type Theory and Functional Programming Addison-Wesley, 1991.
Tracz, W.: DSSA (Domain-specific software architecture) pedagogical example. ACM SIGSOFT Software Engineering Notes 20(3):49-62, Juli 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grosch, FJ. (1997). M — eine typisierte, funktionale Sprache für das Programmieren-im-Großen. In: Jarke, M., Pasedach, K., Pohl, K. (eds) Informatik ’97 Informatik als Innovationsmotor. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60831-5_74
Download citation
DOI: https://doi.org/10.1007/978-3-642-60831-5_74
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63066-1
Online ISBN: 978-3-642-60831-5
eBook Packages: Springer Book Archive