Sciweavers

968 search results - page 24 / 194
» The Molen Programming Paradigm
Sort
View
COLING
1992
15 years 3 months ago
A Logic Programming View of Relational Morphology
he more abstract term "relational morphology" in place of tile usual "two-level morphology" in order to emphasize an aspect of Koskenniemi's work which ha...
Harvey Abramson
JUCS
2007
80views more  JUCS 2007»
15 years 1 months ago
Higher-Order Lazy Functional Slicing
: Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is pa...
Nuno F. Rodrigues, Luís Soares Barbosa
EUROGP
2005
Springer
123views Optimization» more  EUROGP 2005»
15 years 7 months ago
An Algorithmic Chemistry for Genetic Programming
Abstract. Genetic Programming has been slow at realizing other programming paradigms than conventional, deterministic, sequential vonNeumann type algorithms. In this contribution w...
Christian Lasarczyk, Wolfgang Banzhaf
FROCOS
2005
Springer
15 years 7 months ago
ATS: A Language That Combines Programming with Theorem Proving
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
Sa Cui, Kevin Donnelly, Hongwei Xi
SIGMOD
2012
ACM
234views Database» more  SIGMOD 2012»
13 years 4 months ago
Oracle in-database hadoop: when mapreduce meets RDBMS
Big data is the tar sands of the data world: vast reserves of raw gritty data whose valuable information content can only be extracted at great cost. MapReduce is a popular parall...
Xueyuan Su, Garret Swart