the proceedings contain 15 papers. the special focus in this conference is on functional and logicprogramming. the topics include: the hard-won lessons of the fifth generation computer project;from sets to bits in co...
ISBN:
(纸本)9783319296036
the proceedings contain 15 papers. the special focus in this conference is on functional and logicprogramming. the topics include: the hard-won lessons of the fifth generation computer project;from sets to bits in coq;from proposition to program;the boolean constraint solver of SWI-prolog;probabilistic inference by program transformation in Hakaru;space-efficient planar acyclicity constraints;executable relational specifications of polymorphic type systems using prolog;proof relevant corecursive resolution;a coq library for internal verification of running-times;a transformational approach to parametric accumulated-cost static profiling;polymorphic types in erlang function specifications;declarative foreign function binding through generic programming;incremental computing with abstract data structures and declarative programming with algebra.
the proceedings contain 13 papers. the special focus in this conference is on functional and logicprogramming. the topics include: Implementing, and Keeping in Check, a DSL Used in E-Learning;system Description: Lang...
ISBN:
(纸本)9783030590246
the proceedings contain 13 papers. the special focus in this conference is on functional and logicprogramming. the topics include: Implementing, and Keeping in Check, a DSL Used in E-Learning;system Description: Lang-n-Change - A Tool for Transforming Languages;An SMT-Based Concolic Testing Tool for logic Programs;the Bang Calculus Revisited;functional Pearl: the Distributive$$\lambda $$ -Calculus;polynomial Time over the Reals with Parsimony;session Types Without Sophistry: System Description;restriction on Cut in Cyclic Proof System for Symbolic Heaps;on the Effectiveness of Higher-Order logicprogramming in Language-Oriented programming;declarative Pearl: Deriving Monadic Quicksort;language-Integrated Query with Nested Data Structures and Grouping.
Concolic testing combines symbolic and concrete execution to generate test cases that achieve a good program coverage. Its benefits have been demonstrated for more than 15 years in the case of imperative programs. In ...
详细信息
ISBN:
(纸本)9783030590246;9783030590253
Concolic testing combines symbolic and concrete execution to generate test cases that achieve a good program coverage. Its benefits have been demonstrated for more than 15 years in the case of imperative programs. In this work, we present a concolic-based test generation tool for logic programs which exploits SMT-solving for constraint resolution.
We provide a characterization of Ko's class of polynomial time computable functions over real numbers. this characterization holds for a stream based language using a parsimonious type discipline, a variant of pro...
详细信息
ISBN:
(纸本)9783030590246;9783030590253
We provide a characterization of Ko's class of polynomial time computable functions over real numbers. this characterization holds for a stream based language using a parsimonious type discipline, a variant of propositional linear logic. We obtain a first characterization of polynomial time computations over the reals on a higher-order functional language using a linear/affine type system.
the technical goal of the Fifth Generation Computer Systems (FGCS) project (1982–1993) was to develop Parallel Inference technologies, namely systematized technologies for realizing knowledge information processing o...
ISBN:
(数字)9783319296043
ISBN:
(纸本)9783319296036
the technical goal of the Fifth Generation Computer Systems (FGCS) project (1982–1993) was to develop Parallel Inference technologies, namely systematized technologies for realizing knowledge information processing on top of parallel computer architecture [8].
A concise, declarative, and machine executable specification of the Hindley-Milner type system (HM) can be formulated using logicprogramming languages such as Prolog. Modern functional language implementations such a...
详细信息
We present a new constraint solver over Boolean variables, available as library(clpb) (documentation: http://***/ man/***) in SWI-Prolog. Our solver distinguishes itself from other available CLP(B) solvers by several ...
详细信息
We propose a machine learning approach to characterize the functional status of astrocytes, the most abundant cells in human brain, based on time-lapse Ca2+ imaging data. the interest in analyzing astrocyte Ca2+ dynam...
详细信息
ISBN:
(纸本)9781479923519
We propose a machine learning approach to characterize the functional status of astrocytes, the most abundant cells in human brain, based on time-lapse Ca2+ imaging data. the interest in analyzing astrocyte Ca2+ dynamics is evoked by recent discoveries that astrocytes play proactive regulatory roles in neural information processing, and is enabled by recent technical advances in modern microscopy and ultrasensitive genetically encoded Ca2+ indicators. However, current analysis relies on eyeballing the time-lapse imaging data and manually drawing regions of interest, which not only limits the analysis throughput but also at risk to miss important information encoded in the big complex dynamic data. thus, there is an increased demand to develop sophisticated tools to dissect Ca2+ signaling in astrocytes, which is challenging due to the complex nature of Ca2+ signaling and low signal to noise ratio. We develop functional AStrocyte Phenotyping (FASP) to automatically detect functionally independent units (FIUs) and extract the corresponding characteristic curves in an integrated way. FASP is data-driven and probabilistically principled, flexibly accounts for complex patterns and accurately controls false discovery rates. We demonstrate the effectiveness of FASP on both synthetic and real data sets.
this paper presents the functional composition (FC), a new paradigm for combinational logic synthesis. FC is based on the following principles: (1) representation of logic functions as a bonded pair of functional/stru...
详细信息
ISBN:
(纸本)9781467310369
this paper presents the functional composition (FC), a new paradigm for combinational logic synthesis. FC is based on the following principles: (1) representation of logic functions as a bonded pair of functional/structural representations;(2) it starts from a set of initial functions;(3) simpler functions are associated to create more complex ones;(4) a partial order that enables dynamic programming is respected;(5) a set of allowed functions is maintained to reduce execution time/memory consumption. We present functional composition algorithms variants for Boolean factoring, AIG rewriting, minimum decision chain computation and SOP generation.
this paper presents a programming framework for incorporating XPath queries into the functional-logic language Toy. the proposal exploits the language characteristics, including non-determinism, logic variables, and h...
详细信息
ISBN:
(纸本)9783642183775
this paper presents a programming framework for incorporating XPath queries into the functional-logic language Toy. the proposal exploits the language characteristics, including non-determinism, logic variables, and higher-order functions and patterns. Our setting covers a wide range of standard XPath axes and tests. In particular reverse axes are implemented thanks to the double nature of XPath queries, which are both higher-order functions and data terms in our setting. the combination of these two different worlds, the functional-logic paradigm and the XML query language XPath, is very enriching for both of them. From the point of view of functional-logicprogramming, the language is now able to deal with XML documents in a very simple way. From the point of view of XPath, our approach presents several nice properties as the generation of XML test-cases for XPath queries, which can be useful for finding bugs in erroneous queries.
暂无评论