Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study
From MaRDI portal
Publication:1100879
DOI10.1016/S0747-7171(87)80066-4zbMath0641.68025MaRDI QIDQ1100879
Publication date: 1987
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
fixed point iteration; relational databases; finite differencing; data structure selection; attribute closure; automatic top-down approach to program development; formal problem specification; linear time solution; mechanical translation; transformational programming system
68W30: Symbolic computation and algebraic computation
68Q60: Specification and verification (program logics, model checking, etc.)
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
State-variable planning under structural restrictions: algorithms and complexity, Program construction by verifying specification
Uses Software