153 search results - page 12 / 31 » entcs 2002 |
ENTCS
2002
14 years 10 months ago
2002
We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministi...
73
Voted
ENTCS
2002
14 years 10 months ago
2002
Metaprogramming is a generic approach described in many articles. Surprisingly, examples of successful applications are scarce. This paper gives such an example. With a metaprogra...
ENTCS
2002
14 years 10 months ago
2002
Many-valued logics are standardly defined by logical matrices. They are truth-functional. In this paper non truth-functional many-valued semantics are presented, in a philosophica...
ENTCS
2002
14 years 10 months ago
2002
Non-deterministic computations greatly enhance the expressive power of functional logic programs, but are often computationally expensive. We analyze a programming technique that ...
ENTCS
2002
14 years 10 months ago
2002
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with acti...