We present the design of a compiler for a functionallogicprogramming language and discuss the compiler's implementation. the source program is abstracted by a constructor based graph rewriting system obtained fr...
详细信息
ISBN:
(纸本)9783642298226
We present the design of a compiler for a functionallogicprogramming language and discuss the compiler's implementation. the source program is abstracted by a constructor based graph rewriting system obtained from a functionallogic program after syntax desugaring, lambda lifting and similar transformations provided by a compiler's front-end. this system is non-deterministic and requires a specialized normalization strategy. the target program consists of 3 procedures that execute graph replacements originating from either rewrite or pull-tab steps. these procedures are deterministic and easy to encode in an ordinary programming language. We describe the generation of the 3 procedures, discuss the correctness of our approach, highlight some key elements of an implementation, and benchmark the performance of a proof-of-concept. Our compilation scheme is elegant and simple enough to be presented in one page.
the proceedings contain 46 papers. the topics discussed include: applications of pseudo-analysis on models with nonlinear partial differential equations;audio system controlling protocol with AES3;easy and cheap AC de...
详细信息
ISBN:
(纸本)1424414431
the proceedings contain 46 papers. the topics discussed include: applications of pseudo-analysis on models with nonlinear partial differential equations;audio system controlling protocol with AES3;easy and cheap AC device for softcomputing realization;on axiomatization of fuzzy logic;fuzzyfication and measurement using stochastic approach;functionalprogramming in embedded systems and soft computing;functional and parameterical self adjustment in analogue circuit;nonlinear partial differential equations and superposition principle;comparison of convolutional-based interpolation techniques in digital image processing;a recursive solution concept for multichoice games;estimation of dynamical parameters of road vehicles on freeways;modular robots design concepts and research directions;automatic parameterization of edge detection algorithms;and obstacle avoidance of mobile robots in unknown environments.
Embedded computer systems are rapidly gaining more and more ground, from stand alone systems to networked based systems with complex logic. the primary goal of embedded systems is to provide a reliable service over a ...
详细信息
Embedded computer systems are rapidly gaining more and more ground, from stand alone systems to networked based systems with complex logic. the primary goal of embedded systems is to provide a reliable service over a period of time without any kind of intervention. these systems are mainly programmed in low level languages and are often the subject of software flaws inherited from unsafeness of these languages. the purpose of our research is to develop safe, secure, verifiable software for these systems, without significant performance loss. Withthe use of functional paradigm we are able to rapidly develop elegant code and solve complex tasks with ease.
the proceedings contain 24 papers. the special focus in this conference is on functionalprogramming and logicprogramming. the topics include: A scalable architecture for proof-carrying code;parameterized logic progr...
ISBN:
(纸本)3540417397
the proceedings contain 24 papers. the special focus in this conference is on functionalprogramming and logicprogramming. the topics include: A scalable architecture for proof-carrying code;parameterized logic programs where computing meets learning;proving syntactic properties of exceptions in an ordered logical framework;a higher-order colon translation;compiling lazy functional programs based on the spineless tagless G-machine for the java virtual machine;a higher-order logicprogramming language with constraints;an effective bottom-up semantics for first-order linear logic programs;a framework for goal-directed bottom-up evaluation of functionallogic programs;theoretical foundations for the declarative debugging of lazy functionallogic programs;adding linear constrains over real numbers to curry;a complete selection function for lazy conditional narrowing;an abstract machine based system for a lazy narrowing calculus;incremental learning of functionallogic programs;a general type inference framework for hindley/milner style systems;monadic encapsulation with stack of regions;well-typed logic programs are not wrong;a framework for analysis of typed logic programs;abstract compilation for sharing analysis;a practical partial evaluator for a multi-paradigm declarative language;a simple take on typed abstract syntax in ML-like languages;a simply typed context calculus with first-class environments and refining the barendregt cube using parameters.
Boundary scan is a widely adopted DFT (Design For Test). According to the characteristic of FPGA application, this paper presents a boundary scan circuit designed for FDEGA (Field-programmable Datapath Enhanced Gate A...
详细信息
ISBN:
(纸本)078037889X
Boundary scan is a widely adopted DFT (Design For Test). According to the characteristic of FPGA application, this paper presents a boundary scan circuit designed for FDEGA (Field-programmable Datapath Enhanced Gate Array), an FPGA new architecture of our group. this design emphasizes the function of PCB level test while considering chip level test function as well. We also integrate device-programming function into the circuit. In implementation of our design, "single DFF (D Flip-Flop) chain" structure is adopted to decrease area consumption. We finished the layout design in 0.6um CMOS process and integrated it into our FDEGA chip. Test result of fabricated chip meets the design requirement, and shows that the circuit can achieve the expected test function and programming function while observing IEEE1149.1 standard.
Our Faculty embarked a few years ago on an ambitious project to redesign itself around an integrated information system, aimed at supporting all information handling activities and deployed through dynamic Web interfa...
详细信息
ISBN:
(纸本)3540003894
Our Faculty embarked a few years ago on an ambitious project to redesign itself around an integrated information system, aimed at supporting all information handling activities and deployed through dynamic Web interfaces automatically customized for individual users. the project includes boththe design of the services and the development of appropriate software technology to implement them. It led already to a running system, supporting many official academic procedures, which is under constant evolution. the system architecture is fully based on Prolog, connected to an external database engine. this paper summarizes and discusses the characteristics that make Prolog a vehicle of choice for the implementation, along with a sketch of main aspects of the system architecture and the specific declarative techniques that were developed for them. the recurring methodological gain is the ease of building abstraction layers supported by specific term sub-languages, due to the combination of flexible operator syntax withthe power of the underlying machinery to define new constructs. the basic programming layer evolved from standard Prolog to a novel structured version of it, with compositional semantics (no cuts) and direct support for structural abstraction and application, combining in practice the logicprogramming style withthe higher-order power and some of the programming flavour of functional languages. the system's main architectural glue is the conceptual scheme, for which a definition language was developed whose expressions are compiled (by Prolog) to induce the database tables and (the instantiation of) a query/update language with a syntax based on compositionality principles of natural language, whose expressions are both more natural and much more compact than the equivalent in SQL.
the proceedings contain 26 papers. the special focus in this conference is on Practical Aspects of Declarative Languages. the topics include: the role of declarative languages in mining biological databases;light and ...
ISBN:
(纸本)3540003894
the proceedings contain 26 papers. the special focus in this conference is on Practical Aspects of Declarative Languages. the topics include: the role of declarative languages in mining biological databases;light and fast applicative algorithms for computational linguistics;data mining the yeast genome in a lazy functional language;an integrated information system powered by prolog;iterable abstract pattern matching for java;reconstructing the evolutionary history of indo-European languages using answer set programming;logic programs for querying inconsistent databases;a CLP-based tool for computer aided generation and solving of Maths exercises;type-based xml processing in logicprogramming;garbage collection algorithms for java-based prolog engines;solving combinatorial problems with a constraint functionallogic language;logic programs as compact denotations and lambda goes to Hollywood.
this paper explores a seeminglyv ery simple idea—an operation for extending a term with extra (start or end) arguments to yield a new term. this allows the definition a varietyof structural operators that provide the...
详细信息
this paper describes a proposal to incorporate finite domain constraints in a functionallogic system. the proposal integrates functions, higher-order patterns, partial applications, non-determinism, logical variables...
详细信息
暂无评论