2000 search results - page 293 / 400 » Program Transformation and Proof Transformation |
113
Voted
FASE
2006
Springer
15 years 7 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...
125
Voted
ICALP
2000
Springer
15 years 7 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...
146
Voted
POS
2000
Springer
15 years 7 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...
147
click to vote
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
The problem of regulating air traffic in the en route airspace of the National Airspace System is studied using an Eulerian network model to describe air traffic flow. The evolutio...
128
Voted
SNPD
2008
15 years 5 months ago
2008
In the social reality, objects communicate with each other by means of assuming roles to establish collaboration, and then can adaptively change their roles to obtain other intera...