Sciweavers

1559 search results - page 120 / 312
» Fundamentals of Generic Programming
Sort
View
ENTCS
2006
89views more  ENTCS 2006»
14 years 10 months ago
A Type-theoretic Reconstruction of the Visitor Pattern
In object-oriented languages, the Visitor pattern can be used to traverse tree-like data structures: a visitor object contains some operations, and the data structure objects allo...
Peter Buchlovsky, Hayo Thielecke
IFE
2002
69views more  IFE 2002»
14 years 9 months ago
Generierung interaktiver Animationen von Berechnungsmodellen
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...
Stephan Diehl, Andreas Kerren
MMS
2002
14 years 9 months ago
A retrospective on the design of the GOPI middleware platform
This paper offers a high-level retrospective overview of the GOPI middleware platform which is the outcome of a three year project aimed at the development of generic, configurabl...
Geoff Coulson, Shakuntala Baichoo, Oveeyen Moonian
TRIER
2002
14 years 9 months ago
Polynomial Constants are Decidable
Constant propagation aims at identifying expressions that always yield a unique constant value at run-time. It is well-known that constant propagation is undecidable for programs w...
Markus Müller-Olm, Helmut Seidl
SIGCSE
2010
ACM
175views Education» more  SIGCSE 2010»
15 years 3 months ago
MPCT: media propelled computational thinking
Media-Propelled Computational Thinking (MPCT – pronounced impact) is a course designed to introduce programming in the context of engaging problems in media computation, math, a...
Eric Andrew Freudenthal, Mary K. Roy, Alexandria N...