275 search results - page 42 / 55 » Delimited dynamic binding |
WETICE
2005
IEEE
14 years 3 months ago
2005
IEEE
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
HPDC
2002
IEEE
14 years 3 months ago
2002
IEEE
Several recently proposed infrastructures permit client applications to interact with distributed network-accessible services by simply ”plugging in” into a substrate that pro...
APSEC
1998
IEEE
14 years 2 months ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...
PPDP
1999
Springer
14 years 2 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
ICLP
1998
Springer
14 years 2 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...