Is Strategic Programming a Viable Paradigm?
Paul Klint · Electronic Notes in Theoretical Computer Science · 2001
This discussion paper for the Workshop on Reduction Strategies in Programming and Rewriting (WRS'01) speculates on the viability of strategic programming in mainstream programming and in two selected application areas: theorem proving and programming-in-the-large.