The Munich project CIP

The Munich project CIP 2 The program transformation system CIP-S

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
Format:	Buch
Sprache:	English
Veröffentlicht:	Berlin u.a. Springer 1987
Schriftenreihe:	Lecture notes in computer science 292
Schlagworte:	Programmtransformation CIP-S
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

TC Two Working Conference on Program Specification and Transformation April 15 - 17, Bad Tölz, FRG ; preprints
Veröffentlicht: (1986)

Musterbasierte Parallelisierung sequenzieller Anwendungen Konzept und Implementierung eines Verfahrens zur Softwaretransformation
von: Molitorisz, Korbinian
Veröffentlicht: (2016)

Cipe Pineles a life of design
Veröffentlicht: (1999)

Program specification and transformation proceedings of the IFIP TC2 / WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15 - 17 Apr., 1986
Veröffentlicht: (1987)

Software reuse a holistic approach
Veröffentlicht: (1996)

Software reuse a holistic approach
Veröffentlicht: (1995)

Transformation parallel ablaufender Programme
von: Broy, Manfred 1949-
Veröffentlicht: (1980)

Abstract interpretation and optimising transformations for applicative programs
von: Mycroft, Alan
Veröffentlicht: (1981)

A second-order matching procedure for the practical use in a program transformation system
von: Gerlach, Michael
Veröffentlicht: (1983)

A second-order matching procedure for practical use in a program transformation system
von: Gerlach, Michael
Veröffentlicht: (1983)

Ispania - Kypros stus antipodes tēs Mesogeiu ; diachronikes scheseis = España - Chipre : en las antípodas del Mediterráneo ; relaciones a través de los tiempos
von: Geōrgēs, Giōrgos 1948-
Veröffentlicht: (2010)

Programs as data objects second symposium, PADO 2001, Aarhus, Denmark, May 21 - 23, 2001 ; proceedings
Veröffentlicht: (2001)

Using transformations to verify parallel programs
von: Olderog, Ernst-Rüdiger 1955-, et al.
Veröffentlicht: (1990)

Transformational program development in a particular problem domain
von: Partsch, Helmuth 1950-
Veröffentlicht: (1985)

Zur formalen Entwicklung von graphentheoretischen Algorithmen durch Transformation
von: Berghammer, Rudolf 1952-
Veröffentlicht: (1984)

Konstruktion effizienter Markov-Algorithmen durch Programm-Transformationen
von: Partsch, Helmuth 1950-
Veröffentlicht: (1979)

Ein Transformationssystem zur Programmentwicklung
von: Persch, Guido
Veröffentlicht: (1987)

Zur formalen Entwicklung von graphentheoretischen Algorithmen durch Transformation
von: Berghammer, Rudolf 1952-
Veröffentlicht: (1984)

Elimination von Rekursionen
von: Petersen, Ulrike
Veröffentlicht: (1983)

The Munich project CIP
Veröffentlicht: (1985)

The Munich project CIP
Veröffentlicht: (1985)

Logic based program synthesis and transformation 9th international workshop, LOPSTR '99, Venice, Italy, September 22 - 24, 1999 ; selected papers
Veröffentlicht: (2000)

Logic based program synthesis and transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 ; revised selected papers
Veröffentlicht: (2007)

Logic based program synthesis and transformation 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17 - 20, 2002 ; proceedings
Veröffentlicht: (2003)

Logic program synthesis and transformation, meta programming in logic 4th international workshops LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994 ; proceedings
Veröffentlicht: (1994)

Logic based program synthesis and transformation 10th international workshop, LOPSTR 2000, London, UK, July 24 - 28, 2000 ; selected papers
Veröffentlicht: (2001)

Revision von Software-Anwendungsmodellen auf der Basis eines objektorientierten Datenmodells
von: Schäfer, Torsten
Veröffentlicht: (1992)

Combinatorial algorithms
von: Kučera, Luděk
Veröffentlicht: (1990)

Stochastische Modellierung und numerische Minimierung in der Immunologie
von: Stolte, Thomas 1975-
Veröffentlicht: (2007)

Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
von: Stoyan, Herbert 1943-
Veröffentlicht: (1984)

Semantics of a Call-by-Need Lambda Calculus with McCarthy amb for programm equivalence
von: Sabel, David 1977-
Veröffentlicht: (2008)

Logic-based program synthesis and transformation 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009; revised selected papers
Veröffentlicht: (2010)

Logic-based program synthesis and transformation 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009; revised selected papers
Veröffentlicht: (2010)

Über Transformationsregeln für nichtdeterministische rekursive Funktionsdefinitionen
von: Furbach, Ulrich 1948-
Veröffentlicht: (1983)

Über Transformationsregeln für nichtdeterministische rekursive Funktionsdefinitionen
von: Furbach, Ulrich 1948-
Veröffentlicht: (1983)

The transformational derivation of parallel programs using data distribution algebras and skeletons
von: Südholt, Mario
Veröffentlicht: (1997)

Reasoning about program transformations imperative programming and flow of data
von: Collard, Jean-François
Veröffentlicht: (2010)

Werkzeuge zur Optimierung von logischen Programmen Erkenntnisse aus einem Vergleich mit attributierten Grammatiken
von: Tsakpinis, Athanassios 1958-
Veröffentlicht: (1989)

Logic-based program synthesis and transformation 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers
Veröffentlicht: (2018)

Logic-based program synthesis and transformation 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings
Veröffentlicht: (2021)