e99 Online Shopping Mall

Geometry.Net - the online learning center Help  
Home  - Basic F - Functional Languages Programming (Books)

  Back | 21-40 of 101 | Next 20
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

click price to see details     click image to enlarge     click link to go to the store

 
21.
 
$44.29
22. Algebraic Logic Functional Programming
 
$39.00
23. The Handbook of Programming Languages
 
24. The Handbook of Programming Languages
 
25. Introduction to the functional
 
26. Fourth International Conference
 
27. A combined logical and functional
 
28. IDRIL: An interrupt driven functional
 
29. Functional Programming Languages
 
30. Functional Programming Languages
 
31. Combinators and Functional Programming
 
32. Exception handling in functional
 
33. Functional Programming Languages
 
34. FPCA '89: The Fourth International
35. Pattern Matching: Computer Science,
 
36. Functional Programming Languages
 
37. Inductively defined functions
 
38. Real programming in functional
 
39. A Miranda to FLIC translator:
 
40. Functional and Logic Programming

21.
 

Canada | United Kingdom | Germany | France | Japan

22. Algebraic Logic Functional Programming Language
 Paperback: 96 Pages (2010-10-02)
list price: US$47.00 -- used & new: US$44.29
(price subject to change: see help)
Asin: 6133215321
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
High Quality Content by WIKIPEDIA articles! Algebraic Logic Functional programming language also known as ALF is a programming language which combines functional and logic programming techniques. Its foundation is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. ALF was designed to be genuine integration of both programming paradigms, and thus any functional expression can be used in a goal literal and arbitrary predicates can occur in conditions of equations. ALF's operational semantics is based on the resolution rule to solve literals and narrowing to evaluate functional expressions. In order to reduce the number of possible narrowing steps, a leftmost-innermost basic narrowing strategy is used which, it is claimed, can be efficiently implemented. ... Read more


23. The Handbook of Programming Languages (HPL): Functional, Concurrent and Logic Programming Languages
by Peter Salus
 Hardcover: 250 Pages (1998-05-08)
list price: US$49.99 -- used & new: US$39.00
(price subject to change: see help)
Asin: 1578700116
Average Customer Review: 2.5 out of 5 stars
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
Volume IV begins with the Logic Programming group, all descended from John McCarthy's LISP of the late 1960s.The Volume begins with a few pages from the LISP 1.5 Programmer's Manual, a vital token of things to come and moves on to LISP's offspring: LISP, Scheme, Guile, and CLOS. Finally, Jamie Andrews provides a substantial essay on the most important Functional programming language, Prolog. The contributions are designed to enable the programmer to evaluate the languages and to understand the ways in which each works.* Bob Chassell on Emacs LISP,* Brian Harvey on Scheme,* Jim Blandy on Guile,* Jim Veitch on CLOS,* Jamie Andrews on Prolog.

  • Unique leaders in the field of functional, concurrent and logic programming provide insightful information about the language that they helped to create
  • A complete handbook covering the most widely used functional, concurrent and logic programming languages
  • Comprehensive coverage of each language includes history, syntax, variables, tips and traps
  • Unique introductory material enables professional programmers to evaluate whether a specific language is appropriate for his or her use
Amazon.com Review
The final volume of the Handbook of Programming Languagesseries, Functional, Concurrent and Logic Programming Languages,discusses languages that work with data based on the high-leveloperations to be performed. This volume interprets what the data meaninstead of precisely how to perform the computations. These languagesare natural choices for developers of artificial intelligence andknowledge-based applications.

This book opens with a brief generaldescription of Lisp and devotes a chapter to Emacs Lisp. Sections onScheme, Guile, and CLOS follow.

The volume wraps up with a longchapter on Prolog--a key logic programming language that is highlyexpressive and useful for knowledge systems and artificialintelligence development. Though knowledge-based applications stillmake up only a small portion of the overall programming landscape,there's little doubt that they will play an increasingly importantrole in the future. This volume chronicles the roots of the evolutionof knowledge-based applications. --Stephen Plain ... Read more

Customer Reviews (2)

4-0 out of 5 stars Fairly good overview
This book is the last of the HPL series and covers some of the morepopular logic and functional programming languages. It is however somewhat outdated, since some up-and-coming functional programming languages, such as Haskell, are only mentioned and not treated in detail.

The first chapter is a quick introduction to Lisp (2 pages) and is put into to set up the next chapter on Emacs Lisp. This chapter is written by R.J. Chassell, and gives a general overview of the main features of Emacs Lisp. The author does a good job of explaining the language, and how it fits into the functional programming paradigm. He uses an interesting diagrammatic representation, which he calls "chest of drawers" to explain how printed representations of Emacs Lisp are different from the internal representation in the computer. One can also see very clearly the lambda calculus origins of Lisp in this chapter. The definition of a function in Lisp clearly illustrates the effectiveness of functional programming in emulating the concept from mathematics. A function is thought of as a rule for computation that takes several arguments and returns a value. It can however have a "side effect" of changing the values of variables or the contents of data structures. It is this later pr

operty of a function in programming languages that can cause confusion to a mathematician-turned-programmer. Mathematicians are not accustomed to worrying about these side effects, only concerning themselves with the result of the function.But the author does give a good explanation as to the importance of side effects in building programs. He is also careful to explain the different types of functions in Lisp, namely defined, anonymous, and primitive ones. The later are built-in ones that are written in C and provide performance enhancement. In addition, macros are distinguished from functions in that they merely serve as translators from user expressions to expressions to be evaluated by the Lisp interpreter. The "fundamental" functions "car", "cdr", and "cons" are also explained in detail, as functions that create and operate on lists.

In chapter 3, the author Brian Harvey discusses the language Scheme, and he endeavors to illustrate the simplicity of Scheme as a programming language. Because of its simplicity, Scheme has been used as a teaching tool in courses on computer languages and general programming. The author shows how Scheme is related to Lisp, and most importantly, he emphasizes the composition of functions (recursion) as being the primary control mechanism in Scheme. He makes a good case for the use of functional programming as a methodology for obtaining clarity and economy of thought in writing programs. The ability of Scheme to perform garbage collection contributes greatly to Scheme's ease of use. For example, Scheme employs lists in preference to arrays, with lists being dynamically allocated data structures, and the elements of the list can themselves be lists. In addition, and also very important, is the capability of Scheme to implement untyped variables. Mixing data types is a very powerful capability when attempting to write programs that are written to study complicated ideas and constructions from pure mathematics. The author also outlines the ability of Scheme to do tail call elimination, emphasizing that Scheme is the first language in which to guarantee this as part of its language specification. Recursive calls can be expensive for performance, but this capability allows conventional "for" and "while" processing to take place. For the beginner to Scheme, or functional programming, the author gives a useful discussion on common programming problems at the end of the chapter.

In the next chapter, the author Jim Blandy gives an overview of Guile. I did not read this chapter so I will omit its review.

In chapter 5, Jim Vietch discusses Common Lisp Object System (CLOS), which is an attempt to make Common Lisp an object-oriented programming language. The author gives a good historical introduction to CLOS and outlines its main features. The author compares CLOS with C++ and Smalltalk at various places in the chapter, which is helpful to programmers who are familiar with these latter languages and want to learn about how to do OO-programming in a functional programming language. The author does a good job of explaining the metaobject protocol (MOP), which allows overriding of the standard CLOS semantics. The author is convincing in his arguments of how MOP can add clarity and efficiency in OO-programmming. In addition, an effective discussion, using various code examples, is given of the power of dependency tracking and lazy evaluation. For me personally, lazy evaluation has been the tour-de-force behind functional programming and one of its most powerful features. Towards the end of the chapter, the author gives a good overview of performance issues with CLOS and a few hints on how to improve it.

The last chapter of the book covers Prolog, and is written by James Andrews. From the standpoint of mathematical logic, Prolog is based on the theory of Horn clauses, instead of the lambda calculus. Thus it could be described as a logic programming language, and this is the characterization given by the author in this book. Commercial Prolog compilers are now available, but the use of Prolog has executed a sort of random walk since its invention in the early 1970s. The author discusses, objectively I think, the misconceptions and problems with the use of Prolog. The main properties of Prolog are summarized very well in the article, with rules and recursion being the main expressive and computational strategies employed in Prolog. A program in Prolog is a sequence of (Horn) clauses, and the author shows how a Prolog program is able to arrive at a conclusion (or output) based on the rules and facts given in the program, which is effectively a depth-first search algorithm. The author also gives a nice discussion on the advanced features of Prolog, including negation, cuts, and predicates.

1-0 out of 5 stars not recommended
My first impressions about this handbook are not very favourable.

Although the first volume claims to be a handbook of object oriented languagesit does not cover object oriented languages of NiklausWirth's group, e.g. Oberon-2 or its commercial dialect Component Pascal.

Additionally to that, a descendant of Wirth's languages, Modula 3, isclaimed to be one=of the smallest OO-languages. Due to the ignorancegiven to Oberon-2, this is only true for the OO languages covered in thishandbook. In comparison to Oberon-2, Modula-3 is bloated (language reportsize is 60 pages vs 2E 20 pages).

The language family tree on the insidecovers do not give the correctdescendants/ancestors for some of thelanguages.

Scrolling through the second volume on imperative languagesreveals similar prob=lems: Pascal is only mentioned with its commercialdialect "Turbo Pascal", which -- at least in its lastincarnation-- is anOO-language and not imperative one, and shouldtherefore be covered in the first volume. It misses the ISO/ANSI standards(ISO 7185: Standard Pascal and IS10206: Extended Pascal). It misses tomention Modula-2 (as I recall from memory, since I didnot buy thebook).

Since - IMHO - a handbook should be some objective reference, the first two volumes do not meet my criteria for a handbook. ... Read more


24. The Handbook of Programming Languages (HPL): Functional, Concurrent and Logic Pr
by Peter Salus
 Hardcover: Pages (1998-01-01)

Isbn: 158105713X
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
A comprehensive Spanish as a second language program designed to spark children's curiousity and interest in the Spanish language and the Hispanic culture by suing a wide vaiety of songs, games and activities. ... Read more


25. Introduction to the functional programming language "Ponder" (TR. University of Cambridge, Computer Laboratory)
by Mark Tillotson
 Unknown Binding: 57 Pages (1985)

Asin: B0007BFA16
Canada | United Kingdom | Germany | France | Japan

26. Fourth International Conference on Functional Programming Languages and Computer Architure
 Hardcover: Pages (1989-12)
list price: US$35.50
Isbn: 9991823468
Canada | United Kingdom | Germany | France | Japan

27. A combined logical and functional programming language (Technical report. California Institute of Technology. Computer Science Dept)
by Michael O Newton
 Unknown Binding: 40 Pages (1985)

Asin: B00071A7MI
Canada | United Kingdom | Germany | France | Japan

28. IDRIL: An interrupt driven functional programming language (Technical report. Texas A & M University. Computer Science Dept)
by Stanley T Shebs
 Unknown Binding: Pages (1982)

Asin: B00071G3Z8
Canada | United Kingdom | Germany | France | Japan

29. Functional Programming Languages and Computer Architecture
 Unknown Binding: Pages (1985-01-01)

Asin: B001Y2QOTO
Canada | United Kingdom | Germany | France | Japan

30. Functional Programming Languages in Education
by Pieter Hartel
 Paperback: Pages (2007-01-01)

Asin: B003Q5IHF6
Canada | United Kingdom | Germany | France | Japan

31. Combinators and Functional Programming Languages
by Guy Cousineau
 Paperback: Pages (2007)

Asin: B003Q527L6
Canada | United Kingdom | Germany | France | Japan

32. Exception handling in functional programming languages (Internal report. University of East Anglia. School of Information Systems)
by C. B Dornan
 Unknown Binding: Pages (1989)

Asin: B0007BXM7K
Canada | United Kingdom | Germany | France | Japan

33. Functional Programming Languages and Computer Architecture (Lecture Notes in Com
by Gilles, Editor Kahn
 Paperback: Pages (1987-01-01)

Asin: B002J7RUDM
Canada | United Kingdom | Germany | France | Japan

34. FPCA '89: The Fourth International Conference on Functional Programming Languages and Computer Architecture, Imperial College, London, September 11-13, 1989
 Unknown Binding: 395 Pages (1989)

Isbn: 0897913280
Canada | United Kingdom | Germany | France | Japan

35. Pattern Matching: Computer Science, Pattern Recognition, Tree Structure, Regular Expression, Backtracking, Functional Programming Language
Paperback: 112 Pages (2010-02-24)
list price: US$53.00
Isbn: 6130491948
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
High Quality Content by WIKIPEDIA articles! In computer science, pattern matching is the act of checking for the presence of the constituents of a given pattern. In contrast to pattern recognition, the pattern is rigidly specified. Such a pattern concerns conventionally either sequences or tree structures. Pattern matching is used to test whether things have a desired structure, to find relevant structure, to retrieve the aligning parts, and to substitute the matching part with something else. Sequence (or specifically text string) patterns are often described using regular expressions (e.g. backtracking) and matched using respective algorithms. Sequences can also be seen as trees branching for each element into the respective element and the rest of the sequence, or as trees that immediately branch into all elements. ... Read more


36. Functional Programming Languages and Computer Architecture
by John Hughes
 Paperback: Pages (2007-01-01)

Asin: B003Q58IBO
Canada | United Kingdom | Germany | France | Japan

37. Inductively defined functions in functional programming languages (LFCS report series. University of Edinburgh. Department of Computer Science. Laboratory of Foundations of Computer Science)
by Rod M Burstall
 Unknown Binding: 12 Pages (1987)

Asin: B0007BFA8O
Canada | United Kingdom | Germany | France | Japan

38. Real programming in functional languages (Xerox, Palo Alto Research Center technical report)
by James H Morris
 Unknown Binding: 31 Pages (1981)

Asin: B0006XXIV4
Canada | United Kingdom | Germany | France | Japan

39. A Miranda to FLIC translator: A study of functional programming (Document / Functional Language Implementation Project)
by Andrew M Lord
 Unknown Binding: 72 Pages (1987)

Asin: B0007BPM9Q
Canada | United Kingdom | Germany | France | Japan

40. Functional and Logic Programming Languages: Handbook of Programming Languages, Volume 4
by Peter H. (editor) Salus
 Hardcover: Pages (1998)

Asin: B000MBM26W
Canada | United Kingdom | Germany | France | Japan

  Back | 21-40 of 101 | Next 20
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

Prices listed on this site are subject to change without notice.
Questions on ordering or shipping? click here for help.

site stats