Stem constructiv$ (all stems)
2 papers:
- IWPC-2002-Exton #comprehension
- Constructivism and Program Comprehension Strategies (CE), pp. 281–284.
- PODS-1989-Bry #database #formal method #logic programming
- Logic Programming as Constructivism: A Formalization and its Application to Databases (FB), pp. 34–50.