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
Advances in Nanotechnology. Volume 19
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.Medical Cannabis: Clinical Practice
02.Hemorrhagic Shock: Recognition, Pathophysiology and Management
03.Patellofemoral Pain: An Evidence-Based Clinical Guide
04.Neanderthals in Plato’s Cave: A Relativistic Approach to Cultural Evolution
05.My Patients Were Mummies
06.‘L’Atelier Moderne’: An Exploration of the Collaborative Process Between Performer and Composer in Vocal Music Theatre of the 21st Century (CD Included)
07.The Voice at the End of the Telephone Line: The Psychology of Tele Carers
08.Caught up in the Spirit! Teaching for Womanist Liberation
09.The Transgender Handbook: A Guide for Transgender People, Their Families and Professionals
10.Mastering Science with Metacognitive and Self-Regulatory Strategies: A Teacher-Researcher Dialogue of Practical Applications for Adolescent Students
11.Political Migrations in Poland in the Period of World War II
12.Sociolinguistic Parallels Across Europe: Focus on Lowland Scotland and the Eastern Slavic Countries

Nova Science Publishers
© Copyright 2004 - 2017

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