Traditionally, backtracking uses a total order over the derivation steps. On failure, it returns to the most recent state. We consider states as a set of derivation steps. For each step, we save a 'inputset' v...
详细信息
this paper describes a programming system based on the metaphor of communicating objects. Experience with a running system shows that this model provides flexibility, modularity and compactness. A compiled representat...
详细信息
A compiler for the C language has recently been constructed which is now compiling C for about half a dozen machines. the compiler was influenced in various ways by recent theoretical developments. this paper gives an...
详细信息
the method of local constraints attempts to describe context-free languages in an apparently context-sensitive form which helps to retain the intuitive insights about the grammatical structure. this form of descriptio...
详细信息
this book constitutes the refereed proceedings of the 5th International conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.;the book presents 25 revised f...
详细信息
ISBN:
(数字)9783540685951
ISBN:
(纸本)9783540614630
this book constitutes the refereed proceedings of the 5th International conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.;the book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. the full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logicprogramming and term rewriting, and algebraic and logical foundations.
this book constitutes the refereed proceedings of the 5th International conference on Reversible Computation, RC 2013, held in Victoria, BC, Canada, in July 2013. the 19 contributions presented together with one invit...
详细信息
ISBN:
(数字)9783642389863
ISBN:
(纸本)9783642389856
this book constitutes the refereed proceedings of the 5th International conference on Reversible Computation, RC 2013, held in Victoria, BC, Canada, in July 2013. the 19 contributions presented together with one invited paper were carefully reviewed and selected from 37 submissions. the papers are organized in topical sections on physical implementation; arithmetic; programming and data structures; modelling; synthesis and optimization; and alternative technologies.
this book constitutes the refereed proceedings of the 9th International conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil in July 2008 in conjunction with RTA 2007, the 19th Inte...
详细信息
ISBN:
(数字)9783642022739
ISBN:
(纸本)9783642022722
this book constitutes the refereed proceedings of the 9th International conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil in July 2008 in conjunction with RTA 2007, the 19th International conference on Rewriting Techniques and Applications as part of RDP 2009, the 5th International conference on Rewriting, Deduction, and programming. the 27 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 53 submissions. the papers present original research results that are broadly relevant to the theory and applications of typed calculi and address a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.
this volume contains the papers presented, and subsequently submitted for publication, at the 5thlogicprogrammingconference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolo...
详细信息
ISBN:
(数字)9783540477129
ISBN:
(纸本)9783540180241
this volume contains the papers presented, and subsequently submitted for publication, at the 5thlogicprogrammingconference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolog processors, variations of Prolog language, and applications of Prolog to natural language understanding, and expert systems. Most of the works reported in the volume are related to the Japanese Fifth Generation Computer Project allowing readers to compare results from this project withthose from similar projects currently being conducted in other countries.
this book constitutes the refereed proceedings of the 5th International conference on Modeling Decisions for Artificial Intelligence, MDAI 2008, held in Sabadell, Spain, in October 2008. the 19 revised full papers pre...
详细信息
ISBN:
(数字)9783540882695
ISBN:
(纸本)9783540882688
this book constitutes the refereed proceedings of the 5th International conference on Modeling Decisions for Artificial Intelligence, MDAI 2008, held in Sabadell, Spain, in October 2008. the 19 revised full papers presented together with 2 invited lectures were thoroughly reviewed and selected from 43 submissions; they are devoted to theory and tools for modeling decisions, as well as applications that encompass decision making processes and information fusion techniques. the papers are organized in topical sections on aggregation operators, decision making, clustering and similarity, computational intelligence and optimization, as well as data privacy.
暂无评论