1675 search results - page 165 / 335 » Some thoughts on teaching programming and programming langua... |
166
click to vote
ICFP
2003
ACM
16 years 5 months ago
2003
ACM
I describe the mechanisation in HOL of some basic -calculus theory, using the axioms proposed by Gordon and Melham [4]. Using these as a foundation, I mechanised the proofs from C...
119
click to vote
ICALP
1999
Springer
15 years 9 months ago
1999
Springer
The data sets for many of today's computer applications are too large to t within the computer's internal memory and must instead be stored on external storage devices su...
131
click to vote
IFIP
1994
Springer
15 years 9 months ago
1994
Springer
Business rules are an important element of information systems. The notion business rule encompasses different phenomena; therefore, some classification criteria are presented and...
148
click to vote
CTCS
1987
Springer
15 years 8 months ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
154
click to vote
DOCENG
2003
ACM
15 years 10 months ago
2003
ACM
In this paper, we propose to extend XQuery - the XML query language - with a set of transformation operators which will produce a copy of an XML tree in which some subtrees will b...