Nova Publishers
My Account Nova Publishers Shopping Cart
HomeBooksSeriesJournalsReference CollectionseBooksInformationSalesImprintsFor Authors
  Top » Catalog » Books » Computer Science and Robotics » My Account  |  Cart Contents  |  Checkout   
Quick Find
Use keywords to find the product you are looking for.
Advanced Search
What's New? more
Medicine Research Summaries (with Biographical Sketches). Volume 15
Shopping Cart more
0 items
Shipping & Returns
Privacy Notice
Conditions of Use
Contact Us
01.Robotics in Surgery: History, Current and Future Applications
02.From Problem Toward Solution: Wireless Sensor Networks Security
03.Introduction to Graph and Hypergraph Theory
04.Wiki Supporting Formal and Informal Learning
05.Intelligent Vehicle Systems: A 4D/RCS Approach
06.Artificial Intelligence in Energy and Renewable Energy Systems
07.Advances in Security Information Management: Perceptions and Outcomes
08.Computer Vision and Robotics
09.MOSFETs: Properties, Preparations and Performance
10.Expert Systems Research Trends
Notifications more
NotificationsNotify me of updates to Implementation of Term Rewriting-Based Programming Languages. Advances in Computation: Theory and Practice, Volume 13
Tell A Friend
Tell someone you know about this product.
Implementation of Term Rewriting-Based Programming Languages. Advances in Computation: Theory and Practice, Volume 13
Retail Price: $120.00
10% Online Discount
You Pay:

Authors: Nedjah, Nadia and Mourelle, Luiza de Macedo (State University of Rio de Janeiro, Brazil) 
Book Description:
This book presents new compilation, analysis, optimisation and evaluation techniques for implementation of lazy functional programming languages on sequential computers. As a framework for developing these techniques, the authors use the equational language (pioneered by O'Donnell, Huet and LÚvy) wherein programs consist of functions defined by pattern matching equations of the form pattern = template Interpreted as left-to-right rules.

Table of Contents:
Preface; Chapter 1: Term Rewriting; Chapter 2: Terminology and Notation; Chapter 3: Rewriting Strategies; Chapter 4: A Rewriting Machine; Chapter 5: Improvements Based on Right Sides; Chapter 6: Optimal Left-to-Right Matching Automata; Chapter 7: Adaptive Traversal Orders; Chapter 8: Conclusions and Advanced Topics; Bibliography; Index.

      Advances in Computation: Theory and Practice
   Binding: Hardcover
   Pub. Date: 2003
   ISBN: 1-59033-645-3
Customers who bought this product also purchased

Constructive Methods for Parallel Programming
Special Focus Titles
01.Essureal Journey: Concepts, Concerns and Considerations for Hysteroscopic Sterilization
02.Feminism: Past, Present and Future Perspectives
03.Accelerating Newborn through Toddler Learning Development
04.Neonatal Intensive Care Units (NICUs): Clinical and Patient Perspectives, Levels of Care and Emerging Challenges
05.Genetic Mistakes: Understanding and Living with Fatty Acid Oxidation Disorders
06.The Impact of Severe Mental Illness on Quality of Life: Challenges for Research and Practices
07.Vukhomba: An Analysis of the Puberty Rites of Passage for Girls among Vatsonga in Relation to Sexuality Education
08.The Challenges and Issues of Tourism Development in China
09.Reconstruction of the Tradition: Tourism and Authentication of Heritage in China
10.Nonlinearity: Problems, Solutions and Applications. Volume 1
11.Adaptive Management: Elements, Applications and Research
12.Natural Fibers: Properties, Mechanical Behavior, Functionalization and Applications

Nova Science Publishers
© Copyright 2004 - 2017

Implementation of Term Rewriting-Based Programming Languages. Advances in Computation: Theory and Practice, Volume 13