4067 search results - page 329 / 814 » Programs for Applying Symmetries |
158
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
se a new abstraction for pointer analysis that represents reads and writes to memory instead of traditional points-to relations. Compared to points-to graphs, our Assign-Fetch Gra...
181
click to vote
ICTAC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...
182
click to vote
ICCS
2009
Springer
15 years 4 months ago
2009
Springer
Distributed parallel applications often run for hours or even days before arriving to a result. In the case of such long-running programs, the initial requirements could change aft...
170
click to vote
COMSIS
2010
15 years 4 months ago
2010
The focus of this paper is on crafting a new visual language for attribute grammars (AGs), and on the development of the associated programming environment. We present a solution f...
163
click to vote
BIRTHDAY
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Model-Driven Engineering (MDE) places models as firstclass artifacts throughout the software lifecycle. In this context, model transformations are crucial for the succes...