Sciweavers

2977 search results - page 177 / 596
» Programming Environments for Novices
Sort
View
APLAS
2008
ACM
15 years 8 months ago
The Essence of Form Abstraction
nce of Form Abstraction Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstraction is the cornerstone of high-level progr...
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Ya...
USENIX
2001
15 years 7 months ago
Nickle: Language Principles and Pragmatics
Nickle is a vaguely C-like programming language for numerical applications, useful both as a desk calculator and as a prototyping and implementation language for numerical and sem...
Bart Massey, Keith Packard
ENTCS
2000
109views more  ENTCS 2000»
15 years 6 months ago
Forward and Backward Chaining in Linear Logic
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
James Harland, David J. Pym, Michael Winikoff
ENTCS
2002
141views more  ENTCS 2002»
15 years 6 months ago
Graph Based Debugging with Fujaba
This work is part of the Fujaba project. The Fujaba project aims to use the Unified Modeling Language UML as a programmed graph rewriting language. This paper describes the new gr...
Leif Geiger, Albert Zündorf
ETRA
2006
ACM
122views Biometrics» more  ETRA 2006»
16 years 14 days ago
Analyzing individual performance of source code review using reviewers' eye movement
This paper proposes to use eye movements to characterize the performance of individuals in reviewing source code of computer programs. We first present an integrated environment t...
Hidetake Uwano, Masahide Nakamura, Akito Monden, K...