Functional and logicprogramming are the most important declarative programming paradigms, and interest in combining them has grown over the last decade. Early research concentrated on the definition and improvement o...
详细信息
Functional and logicprogramming are the most important declarative programming paradigms, and interest in combining them has grown over the last decade. Early research concentrated on the definition and improvement of execution principles for such integrated languages, while more recently efficient implementations of these execution principles have been developed so that these languages became relevant for practical applications. In this paper, we survey the development of the operational semantics as well as the improvement of the implementation of functional logic languages.
Increasing attention is being paid to Gödel, a new declarative programming language aimed at diminishing the gap between theory and practice of programming with logic. An intriguing question is whether or not exi...
详细信息
This talk gives an overview of the progress in research on Concurrent Object-Oriented Computing both in theory and practice. From the theoretic standpoint, the developments of semantics bases for concurrent object-ori...
详细信息
We present a new strategy for representing syntax in a mechanised logic. We define an underlying type of de Bruijn terms, define an operation of named lambda-abstraction, and hence inductively define a set of conventi...
详细信息
The temporal logic of actions (TLA) is a logic for specifying and reasoning about concurrent systems. Systems and their properties are represented in the same logic, so the assertion that a system meets its specificat...
详细信息
The temporal logic of actions (TLA) is a logic for specifying and reasoning about concurrent systems. Systems and their properties are represented in the same logic, so the assertion that a system meets its specification and the assertion that one system implements another are both expressed by logical implication. TLA is very simple;its syntax and complete formal semantics are summarized in about a page. Yet, TLA is not just a logician's toy;it is extremely powerful, both in principle and in practice. This report introduces TLA and describes how it is used to specify and verify concurrent algorithms. The use of TLA to specify and reason about open systems will be described elsewhere.
logicprogramming enjoys a relatively good relationship between its theory and its practice. Nonetheless, this relationship needs to be improved, and doing so is an important direction for research in the future. The ...
详细信息
In this paper we present a narrower for conditional equational theories whose clauses allow disequations in their bodies (normal theories). Our approach deals with disequations in a constructive manner and thus allows...
详细信息
In [3], McMillan described a technique for deadlock detection based on net unfoldings. We extend its applicability to the properties of a temporal logic with a possibility operator. The algorithm is based on Linear Pr...
详细信息
This paper extends propositional linear time temporal logic (PTL) to propositional dense time logic (PDTL). While a PTL model is a single sequence of states, a PDTL model, cMled an omega-tree, consists of a nested seq...
详细信息
From the Publisher: This book identifies and explains the essential concepts underlying the design and use of programming languages and provides a good balance of theory and practice. The author compares how the major...
ISBN:
(纸本)9780201568851
From the Publisher: This book identifies and explains the essential concepts underlying the design and use of programming languages and provides a good balance of theory and practice. The author compares how the major languages handle issues such as declarations, types, data abstraction, information hiding, modularity, and the support given to the development of reliable software systems. The emphasis is on the similarities, rather than the differences, between languages, and primarily covers modern, widely used objectoriented and procedural languages such as Java, C++, C, Pascal (including its implementation in Delphi), Ada 95, and Perl, with special chapters being devoted to functional and logic languages. The new edition has been brought fully up to date with new developments in the field: the increase in the use of OO languages as a programmer's first language; the growth in importance of graphical user interfaces (GUIs); and the widespread use of the Internet. This book is suitable for readers with a Java or procedurallanguage background who want to get into the theory of programminglanguage development and utilization. /*@ISBN = 0201710129 @MAINCAT = programming Languages @DATALINE1 = 2001, 384 pages, 7 1/4 x 9 1/8 @DATALINE2 = Paper, $50.00k*/
暂无评论