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
Exploring Renewable and Alternative Energy Use in India
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.The Bronze Mask: Protagonists of English Literature
02.Biotechnological Applications of Seaweeds
03.The Lonely Ape that Told Himself Stories: The Necessity of Stories for Human Survival
04.Different Aspects on Chemotherapy of Trypanosomatids
05.Pediatric Surgery Handbook for Residents and Medical Students
06.Fighting for a Gender[ed] Identity: An Ethnographic Examination of White Collar Boxers
07.Blood Viscosity: Its Role in Cardiovascular Pathophysiology and Hematology
08.Neonatal and Perinatal Mortality: Global Challenges, Risk Factors and Interventions
09.Trichotillomania (Hair Pulling Disorder): Clinical Characteristics, Psychological Interventions and Emotional Effects
10.Thyroid Nodules and Cancer: A Simplified Case Oriented Approach
11.Biliary Diseases with Pancreatic Counterparts: A New Disease Concept
Total Respect Management (TR3M): A Novel Approach to Achieve Safety and Performance Proactively in Any Organisation

Nova Science Publishers
© Copyright 2004 - 2017

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