315 search results - page 37 / 63 » Parametric real-time reasoning |
IJVR
2008
13 years 9 months ago
2008
In facility agriculture, it is an urgent problem to design and choose the type and facility of greenhouse based on user's requirements, which are always difficult to express c...
PLPV
2010
ACM
14 years 6 months ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
SEMWEB
2009
Springer
14 years 4 months ago
2009
Springer
An important issue for the Semantic Web is how to combine open-world ontology languages with closed-world (non-monotonic) rule paradigms. Several proposals for hybrid languages all...
ESOP
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some an...
LICS
1996
IEEE
14 years 1 months ago
1996
IEEE
We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. Procedures permit encapsulation of common parallel programming idioms. Local var...