Sciweavers

949 search results - page 30 / 190
» Programmed Mutagenesis Is Universal
Sort
View
PADL
2000
Springer
13 years 11 months ago
A Logic-Based Information System
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
Salvador Abreu
JSS
2007
123views more  JSS 2007»
13 years 7 months ago
Do programmer pairs make different mistakes than solo programmers?
Objective: Comparison of program defects caused by programmer pairs and solo developers. Design: Analysis of programs developed during two counter balanced experiments. Setting: P...
Matthias M. Müller
SIGPLAN
2008
13 years 7 months ago
Injecting programming language concepts throughout the curriculum: an inclusive strategy
As research in programming language design, implementation, and application advances, we must regularly revisit the undergraduate curriculum to ensure course content advances simi...
Mark W. Bailey
SAS
2004
Springer
123views Formal Methods» more  SAS 2004»
14 years 27 days ago
Non-termination Inference for Constraint Logic Programs
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
Étienne Payet, Frédéric Mesna...
ACMSE
2007
ACM
13 years 11 months ago
Integrating BlackBerry wireless devices into computer programming and literacy courses
In this paper we describe our experience in integrating the RIM's BlackBerry handheld wireless device into programming and literacy courses at the University of Guelph and th...
Qusay H. Mahmoud, Allan Dyer