4438 search results - page 133 / 888 » The Case for Collaborative Programming |
162
click to vote
IDC
2009
Springer
16 years 1 months ago
2009
Springer
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both c...
184
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
Using a strongly typed functional programming language for genetic programming has many advantages, but evolving functional programs with variables requires complex genetic operat...
179
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...
133
click to vote
CIE
2007
Springer
16 years 19 days ago
2007
Springer
The interest is in characterizing insightfully the power of program self-reference in effective programming systems (epses), the computability-theoretic analogs of programming lan...
181
click to vote
LANMR
2007
15 years 7 months ago
2007
Abstract We study the notion of strong equivalence between two disjunctive logic programs under the G3-stable model semantics, also called the P-stable semantics, and we show how s...