Verwandte Artikel zu Foundations of Programming Languages
Inhaltsangabe
This is an introduction to the concepts and methodologies underlying programming languages and their connection to actual computers and - by example - algorithms. It aims to provide a firm basis for the study of computer science and is intended in particular for undergraduate students taking an introductory course in computer science. The principles of programming languages are introduced by way of a specific language called PROSA (PROgramming language SAarbrucken), which is similar to PASCAL. The authors examine the mathematical foundations, the syntax and semantics of the language and methods for determining the efficiency and rectifying the correctness of programmes. The connection between programming languages and computers is illustrated by describing a compiler which translates PROSA into the machine language of a simple computer called RESA (REchner SAarbrucken). Each part is proved correct and comparisons to other languages are given. The aim is to help the reader understand and develop those techniques and skills conducive to the efficient construction of reliable programmes. Examples, theorems and exercises are used throughout the text.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This is an introduction to the concepts and methodologies underlying programming languages and their connection to actual computers and - by example - algorithms. It aims to provide a firm basis for the study of computer science and is intended in particular for undergraduate students taking an introductory course in computer science. The principles of programming languages are introduced by way of a specific language called PROSA (PROgramming language SAarbrucken), which is similar to PASCAL. The authors examine the mathematical foundations, the syntax and semantics of the language and methods for determining the efficiency and rectifying the correctness of programmes. The connection between programming languages and computers is illustrated by describing a compiler which translates PROSA into the machine language of a simple computer called RESA (REchner SAarbrucken). Each part is proved correct and comparisons to other languages are given. The aim is to help the reader understand and develop those techniques and skills conducive to the efficient construction of reliable programmes. Examples, theorems and exercises are used throughout the text.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Foundations of Programming Languages
Beispielbild für diese ISBN
Foundations of Programming Languages
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Bestandsnummer des Verkäufers Z1-K-008-01640
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Foundations of Programming Languages
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.68. Bestandsnummer des Verkäufers G0471921394I3N00
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Foundations of Programming Languages
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1988. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1988. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-551-411
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Foundations of Programming Languages
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Couverture différente. Edition 1988. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Signs of wear on the cover. Different cover. Edition 1988. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-576-533
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Foundations of Programming Languages
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Très bon. Ancien livre de bibliothèque avec équipements. Couverture différente. Edition 1988. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1988. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers G-128-880
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Foundations of Programming Languages Loeckx, Jacques; Mehlhorn, Kurt and Wilhelm, Reinhard
Anbieter: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. A few creases, some shelf wear and fading on cover. Also some light foxing on outer edge of pages and a signature on title page. Content is fine. Bestandsnummer des Verkäufers 054360-8
Anzahl: 1 verfügbar