Logic languages can deal with non-deterministic computations via built-in search facilities. However, standard search methods like global backtracking are often not sufficient and a source of many programming errors. ...
详细信息
the logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code and mechanizing metatheory of progra...
详细信息
ISBN:
(纸本)9783642122507
the logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code and mechanizing metatheory of programminglanguages. However, incorporating LF technology into functional programming to allow programmers to specify and reason about formal guarantees of their programs from within the programming language itself has been a major challenge. In this paper, we present an overview of Beluga, a framework for programming and reasoning with formal systems. It supports specifying formal systems in LF and it also provides a dependently typed functional language that supports analyzing and rnanipulating LF data via pattern matching. A distinct feature of Beluga is its direct support for reasoning with contexts and contextual objects. Taken together these features lead to a powerful language which supports writing compact and elegant proofs.
this paper presents the use of psycholinguistics [1] rules in the case of creating an intelligent Chatterbot. Synonyms [2], hyponyms [2] and hypernyms [2] will be defined and implemented as the rules while the databas...
详细信息
ISBN:
(纸本)9783642132315
this paper presents the use of psycholinguistics [1] rules in the case of creating an intelligent Chatterbot. Synonyms [2], hyponyms [2] and hypernyms [2] will be defined and implemented as the rules while the database of Chatterbot being created. the algorithm thanks to which it is possible to get better accuracy in generated and searched phrases by Chatterbot is presented in the paper. Moreover, authors have also made comparative analysis of existing platforms and the Chatterbot programminglanguages withthe proposed system.
We define a framework for writing executable declarative specifications which incorporate categorical constraints on data, Horn Clauses and datatype specification over finite-product categories. We construct a generic...
详细信息
the authors discuss three different paradigms suitable for querying object-oriented geographic databases. All together, the paradigms presented constitute the basis of a flexible and easy to use querying environment s...
详细信息
ISBN:
(纸本)0818621338
the authors discuss three different paradigms suitable for querying object-oriented geographic databases. All together, the paradigms presented constitute the basis of a flexible and easy to use querying environment suitable for different categories of users. the first paradigm, to be adopted by programmer users, is based on the message sending mechanism of object-oriented databaseprogramminglanguages. the second paradigm is a browsing-based technique suitable for not unskilled users who have only a vague idea of the contents of the database. Finally, a frame-based approach is adopted for the third paradigm: this is suitable for non-programmer users who have a specific task to accomplish.
the explicitly parallel programming language Eden adds a coordination level to the lazy functional language Haskell. this paper describes how a compiler and runtime system for Eden can incrementally be built on the ba...
详细信息
E-unification (i.e. solving equations modulo an equational theory E) is an essential technique in automated reasoning, functional logic programming and symbolic constraint solving but, in general E-unification is unde...
详细信息
the world is becoming increasingly web-based. Health care institutions are utilizing the web for personal health records, surveillance, communication, and education;health care researchers are finding value in using t...
详细信息
ISBN:
(纸本)9781607500247
the world is becoming increasingly web-based. Health care institutions are utilizing the web for personal health records, surveillance, communication, and education;health care researchers are finding value in using the web for research subject recruitment, data collection, and follow-tip. programminglanguages, such as Java, require knowledge and experience usually found only in software engineers and consultants. the purpose of this paper is to demonstrate Ruby on Rails (TM) as a feasible alternative for programming questionnaires for use on the web. Ruby on Rails (TM) was specifically designed for the development, deployment, and maintenance of database-backed web applications. It is flexible, customizable, and easy to learn. With a relatively little initial training, a novice programmer can create a robust web application in a small amount of time, without the need of a software consultant. the translation of the Children's Computerized Physical Activity Reporter (C-CPAR) from a local installation in Microsoft Access to a web-based format utilizing Ruby on Rails (TM) is given as an example.
Abstract machines provide a certain separation between platform-dependent and platform-independent concerns in compilation. Many of the differences between architectures are encapsulated in the specific abstract machi...
详细信息
Parser combinators are higher-order functions used to build parsers as executable specifications of grammars. Some existing implementations are only able to handle limited ambiguity, some have exponential time and/or ...
详细信息
ISBN:
(纸本)9783540774419
Parser combinators are higher-order functions used to build parsers as executable specifications of grammars. Some existing implementations are only able to handle limited ambiguity, some have exponential time and/or space complexity for ambiguous input, most cannot accommodate left-recursive grammars. this paper describes combinators, implemented in Haskell, which overcome all of these limitations.
暂无评论