1552 search results - page 34 / 311 » Concepts and Concept-Oriented Programming |
222
click to vote
AGP
2010
IEEE
15 years 3 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
162
click to vote
IWPC
2009
IEEE
16 years 9 days ago
2009
IEEE
The classical comprehension theories study relations between extensions, intensions, and names. Originally developed in linguistics and mathematics, these theories are applicable ...
173
click to vote
TSE
2011
15 years 18 days ago
2011
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...
144
click to vote
ITICSE
2005
ACM
15 years 11 months ago
2005
ACM
“Objects-first” is an increasingly popular strategy for teaching object-oriented programming by introducing the concepts of objects, classes, and instances before procedural e...
150
click to vote
COMPSAC
2007
IEEE
16 years 3 hour ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...