1552 search results - page 31 / 311 » Concepts and Concept-Oriented Programming |
137
click to vote
MICAI
2007
Springer
15 years 11 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...
143
click to vote
ITICSE
2003
ACM
15 years 10 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 ...
187
click to vote
SIGCSE
2002
ACM
15 years 5 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...
154
click to vote
TOOLS
2000
IEEE
15 years 10 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 ...
122
click to vote
SIGCSE
2005
ACM
15 years 11 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...