1552 search results - page 15 / 311 » Concepts and Concept-Oriented Programming |
FM
2003
Springer
14 years 3 months ago
2003
Springer
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
CC
2012
Springer
12 years 5 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
PPDP
2010
Springer
13 years 8 months ago
2010
Springer
Program Synthesis, which is the task of discovering programs that realize user intent, can be useful in several scenarios: enabling people with no programming background to develo...
FCA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in our understanding of mathem...
JCDL
2010
ACM
14 years 2 months ago
2010
ACM
The“wisdom of crowds”is accomplishing tasks that are cumbersome for individuals yet cannot be fully automated by means of specialized computer algorithms. One such task is the...