Sciweavers

107 search results - page 5 / 22
» The Computing Profession and Higher Education
Sort
View
CORR
2010
Springer
139views Education» more  CORR 2010»
13 years 10 months ago
Pushdown Control-Flow Analysis of Higher-Order Programs
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...
Christopher Earl, Matthew Might, David Van Horn
CORR
2008
Springer
148views Education» more  CORR 2008»
13 years 8 months ago
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...
Guillaume Burel
ASSETS
2006
ACM
14 years 3 months ago
Designing a scripting language to help the blind program visually
The vast proliferation of GUI-based applications, including graphical interactive development environments (IDEs), has placed blind programmers at a severe disadvantage in a profe...
Kenneth G. Franqueiro, Robert M. Siegfried
SIGCSE
2002
ACM
114views Education» more  SIGCSE 2002»
13 years 9 months ago
Gender and information technology: implications of definitions
In this paper, we examine implications of definitions of information technology to women's participation in the industry and in academe. This paper is exploratory only, based...
Wendy L. Cukier, Denise Shortt, Irene Devine
SIGCPR
2006
ACM
106views Hardware» more  SIGCPR 2006»
14 years 3 months ago
Cross-cultural influences on women in the IT workforce
A review of 862 papers published in SIGMIS/CPR proceedings over the past 44 years revealed only 29 articles that focused on gender and the IT workforce or gender and IT education,...
Eileen M. Trauth, Jeria L. Quesenberry, Haiyan Hua...