1835 search results - page 56 / 367 » Functional Programming of Behavior-Based Systems |
107
click to vote
ECBS
2004
IEEE
15 years 4 months ago
2004
IEEE
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...
102
Voted
POPL
1999
ACM
15 years 5 months ago
1999
ACM
Superfluous variables are often produced as the byproducts of program transformations, compilation, and poorly written code. These variables are irrelevant to the computational o...
102
click to vote
WCFLP
2005
ACM
15 years 6 months ago
2005
ACM
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...
128
click to vote
ISDA
2009
IEEE
15 years 7 months ago
2009
IEEE
Proteins can be grouped into families according to some features such as hydrophobicity, composition or structure, aiming to establish common biological functions. This paper pres...
130
click to vote
CORR
1998
Springer
15 years 15 days ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...