3136 search results - page 298 / 628 » Genetic programming theory |
153
click to vote
PLPV
2010
ACM
16 years 2 months ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
161
click to vote
ICTAC
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
167
click to vote
LPNMR
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
170
click to vote
LPNMR
2007
Springer
2007
Springer
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report
16 years 4 days ago
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
162
click to vote
ICSE
1998
IEEE-ACM
15 years 10 months ago
1998
IEEE-ACM
Form-based visual programming languages, which include commercial spreadsheets and various research systems, have had a substantial impact on end-user computing. Research shows, h...