1675 search results - page 46 / 335 » Some thoughts on teaching programming and programming langua... |
SAC
2004
ACM
14 years 1 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
LPAR
1992
Springer
13 years 11 months ago
1992
Springer
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...
VL
1995
IEEE
13 years 11 months ago
1995
IEEE
Graphic designers and other visual problem solving experts now routinely use computer-based imageediting tools in their work. Recently, attempts have been made to apply learning a...
ICALP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper, we identify some issues in the interplay between practice and theory in cryptography, issues that have repeatedly appeared in different incarnations over ...
ACL
1998
13 years 9 months ago
1998
The paper describes a novel computational tool for multiple concept learning. Unlike previous approaches, whose major goal is prediction on unseen instances rather than the legibi...