1552 search results - page 34 / 311 » Concepts and Concept-Oriented Programming |
AGP
2010
IEEE
13 years 8 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,...
IWPC
2009
IEEE
14 years 4 months ago
2009
IEEE
The classical comprehension theories study relations between extensions, intensions, and names. Originally developed in linguistics and mathematics, these theories are applicable ...
TSE
2011
13 years 4 months 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...
ITICSE
2005
ACM
14 years 3 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...
COMPSAC
2007
IEEE
14 years 4 months 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...