1552 search results - page 31 / 311 » Concepts and Concept-Oriented Programming |
MICAI
2007
Springer
14 years 4 months ago
2007
Springer
In this paper some results are obtained regarding the existence and reachability of minimal fixed points for multiple-valued functions on a multilattice. The concept of inf-preser...
ITICSE
2003
ACM
14 years 3 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
SIGCSE
2002
ACM
13 years 9 months ago
2002
ACM
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
TOOLS
2000
IEEE
14 years 2 months ago
2000
IEEE
With this contribution we present a design and development method for distributed applications, which are running on top of advanced object middleware platforms. We introduce the ...
SIGCSE
2005
ACM
14 years 3 months ago
2005
ACM
Last year we described the PL-Detective, a system for building exercises and demonstrations in a programming languages course. One of the main goals of the PL-Detective was to pro...