Wonder Club world wonders pyramid logo
×

Termersetzungssysteme Book

Termersetzungssysteme
Termersetzungssysteme, , Termersetzungssysteme has a rating of 3 stars
   2 Ratings
X
Termersetzungssysteme, , Termersetzungssysteme
3 out of 5 stars based on 2 reviews
5
0 %
4
0 %
3
100 %
2
0 %
1
0 %
Digital Copy
PDF format
1 available   for $99.99
Original Magazine
Physical Format

Sold Out

  • Termersetzungssysteme
  • Written by author Klaus Drosten
  • Published by Berlin ; Springer, 1989., April 1989
Buy Digital  USD$99.99

WonderClub View Cart Button

WonderClub Add to Inventory Button
WonderClub Add to Wishlist Button
WonderClub Add to Collection Button

Book Categories

Authors

Termersetzungssysteme sind ein nicht-deterministisches Berechnungsmodell aus dem Bereich der funktionalen Programmierung. Die Funktionen werden durch rekursive Regeln spezifiziert und durch Untertermersetzung ohne explizite Kontrolle ausgewertet. Die logische Programmierung geht auf den Anfang der 70er Jahre zuruck und wurde besonders popular in Verbindung mit der Programmiersprache PROLOG. Die algebraische Programmierung entstand in ihren Grundzugen Mitte der 70er Jahre, als die ersten Arbeiten uber die Spezifikation abstrakter Datentypen veroffentlicht wurden. Obwohl die algebraische und die logische Programmierung auf gemeinsamen Prinzipien beruhen, entwickelten sie sich zunachst unabhangig voneinander. Erst in jungster Zeit wurde mit Erfolg versucht, beide Ansatze in einem gemeinsamen Kalkul zu vereinen. Das Buch wendet sich an alle, die an den theoretischen Grundlagen der algebraischen und logischen Programmierung interessiert sind. Es gibt zunachst einen Uberblick uber die Grundlagen der Ausfuhrung algebraischer Spezifikationen sowie eine Zusammenfassung der benotigten Grundbegriffe. Das Grundkonzept der algebraischen Spezifikation wird um Ausdrucksmittel zur Fehlerbehandlung und Modularisierung in abstrakten Datentypen erweitert. Die Ausdrucksmittel werden besonders im Hinblick auf ihre Operationalisierbarkeit untersucht. Ausserdem wird gezeigt, wie (und wann) sich algebraische Spezifikationen automatisch in PROLOG-Programme ubersetzen und mit deren Hilfe ausfuhren lassen. Zum besseren Verstandnis des Textes sind Grundkenntnisse der mathematischen Logik hilfreich."


Login

  |  

Complaints

  |  

Blog

  |  

Games

  |  

Digital Media

  |  

Souls

  |  

Obituary

  |  

Contact Us

  |  

FAQ

CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!!

X
WonderClub Home

This item is in your Wish List

Termersetzungssysteme, , Termersetzungssysteme

X
WonderClub Home

This item is in your Collection

Termersetzungssysteme, , Termersetzungssysteme

Termersetzungssysteme

X
WonderClub Home

This Item is in Your Inventory

Termersetzungssysteme, , Termersetzungssysteme

Termersetzungssysteme

WonderClub Home

You must be logged in to review the products

E-mail address:

Password: