1882 search results - page 257 / 377 » Transformational Programming and Forests |
146
click to vote
FOAL
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...
149
click to vote
CG
2006
Springer
15 years 9 months ago
2006
Springer
While recently the strength of chess-playing programs has grown immensely, their capability of explaining in human understandable terms why some moves are good or bad has enjoyed l...
141
click to vote
FASE
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The separation of concerns, as a conceptual tool, enables us to manage the complexity of the software systems that we develop. There have been a number of approaches aime...
162
click to vote
ICALP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We describe SAFL, a call-by-value first-order functional language which is syntactically restricted so that storage may be statically allocated to fixed locations. Evalua...
170
click to vote
POS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Aggressive optimization of programs often relies on analysis and transformation that cuts across the natural abstraction boundaries of the source programming language, su...