Sciweavers

562 search results - page 26 / 113
» Teaching programming and language concepts using LEGOs
Sort
View
102
Voted
KBSE
1999
IEEE
15 years 7 months ago
An ML Editor Based on Proofs-As-Programs
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...
Jon Whittle, Alan Bundy, Richard J. Boulton, Helen...
175
Voted
PLDI
2012
ACM
13 years 6 months ago
The implicit calculus: a new foundation for generic programming
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Ch...
137
Voted
SEW
2006
IEEE
15 years 9 months ago
Using Views to Specify a Synchronization Aspect for Object-Oriented Languages
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software de...
R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behr...
137
Voted
SIGCSE
2009
ACM
143views Education» more  SIGCSE 2009»
15 years 10 months ago
Thinking about computational thinking
Jeannette Wing’s call for teaching Computational Thinking (CT) as a formative skill on par with reading, writing, and arithmetic places computer science in the category of basic...
James J. Lu, George H. L. Fletcher
105
Voted
ITICSE
2005
ACM
15 years 9 months ago
Novice Java programmers' conceptions of "object" and "class", and variation theory
Problems with understanding concepts, so called misconceptions, have been investigated and reported in a number of studies regarding object-oriented programming [4], [3]. In a fi...
Anna Eckerdal, Michael Thuné