Transformational program development in a particular problem domain

DOI10.1016/0167-6423(86)90008-0zbMath0601.68015OpenAlexW2039631300MaRDI QIDQ1081295

Helmut Partsch

Publication date: 1986

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(86)90008-0

zbMATH Keywords

embeddingformal specificationcontext-free grammarsrecognitionparsingprogramming methodologydevelopment strategytransformation rulecompact rules for finite setselimination of existential quantifiersmanipulation of grammarsmanipulations of applicative programstransformational program developmentTransformational programming

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items (1)

A survey of strategies in rule-based program transformation systems

This page was built for publication: Transformational program development in a particular problem domain