EMC is not commonly accepted in microelectronics design areas. the designers have the opinion that EMC has to do with mandatory electrical and electronic system/product regulations instead of requirements to the integ...
详细信息
Constraint functionalprogramming (CEP) is presented as a new declarative programming paradigm. A CFP system is an integrated declarative programming system in which functionalprogramming can be achieved by evaluatin...
详细信息
Constraint functionalprogramming (CEP) is presented as a new declarative programming paradigm. A CFP system is an integrated declarative programming system in which functionalprogramming can be achieved by evaluating expressions on the computational domains. At the same time, logicprogramming can also be achieved by solving constraints over these domains. CFP is developed from the notion of absolute set abstraction, a language construct in functional languages acting as the 'logicprogramming facility'. CFP systematically unifies functionalprogramming and logicprogramming from a fundamental semantic level and is expected to provide great expressive power. Problem solving in CFP is directly performed on the intended domain of discourse. this property also allows some algorithmic constraint solving techniques to be exploited and restricts the search space in the computation to make the system efficient.
the logicprogramming language Prolog is advocated as an implementation language for functionalprogramming languages. Lambda reduction machines using the evaluation strategies of strict and lazy evaluation, fully laz...
详细信息
the logicprogramming language Prolog is advocated as an implementation language for functionalprogramming languages. Lambda reduction machines using the evaluation strategies of strict and lazy evaluation, fully lazy evaluation using graph reduction, and compilation into supercombinators are all defined in Prolog using techniques unique to logicprogramming. It is also shown how Prolog may be used to efficiently implement polymorphic type checking.
A method is presented that permits assertional reasoning about a concurrent program even though the atomicity of the elementary operations is left unspecified. It is based upon a generalization of the dynamic logic op...
详细信息
ISBN:
(纸本)0897910907
A method is presented that permits assertional reasoning about a concurrent program even though the atomicity of the elementary operations is left unspecified. It is based upon a generalization of the dynamic logic operator [α]. the method is illustrated by verifying the mutual exclusion property for a two-process version of the bakery algorithm.
We present an interval-based temporal logicthat permits the rigorous specification of a variety of hardware components and facilitates proving properties such as correctness of implementation. Conceptual levels of ci...
详细信息
A logicprogramming language offers several kinds of parallelism for its execution. Among these, this paper concentrates on OR-parallelism which is an alternative to the backtracking mechanism of a serial interpreter,...
ISBN:
(纸本)9780897911016
A logicprogramming language offers several kinds of parallelism for its execution. Among these, this paper concentrates on OR-parallelism which is an alternative to the backtracking mechanism of a serial interpreter, and proposes an abstract model for OR-parallel interpretation. It consists of tokens and five kinds of function units mutually connected as a process graph. the overall processing is done by the flows of tokens among these units. We also present a mechanism for token labeling, which makes this process graph reentrant. A simulation result is given to show how efficiently the model works in terms of parallelism.
Some properties of ternary (three-valued) logic functions, such as regularity, normality, uniformity and etc. , are defined. Ternary logic functions having these properties are significant from an engineering stand po...
详细信息
Some properties of ternary (three-valued) logic functions, such as regularity, normality, uniformity and etc. , are defined. Ternary logic functions having these properties are significant from an engineering stand point. the functional completeness of ternary logic functions having above properties are considered. Further, in addition to a few theorems related to the properties, their functionally complete sets are given. A-ternary logic functions, which are regular, and B-ternary logic functions, which are regular and normal, are examined in detail.
Some properties of ternary (three-valued) logic functions, such as regularity, normality, uniformity and etc. , are defined. Ternary logic functions having these properties are significant from an engineering stand po...
详细信息
Some properties of ternary (three-valued) logic functions, such as regularity, normality, uniformity and etc. , are defined. Ternary logic functions having these properties are significant from an engineering stand point. the functional completeness of ternary logic functions having above properties are considered. Further, in addition to a few theorems related to the properties, their functionally complete sets are given. A-ternary logic functions, which are regular, and B-ternary logic functions, which are regular and normal, are examined in detail.
this book constitutes the refereed proceedings of the 10thinternationalsymposium on programming Languages, Implementations, logics, and Programs, PLILP'98, held jointly withthe 6thinternational Conference on A...
详细信息
ISBN:
(数字)9783540497660
ISBN:
(纸本)9783540650126
this book constitutes the refereed proceedings of the 10thinternationalsymposium on programming Languages, Implementations, logics, and Programs, PLILP'98, held jointly withthe 6thinternational Conference on Algebraic and logicprogramming, ALP'98, in Pisa, Italy, in September 1998.;the 26 revised full papers presented were carefully reviewed and selected from a total of 68 submissions. Also included are two invited papers and abstracts of two tutorials. the papers are organized in topical sections on verification, logicprogramming, static analysis, software methodologies, object oriented programming, term rewriting, functionalprogramming, metaprogramming, optimal evaluation, integration, and constraint solving.
暂无评论