3595 search results - page 91 / 719 » Roles of Program Extension |
129
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
Features identify core characteristics of software in order to produce families of programs. Through configuration, different variants of a program can be composed. Our approach...
165
click to vote
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
Concerns for concurrent systems are not always easy to modularize within single units using traditional programming languages. The concept of aspect orientation can be applied to ...
212
click to vote
PADL
2011
Springer
14 years 7 months ago
2011
Springer
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
137
click to vote
ESOP
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Nominal Isabelle is a definitional extension of the Isabelle/HOL theorem prover. It provides a proving infrastructure for reasoning about programming language calculi in...
152
click to vote
LOGCOM
2010
15 years 2 months ago
2010
In this paper, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension ...