3931 search results - page 243 / 787 » Separation logic and abstraction |
154
click to vote
EDOC
2006
IEEE
16 years 21 days ago
2006
IEEE
Business rules provide an elegant solution to manage dynamic business logic by separating business knowledge from its implementation logic. The drawback of most existing business ...
191
click to vote
IJCAI
1993
15 years 8 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
163
click to vote
AGP
1998
IEEE
15 years 10 months ago
1998
IEEE
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...
167
click to vote
TPLP
2002
15 years 6 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...
209
click to vote
LOPSTR
2005
Springer
16 years 4 days ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...