Sciweavers

5757 search results - page 400 / 1152
» Dynamic Policy Programming
Sort
View
SMALLTALK
2007
Springer
16 years 27 days ago
Bridging the gap between morphic visual programming and smalltalk code
In this paper, we claim that both prototype-based visual programming and traditional Smalltalk class-based programming are required for developing applications with a GUI. We intro...
Noury Bouraqadi, Serge Stinckwich
PASTE
2004
ACM
16 years 6 days ago
Validation of assembler programs for DSPs: a static analyzer
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
Matthieu Martel
IWFM
1998
15 years 8 months ago
Strictly Level-Decreasing Logic Programs
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...
Anthony Karel Seda, Pascal Hitzler
IWPC
2010
IEEE
15 years 5 months ago
SVS, BORS, SVSi: Three Strategies to Relate Problem and Program Domains
— Program Comprehension is improved if: i) the Problem and Program Domains can be related, and ii) this relation is shown in a suitable way to the programmer. Currently, there ar...
Mario M. Beron, Maria João Varanda Pereira,...

Publication
226views
17 years 4 months ago
A Gentle Introduction to Multi-stage Programming
Multi-stage programming (MSP) is a paradigm for developing generic software that does not pay a runtime penalty for this generality. This is achieved through concise, carefully-des...
Walid Taha