↓ Skip to main content

Program Transformation and Programming Environments

Overview of attention for book
Cover of 'Program Transformation and Programming Environments'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction: What Industry Needs - What Research Offers
  3. Altmetric Badge
    Chapter 2 Life Cycle Models and Programming Environments
  4. Altmetric Badge
    Chapter 3 Management & Organization
  5. Altmetric Badge
    Chapter 4 Formal Methods in Program Development
  6. Altmetric Badge
    Chapter 5 Software Specification
  7. Altmetric Badge
    Chapter 6 Program Development by Transformations
  8. Altmetric Badge
    Chapter 7 Acceptance of Formal Methods
  9. Altmetric Badge
    Chapter 8 Outlook
  10. Altmetric Badge
    Chapter 9 Conclusion
  11. Altmetric Badge
    Chapter 10 Coherent Development Methods in an Industrial High Level Langage Environment
  12. Altmetric Badge
    Chapter 11 A systematics of software engineering: Structure, terminology and classification of techniques
  13. Altmetric Badge
    Chapter 12 Assessment of Software Quality
  14. Altmetric Badge
    Chapter 13 Measuring Software Technology
  15. Altmetric Badge
    Chapter 14 Organizational Means to Increase Software Quality
  16. Altmetric Badge
    Chapter 15 The Role of Configuration Management
  17. Altmetric Badge
    Chapter 16 Understanding and Expressing Software Construction
  18. Altmetric Badge
    Chapter 17 Structure-Oriented Programming
  19. Altmetric Badge
    Chapter 18 Algebraic Methods for Program Construction: The Project CIP
  20. Altmetric Badge
    Chapter 19 Specification and Transformation: Automated Implementation
  21. Altmetric Badge
    Chapter 20 Algebraic Techniques for Program Specification
  22. Altmetric Badge
    Chapter 21 Verification of Processes Using Program Transformation
  23. Altmetric Badge
    Chapter 22 Exception Handling: Formal Specification and Systematic Program Construction Extended Abstract
  24. Altmetric Badge
    Chapter 23 Programming with Continuations
  25. Altmetric Badge
    Chapter 24 Inferential Techniques for Program Development
  26. Altmetric Badge
    Chapter 25 Lisp to Fortran—Program Transformation Applied
  27. Altmetric Badge
    Chapter 26 Language Comparison and Source-to-Source Translation
  28. Altmetric Badge
    Chapter 27 The CIP Transformation System
  29. Altmetric Badge
    Chapter 28 Transformation-Based Software Development
  30. Altmetric Badge
    Chapter 29 Supercompilers - Extended Abstract
  31. Altmetric Badge
    Chapter 30 Software Development and Inferential Programming
  32. Altmetric Badge
    Chapter 31 Program Transformation in the ALICE Project
  33. Altmetric Badge
    Chapter 32 From Geological Knowledge to Computational Relationships: A Case Study of the Expertise of Programming
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

facebook
1 Facebook page
wikipedia
1 Wikipedia page

Citations

dimensions_citation
12 Dimensions

Readers on

mendeley
5 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Program Transformation and Programming Environments
Published by
Springer-Verlag Berlin Heidelberg, January 1984
DOI 10.1007/978-3-642-46490-4
ISBNs
978-3-64-246490-4, 978-3-64-246492-8
Editors

Peter Pepper

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 5 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Unspecified 1 20%
Lecturer 1 20%
Student > Postgraduate 1 20%
Student > Master 1 20%
Unknown 1 20%
Readers by discipline Count As %
Computer Science 3 60%
Unspecified 1 20%
Unknown 1 20%