3926 search results - page 680 / 786 » A Logic of Object-Oriented Programs |
ENTCS
2000
14 years 9 months ago
2000
Behavioral rewriting di ers from standard rewriting in taking account of the weaker inference rules of behavioral logic, but it shares much with standard rewriting, including noti...
CSSE
2002
IEEE
14 years 9 months ago
2002
IEEE
This work presents a software-implemented fault tolerance approach for building a reliable database application in a CORBA environment. Database applications have functional requi...
105
click to vote
TCS
1998
14 years 9 months ago
1998
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...
TEC
2002
14 years 9 months ago
2002
Abstract--This paper considers the discovery of trading decision models from high-frequency foreign exchange (FX) markets data using genetic programming (GP). It presents a domain-...
TPLP
2002
14 years 9 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...