Sciweavers

8132 search results - page 227 / 1627
» Dependability, Abstraction, and Programming
Sort
View
POPL
1998
ACM
15 years 11 months ago
A Functional Representation of Data Structures with a Hole
Data structures with a hole, in other words data structures with an uninitialized field, are useful to write efficient programs: they enable us to construct functional data stru...
Yasuhiko Minamide
CLIN
2000
15 years 8 months ago
Alpino: Wide-coverage Computational Analysis of Dutch
Alpino is a wide-coverage computational analyzer of Dutch which aims at accurate, full, parsing of unrestricted text. We describe the head-driven lexicalized grammar and the lexic...
Gosse Bouma, Gertjan van Noord, Rob Malouf
FMCO
2004
Springer
105views Formal Methods» more  FMCO 2004»
16 years 16 hour ago
Program Generation and Components
Abstract. The first part of the paper gives a brief overview of metaprogramming, in particular program generation, and its use in software development. The second part introduces ...
Davide Ancona, Eugenio Moggi
GECCO
2003
Springer
148views Optimization» more  GECCO 2003»
15 years 12 months ago
Ant Colony Programming for Approximation Problems
Abstract. A method of automatic programming, called genetic programming, assumes that the desired program is found by using a genetic algorithm. We propose an idea of ant colony pr...
Mariusz Boryczka, Zbigniew J. Czech, Wojciech Wiec...
ICLP
2010
Springer
15 years 10 months ago
Constraint Answer Set Programming Systems
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
Christian Drescher