Sciweavers

5343 search results - page 279 / 1069
» Keyword programming in java
Sort
View
SIGCSE
2008
ACM
88views Education» more  SIGCSE 2008»
15 years 3 months ago
Programming by choice: urban youth learning programming with scratch
This paper describes Scratch, a visual, block-based programming language designed to facilitate media manipulation for novice programmers. We report on the Scratch programming exp...
John H. Maloney, Kylie A. Peppler, Yasmin B. Kafai...
ITICSE
2003
ACM
15 years 8 months ago
Using lab exams to ensure programming practice in an introductory programming course
The high variability of students’ backgrounds typically found in introductory programming courses creates additional difficulties to foster motivation and ensure the desired co...
João Paulo Barros, Luís Estevens, Ru...
CORR
2010
Springer
180views Education» more  CORR 2010»
15 years 3 months ago
A Meta-Programming Approach to Realizing Dependently Typed Logic Programming
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
Zachary Snow, David Baelde, Gopalan Nadathur
128
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
Static Checking of Dynamically Generated Queries in Database Applications
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...
Carl Gould, Zhendong Su, Premkumar T. Devanbu
SEAA
2008
IEEE
15 years 9 months ago
Checking Session-Oriented Interactions between Web Services
Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services often work as front-ends to enterprise...
Pavel Parizek, Jirí Adámek