10899 search results - page 168 / 2180 » The GP Programming System |
96
Voted
PROMAS
2007
Springer
15 years 8 months ago
2007
Springer
This paper discusses the need for an effective and practical BDI-based agentoriented programming language. It proposes an alternative by presenting the syntax and semantics of a ...
124
Voted
APPINF
2003
15 years 4 months ago
2003
The significance of functional programming is revealed as that the feasible approach to language extensibility which it enables is further applicable to programming in general and...
107
Voted
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
I present a new estimation-of-distribution approach to program evolution where distributions are not estimated over the entire space of programs. Rather, a novel representationbui...
209
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
This article presents a polymorphic modal type system and its principal type inference algorithm that conservatively extend ML by all of Lisp's staging constructs (the quasi-...
104
Voted
TASE
2010
IEEE
14 years 9 months ago
2010
IEEE
System and program verification has been a large