280 search results - page 3 / 56 » Constraint Systems for Pattern Analysis of Constraint Logic-... |
ESOP
2001
Springer
13 years 9 months ago
2001
Springer
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend eq...
CORR
2006
Springer
13 years 5 months ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
ISORC
1998
IEEE
13 years 9 months ago
1998
IEEE
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...
QSIC
2007
IEEE
13 years 11 months ago
2007
IEEE
Current WSDL-based description specifies only the operation signatures and locations of Web services. It is widely recognized that a richer description is needed. WS-Security, WS-...
HASE
2007
IEEE
13 years 9 months ago
2007
IEEE
Embedded systems are used for critical applications that must adhere to safety constraints. Developers of these systems face three key challenges when attempting to apply existing...