So, given work like that, what remaining tough problems are there before you would find a metaprogramming system safe and acceptable? Or do we have the fundemantals available but you just don't like the lack of deployment in mainstream or pragmatic languages and IDE's?
Note: Just dawned on me that you might mean abstract programming in the sense of specifying, analyzing, and coding up abstract requirements closer to human language. Still interested in what gripes or goals you have on that end if so.
Type-safe metaprogramming Sheard
http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=E63...
Type-safe, reflective metaprogramming Microsoft
http://research.microsoft.com/apps/video/dl.aspx?id=103561
Rascal - Metaprogramming language and platform
http://www.rascal-mpl.org/
So, given work like that, what remaining tough problems are there before you would find a metaprogramming system safe and acceptable? Or do we have the fundemantals available but you just don't like the lack of deployment in mainstream or pragmatic languages and IDE's?
Note: Just dawned on me that you might mean abstract programming in the sense of specifying, analyzing, and coding up abstract requirements closer to human language. Still interested in what gripes or goals you have on that end if so.