Sciweavers

1675 search results - page 72 / 335
» Some thoughts on teaching programming and programming langua...
Sort
View
JOT
2010
137views more  JOT 2010»
15 years 2 months ago
Computational Abstraction Steps
ional Abstraction Steps Lone Leth Thomsena Bent Thomsena Kurt Nørmarka a. Department of Computer Science, Aalborg University, Denmark In this paper we discuss computational abstra...
Lone Leth Thomsen, Bent Thomsen, Kurt Nørma...
POPL
2003
ACM
16 years 4 months ago
Guarded recursive datatype constructors
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell....
Hongwei Xi, Chiyan Chen, Gang Chen
PADL
2012
Springer
13 years 11 months ago
Virtualizing Real-World Objects in FRP
We begin with a functional reactive programming (FRP) model in which every program is viewed as a signal function that converts a stream of input values into a stream of output va...
Daniel Winograd-Cort, Hai Liu, Paul Hudak
154
Voted
ITICSE
2005
ACM
15 years 9 months ago
Testing first: emphasizing testing in early programming courses
The complexity of languages like Java and C++ can make introductory programming classes in these languages extremely challenging for many students. Part of the complexity comes fr...
Will Marrero, Amber Settle
148
Voted
CALCO
2005
Springer
109views Mathematics» more  CALCO 2005»
15 years 9 months ago
Final Semantics for Event-Pattern Reactive Programs
Event-pattern reactive programs are front-end programs for distributed reactive components that preprocess an incoming stream of event stimuli. Their purpose is to recognize tempor...
César Sánchez, Henny B. Sipma, Matte...