Sciweavers

252 search results - page 8 / 51
» Why teach programming languages
Sort
View
SIGADA
2001
Springer
15 years 2 months ago
Teaching computer science with robotics using Ada/Mindstorms 2.0
We present one approach to teaching basic computer science concepts with robotics, using an Ada interface to Lego Mindstorms™ 1 . We show simple problems put to students with no...
Barry S. Fagin, Laurence D. Merkle, Thomas W. Egge...
ACE
2003
104views Education» more  ACE 2003»
14 years 11 months ago
Language Tug-Of-War: Industry Demand and Academic Choice
This paper seeks to inform instructors responsible for designing introductory programming courses within a university setting. In particular, guidelines for choosing programming l...
Michael de Raadt, Richard Watson, Mark A. Toleman
AGP
2010
IEEE
15 years 1 months ago
Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
This chapter tackles the relation between declarative languages and multi-agent systems by following the dictates of the five Ws (and one H) that characterize investigations. The ...
Matteo Baldoni, Cristina Baroglio, Viviana Mascard...
VMCAI
2012
Springer
13 years 5 months ago
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
Tobias Nipkow
ICFP
2010
ACM
14 years 11 months ago
Experience report: growing programming languages for beginning students
A student learning how to program learns best when the programming language and programming environment cater to her specific needs. These needs are different from the requirement...
Marcus Crestani, Michael Sperber