2477 search results - page 256 / 496 » First-Order Interactive Programming |
146
click to vote
IAT
2010
IEEE
15 years 10 days ago
2010
IEEE
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...
145
click to vote
IANDC
2010
14 years 11 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
368
click to vote
SIGMOD
2012
ACM
13 years 4 months ago
2012
ACM
Tableau is a commercial business intelligence (BI) software tool that supports interactive, visual analysis of data. Armed with a visual interface to data and a focus on usability...
241
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...
125
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...