Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Foundations of computer science
Foundations of computer science
The art of Prolog (2nd ed.): advanced programming techniques
The art of Prolog (2nd ed.): advanced programming techniques
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
BlackBox: a new object-oriented framework for CS1/CS2
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Proceedings of the 6th annual conference on Innovation and technology in computer science education
Understanding Programming Languages
Understanding Programming Languages
Hi-index | 0.00 |
During the last decade a new computer science curriculum has been taught in Israeli high schools. The curriculum introduces CS concepts and problem-solving methods and combines both theoretical and practical issues. The Logic Programming elective module of the curriculum was designed to introduce to students a second programming paradigm. In this paper we describe how we used evolving boxes, when teaching abstract data types (ADTs), to introduce the interweaving declarative and procedural aspects of logic programming. The following types of evolving boxes were used: (a) black boxes that could be used transparently, (b) white boxes that could be modified to suit specific needs, and (c) grey boxes that reveal parts of their internal workings. We conducted a study aimed at assessing students' use of ADTs. The findings indicated that the students demonstrated an integrative knowledge of ADT boxes as programming tools, and employed unique autonomous problem-solving strategies when using ADTs in programming.