643 search results - page 129 / 129 » Semantic Determinism and Functional Logic Program Properties |
DAGSTUHL
2007
14 years 9 days ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
ICSE
2008
IEEE-ACM
14 years 11 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
LOPSTR
2007
Springer
14 years 5 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...