Lecture Notes in Computer Science - Methods of Programming
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer-Verlag

354054576x
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Literate program derivation: A case study

2005 ◽  
pp. 101-124 ◽  
Author(s):  
Peter Pepper
Keyword(s):  
Program Derivation

Programs viewed as Skolem functions

2005 ◽  
pp. 125-134
Author(s):  
Ralf Steinbrüggen
Keyword(s):  
Skolem Functions

Transformational meta program development

2005 ◽  
pp. 19-33
Author(s):  
Bernd Krieg-Brückner
Keyword(s):  
Program Development

A formal method for the systematic reuse of specification components

2005 ◽  
pp. 49-75 ◽  
Author(s):  
Rolf Hennicker ◽  
Martin Wirsing
Keyword(s):  
Formal Method ◽  
Systematic Reuse

scholarly journals Calculating a garbage collector

2005 ◽  
pp. 135-192
Author(s):  
Ulrich Berger ◽  
Werner Meixner ◽  
Bernhard Möller
Keyword(s):  
Garbage Collector

Transformational development of circuit descriptions for binary adders

2005 ◽  
pp. 217-237 ◽  
Author(s):  
Carlos Delgado Kloos ◽  
Walter Dosch
Keyword(s):  
Transformational Development
Load More ...
Sign in / Sign up

Export Citation Format

Share Document