Sciweavers

10899 search results - page 168 / 2180
» The GP Programming System
Sort
View
PROMAS
2007
Springer
16 years 18 days ago
A Practical Agent Programming Language
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 ...
Mehdi Dastani, John-Jules Ch. Meyer
APPINF
2003
15 years 7 months ago
Why Functional Programming Really Matters
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...
Paul A. Bailes, Colin J. M. Kemp, Ian Peake, Sean ...
GECCO
2007
Springer
166views Optimization» more  GECCO 2007»
16 years 19 days ago
Scalable estimation-of-distribution program evolution
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...
Moshe Looks
POPL
2006
ACM
16 years 6 months ago
A polymorphic modal type system for lisp-like multi-staged languages
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-...
Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno
TASE
2010
IEEE
15 years 1 months ago
Verification of a Timed Multitask System With Uppaal
System and program verification has been a large
Houda Bel Mokadem, Béatrice Bérard, ...