Sciweavers

5377 search results - page 545 / 1076
» Programming Languages For Interactive Computing
Sort
View
SOFSEM
2009
Springer
16 years 4 months ago
From Outermost Termination to Innermost Termination
Abstract. Rewriting is the underlying evaluation mechanism of functional programming languages. Therefore, termination analysis of term rewrite systems (TRSs) is an important techn...
René Thiemann
C5
2006
IEEE
16 years 1 months ago
Idioms for Composing Games with EToys
1 Creating one’s own games has been the main motivation for many people to learn programming. But the barrier to learn a general purpose programming language is very high, espec...
Markus Gälli, Oscar Nierstrasz, Serge Stinckw...
GECCO
2005
Springer
118views Optimization» more  GECCO 2005»
16 years 20 days ago
The Push3 execution stack and the evolution of control
The Push programming language was developed for use in genetic and evolutionary computation systems, as the representation within which evolving programs are expressed. It has bee...
Lee Spector, Jon Klein, Maarten Keijzer
ICCS
2004
Springer
16 years 15 days ago
Multiparadigm Model Oriented to Development of Grid Systems
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
Jorge L. V. Barbosa, Cristiano André da Cos...
GI
2009
Springer
15 years 11 months ago
Reinventing Haskell Backtracking
: Almost ten years ago, Ralf Hinze has written a functional pearl on how to derive backtracking functionality for the purely functional programming language Haskell. In these notes...
Sebastian Fischer