Yahoo: an Object-oriented Logic Programming Language (extended Abstract)
نویسندگان
چکیده
منابع مشابه
Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملObjects in a Higher-order Linear Logic Setting (extended Abstract)
In 5] some aspects of object-oriented programming have been reformulated in the higher-order Linear Logic framework, F&O, based on the language Forum 14]. In particular, it has been shown how to logically represent objects encapsulating method deenitions and how to describe metarules deening message passing and self-application, according to diierent computational models. A language based on su...
متن کاملFOL: An object oriented extension to the SISAL Language (Extended Abstract)
This paper describes an improvement of the reusability model of the SISAL language. The study of the object oriented paradigm limits leads us to propose several extensions promoting a higher reusability scheme. The paper contains the description of the FOL language and of its translator to SISAL as well as insights in our future work on impure eeects.
متن کاملConcurrent Object Oriented Programming in a Logic Variable Language
This article introduces a concurrent object oriented language whose underlying operational semantics is based on the logic variable. The language is designed in reponse to Kahn’s criticisms [Kahn 89] of previous attempts to build concurrent object-oriented languages on top of concurrent logic languages. We believe Aldwych is a language which removes the verbosity of concurrent logic language co...
متن کاملStatic Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers
In this paper, we propose an efficient technique to statically manage integrity constraints in object-oriented database programming languages. We place ourselves in the context of an extended version of the O2 database programming language, and we assume that updates are undertaken by means of methods. An important issue when dealing with constraints is that of efficiency. A naive management of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007