Sciweavers

ASE
2005
102views more  ASE 2005»
13 years 4 months ago
Modular Verification of Open Features Using Three-Valued Model Checking
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
SIGPLAN
2008
13 years 4 months ago
Programming languages as part of core computer science
While the programming languages course played a key role in Curricula '68, '78, and '91, Curriculum 2001 replaced most of the content in programming languages with ...
Kim B. Bruce, Stephen N. Freund
SIGPLAN
2008
13 years 4 months ago
Teaching programming languages in a post-linnaean age
Programming language "paradigms" are a moribund and tedious legacy of a bygone age. Modern language designers pay them no respect, so why do our courses slavishly adhere...
Shriram Krishnamurthi
SIGPLAN
2008
13 years 4 months ago
Some thoughts on teaching programming and programming languages
It is argued that the teaching of programming is central to the education of skilled computer professionals, that the teaching of programming languages is central to the teaching ...
John C. Reynolds
SIGPLAN
2008
13 years 4 months ago
An aspect-oriented approach to the undergraduate programming language curriculum
Three key forces are shaping the modern Computer Science (CS) curriculum: (1) new topics/courses are squeezing out existing ones; (2) a focus on "big picture" and interd...
Mark A. Sheldon, Franklyn A. Turbak
IJHPCA
2007
114views more  IJHPCA 2007»
13 years 4 months ago
An Approach To Data Distributions in Chapel
A key characteristic of today’s high performance computing systems is a physically distributed memory, which makes the efficient management of locality essential for taking adv...
R. E. Diaconescu, Hans P. Zima
SIGCSE
2008
ACM
88views Education» more  SIGCSE 2008»
13 years 4 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...
SIGARCH
2008
73views more  SIGARCH 2008»
13 years 4 months ago
Servo: a programming model for many-core computing
Conventional programming models were designed to be used by expert programmers for programming for largescale multiprocessors, distributed computational clusters, or specialized p...
Nicolas Zea, John Sartori, Rakesh Kumar
PPL
2008
77views more  PPL 2008»
13 years 4 months ago
Integrating Remote Invocations with Asynchronism and Cooperative Multitasking
In this paper we argue that it is possible to couple the advantages of programming with the well-known abstraction of RPC with asynchronous programming models adequate for wide-ar...
Noemi de La Rocque Rodriguez, Silvana Rossetto
MP
2006
175views more  MP 2006»
13 years 4 months ago
Conditional Value-at-Risk in Stochastic Programs with Mixed-Integer Recourse
In classical two-stage stochastic programming the expected value of the total costs is minimized. Recently, mean-risk models - studied in mathematical finance for several decades -...
Rüdiger Schultz, Stephan Tiedemann