Sciweavers

8132 search results - page 238 / 1627
» Dependability, Abstraction, and Programming
Sort
View
CORR
2002
Springer
133views Education» more  CORR 2002»
15 years 6 months ago
Declarative program development in Prolog with GUPU
Abstract. We present GUPU, a side-effect free environment specialized for programming courses. It seamlessly guides and supports students during all phases of program development, ...
Ulrich Neumerkel, Stefan Kral
ECOOP
2000
Springer
15 years 11 months ago
Optimizing Java Programs in the Presence of Exceptions
The support for precise exceptions in Java, combined with frequent checks for runtime exceptions, leads to severe limitations on the compiler’s ability to perform program optimiz...
Manish Gupta, Jong-Deok Choi, Michael Hind
SOCRATES
2008
100views Education» more  SOCRATES 2008»
15 years 8 months ago
Quality in eLearning. Some Results from a National Research Program
Quality is an open concept. Something has a good quality when the most salient of its characteristics have a positive value. What are this relevant features? It depends on the int...
Patrizia Ghislandi, Anna Pedroni, Daniela Paolino,...
MICRO
1996
IEEE
97views Hardware» more  MICRO 1996»
15 years 10 months ago
Modulo Scheduling of Loops in Control-intensive Non-numeric Programs
Much of the previous work on modulo scheduling has targeted numeric programs, in which, often, the majority of the loops are well-behaved loop-counter-based loops without early ex...
Daniel M. Lavery, Wen-mei W. Hwu
ICFP
2005
ACM
16 years 6 months ago
Dynamic optimization for functional reactive programming using generalized algebraic data types
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...
Henrik Nilsson