10899 search results - page 377 / 2180 » The GP Programming System |
152
click to vote
ICLP
1995
Springer
15 years 10 months ago
1995
Springer
The purpose of this paper is to study the problem of complete type inferencing for polymorphic order-sorted logic programs. We show that previous approaches are incomplete even if...
165
click to vote
ENTCS
2008
15 years 6 months ago
2008
Graphical notations are already popular for the design of software, as witnessed by the success of the Uniform Modeling Languages (UML). In this paper, we advocate the use of grap...
170
click to vote
ENTCS
2006
15 years 6 months ago
2006
We address the problem of applying resource-bounded functional programming languages in practice on object-oriented virtual machines which include calls to native methods coded in...
218
click to vote
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
An iterated function f(x) is a function that when composed with itself, produces a given expression f(f(x))=g(x). Iterated functions are essential constructs in fractal theory and...
164
Voted
CCE
2010
15 years 4 months ago
2010
Sustainability has recently emerged as a key issue in process systems engineering (PSE). Mathematical programming techniques offer a general modeling framework for including enviro...