Gerhard Brewka, Hans Werner Guesgen, and Joachim Hertzberg. Constraint Relaxation and Nonmonotonic Reasoning. Technical Report TR-92-002, ICSI, Berkeley, 1992.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....appeared local to a particular application domain, and which were therefore solved in an ad hoc manner, can now be seen as instances of constraint problems. For example, AI applications as disparate as machine vision and belief revision can now be considered in terms of varieties of constraints [12, 62]. This has led to re use of ideas and techniques across different domains, and consequently to improved solutions for everybody. The two main paradigms based on computation over constraints are Constraint Logic Programming (CLP) and Constraint Satisfaction Problem techniques (CSP) CLP can be ....

Gerhard Brewka, Hans Werner Guesgen, and Joachim Hertzberg. Constraint Relaxation and Nonmonotonic Reasoning. Technical Report TR-92-002, ICSI, Berkeley, 1992.

....many methods, including, in object oriented systems, programming bycontract (PBC) The basic idea of PBC is to use preconditions and postconditions as an essential part of the method s interface to increase system dependability. The PBC is supported by languages such as Eiffel and Sather K[1]. However, its introduction to a distributed environment is not without complication. Implementing PBC for a distributed object environment as described in this paper does not replace, but extends the implementation used in non distributed languages such as Sather K[1] and Eiffel. Some of the ....

....such as Eiffel and Sather K[1] However, its introduction to a distributed environment is not without complication. Implementing PBC for a distributed object environment as described in this paper does not replace, but extends the implementation used in non distributed languages such as Sather K[1] and Eiffel. Some of the benefits which may be gained by implementing PBC techniques in a distributed object environment include: ffl The designer of the interface can more easily express certain information, checks or conditions at an abstract level independent of later implementation. ffl In ....

[Article contains additional citation context not shown here]

Gerhard Goos. Sather-k the language. Technical Report TR-8-95, University Karlsruhe, Oct 1995.

....implement a counter which forces a finite number of retries before failure is declared. In the event of a failure the termination model is invoked and the stack is unwound until an appropriate handler is located. In languages that only implement the termination model like C [15] and Sather K[5], the stack is immediately unwound until a appropriate handler is located. 2.1.2 Exception Implementations in Various Systems In many parallel environments when an exception is raised during the execution of a thread and the thread fails to handle the exception, the entire program terminates, as ....

Gerhard Goos. Sather-K the language. Technical Report TR-8-95, University Karlsruhe, Germany, October 1995.

....oriented systems, programming by contract (PBC) The basic idea of PBC is to use assertions in the form of preconditions, postconditions and invariants as an essential part of the method s interface to increase system dependability. The PBC is supported by languages such as Eiffel and SatherK [4]. However, its introduction to a distributed environment is not without complication. Implementing PBC in a Distributed Environment Implementing PBC for a distributed object environment as described in this paper does not replace, but extends the implementation used in nondistributed languages ....

Gerhard Goos. Sather-k the language. Technical Report TR-8-95, University Karlsruhe, Oct 1995.

....exceptions as used in CORBA IDL. A synchronous exception is one were the caller has blocked waiting for a reply from the called object and receives and exception. The semantics of sequential exception in RIDL is similar to those of sequential language implementation such a C [21] and Sather K[6]. The difference in a distributed environment is that the exception can be propagated via an ORB rather than unwinding the stack. Once the exception has been passed outside the proxy, the semantics of exception propagation is dependent on the implementation language and thus outside the scope of ....

Gerhard Goos. Sather-k the language. Technical Report TR-8-95, University Karlsruhe, Oct 1995.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC