2477 search results - page 329 / 496 » First-Order Interactive Programming |
89
Voted
CSL
2009
Springer
15 years 4 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
EUROPAR
2009
Springer
15 years 4 months ago
2009
Springer
Moore’s Law suggests that the number of processing cores on a single chip increases exponentially. The future performance increases will be mainly extracted from thread-level par...
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
Scripting languages enjoy great popularity due their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powe...
UM
2009
Springer
15 years 4 months ago
2009
Springer
This paper describes the evaluation of a Scrutable User Modelling Infrastructure. SUMI is intended to form a service to allow users to share their user models from social e-network...
93
Voted
TOOLS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...