1492 search results - page 201 / 299 » Concurrent programming in VISO |
117
click to vote
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
120
click to vote
JLP
2010
14 years 7 months ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
140
Voted
IWMM
2011
Springer
14 years 3 months ago
2011
Springer
We propose a new memory model called short-term memory for managing objects on the heap. In contrast to the traditional persistent memory model for heap management, objects in sho...
125
Voted
VEE
2012
ACM
13 years 8 months ago
2012
ACM
As cloud-based computation becomes increasingly important, providing a general computational interface to support datacenterscale programming has become an imperative research age...
114
click to vote
SIGSOFT
2002
ACM
16 years 1 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...