1552 search results - page 244 / 311 » Concepts and Concept-Oriented Programming |
146
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Control code is a concept that is closely related to a frequently occurring practitioner’s view on what is a program: code that is capable of controlling the behaviour ...
157
click to vote
MSCS
2006
15 years 6 months ago
2006
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between ...
145
click to vote
SIAMSC
2008
15 years 6 months ago
2008
A compiler approach for generating low-level computer code from high-level input for discontinuous Galerkin finite element forms is presented. The input language mirrors convention...
160
click to vote
LOBJET
2006
15 years 6 months ago
2006
Many object-oriented software applications contain implicit business rules. Although there exist many approaches that advocate the separation of rules, the rules' connections ...
186
click to vote
CACM
2008
15 years 6 months ago
2008
data type and (Java) class, asking about the relationship between them. The same students would also be unlikely to find an answer in a CS1 textbook. Some textbooks might not even ...