3775 search results - page 698 / 755 » The Expression Problem Revisited |
101
click to vote
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
The development of complex systems invariably involves many stakeholders who have different perspectives on the problem they are addressing, the system being developed, and the pr...
111
click to vote
ICFP
2007
ACM
16 years 26 days ago
2007
ACM
The analysis and verification of higher-order programs raises the issue of control-flow analysis for higher-order languages. The problem of constructing an accurate call graph for...
ICFP
2006
ACM
16 years 26 days ago
2006
ACM
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
ICFP
2006
ACM
16 years 26 days ago
2006
ACM
Dynamic binding and delimited control are useful together in many settings, including Web applications, database cursors, and mobile code. We examine this pair of language feature...
107
click to vote
ICFP
2002
ACM
16 years 26 days ago
2002
ACM
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...