1988, ISBN: 9783540190202
3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8?10, 1987 Proceedings, Buch, Softcover, 1988, This volume is the proceedings of the 3rd Workshop on the Mathematical Fo… Mehr…
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
ISBN: 9783540190202
This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987. T… Mehr…
Springer.com Nr. 978-3-540-19020-2. Versandkosten:Worldwide free shipping, , plus shipping costs. (EUR 0.00) Details... |
Mathematical Foundations of Programming Language Semantics 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8¿10, 1987 Proceedings - neues Buch
1988, ISBN: 3540190201
1988 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Mathematik / Informatik, Computer, Mathematik, Theoretische Informatik, Action; algorithms; ML; Miranda; algorithm;… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Mathematical Foundations of Programming Language Semantics 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 Proceedings - neues Buch
1988, ISBN: 3540190201
1988 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Mathematik / Informatik, Computer, Mathematik, Theoretische Informatik, Action; algorithms; ML; Miranda; algorithm;… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9783540190202
*Mathematical Foundations of Programming Language Semantics* - 3rd Workshop Tulane University New Orleans Louisiana USA April 810 1987 Proceedings. Auflage 1988 / Taschenbuch für 53.49 € … Mehr…
Hugendubel.de Versandkosten:Kein Versand in Ihr Zielland., zzgl. Versandkosten Details... |
1988, ISBN: 9783540190202
3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8?10, 1987 Proceedings, Buch, Softcover, 1988, This volume is the proceedings of the 3rd Workshop on the Mathematical Fo… Mehr…
ISBN: 9783540190202
This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987. T… Mehr…
Mathematical Foundations of Programming Language Semantics 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8¿10, 1987 Proceedings - neues Buch
1988
ISBN: 3540190201
1988 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Mathematik / Informatik, Computer, Mathematik, Theoretische Informatik, Action; algorithms; ML; Miranda; algorithm;… Mehr…
Mathematical Foundations of Programming Language Semantics 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 Proceedings - neues Buch
1988, ISBN: 3540190201
1988 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Mathematik / Informatik, Computer, Mathematik, Theoretische Informatik, Action; algorithms; ML; Miranda; algorithm;… Mehr…
ISBN: 9783540190202
*Mathematical Foundations of Programming Language Semantics* - 3rd Workshop Tulane University New Orleans Louisiana USA April 810 1987 Proceedings. Auflage 1988 / Taschenbuch für 53.49 € … Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Mathematical Foundations of Programming Language Semantics
EAN (ISBN-13): 9783540190202
ISBN (ISBN-10): 3540190201
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1988
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2007-05-07T19:57:14+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-05-13T23:06:00+02:00 (Berlin)
ISBN/EAN: 3540190201
ISBN - alternative Schreibweisen:
3-540-19020-1, 978-3-540-19020-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: michael schmidt, david austin, david schmid
Titel des Buches: semantics, language science, tulane university, mathematical programming, the programming language, mathematical foundations computer science, foundation, lecture notes computer science, new orleans, main
Daten vom Verlag:
Autor/in: Michael Main; Austin Melton; Michael Mislove; David Schmidt
Titel: Lecture Notes in Computer Science; Mathematical Foundations of Programming Language Semantics - 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8–10, 1987 Proceedings
Verlag: Springer; Springer Berlin
640 Seiten
Erscheinungsjahr: 1988-03-09
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 640 p. 1 illus.
BC; Hardcover, Softcover / Mathematik; Mathematik; Verstehen; Action; Algorithms; ML; Miranda; algorithm; programming; programming language; real-time; semantics; Mathematics; Software Engineering; Computer Science Logic and Foundations of Programming; Software Engineering; Theoretische Informatik; EA
A categorical treatment of polymorphic operations.- A categorical approach to realizability and polymorphic types.- Rule-based semantics for an extended lambda-calculus.- Semantics of block structured languages with pointers.- Assertional categories.- Kan extensions in effective semantics.- The versatile continuous order.- On the Smyth power domain.- The metric closure powerspace construction.- A powerdomain construction.- Closure properties of a probabilistic domain construction.- Quasi-uniformities: Reconciling domains with metric spaces.- Solving reflexive domain equations in a category of complete metric spaces.- Topological completeness in an ideal model for polymorphic types.- New results on hierarchies of domains.- Semantically based axiomatics.- Metric spaces as models for real-time concurrency.- dI-domains as a model of polymorphism.- Continuous auxiliary relations.- Computable one-to-one enumerations of effective domains.- Extended abstract of MIX: A self-applicable partial evaluator for experiments in compiler generation.- Semantics-based tools for a specification-support environment.- A treatment of languages with stages of evaluation.- Operational semantics and a distributed implementation of CSP.- The semantics of Miranda's algebraic types.- Path semantics.- The formal description of data types using sketches.- Initial algebra semantics and concurrency.- High-level semantics.- An action semantics of standard ML.- An algorithmic approach to p-adic integers.- The shuffle bialgebra.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780387190204 Mathematical Foundations of Programming Language Semantics: 3rd Workshop (Lecture Notes in Computer Science) (M. Main; Austin Melton; M. Mislove; Editor-D. Schmidt)
- 9780387190204 Mathematical Foundations of Programming Language Semantics: 3rd Workshop (Lecture Notes in Computer Science) (M. Main; Austin Melton; M. Mislove; Editor-D. Schmidt)
- 9780387168166 Mathematical Foundations of Programming Semantics (Lecture Notes in Computer Science) (Editor-Austin Melton)
- 9783540555117 Mathematical Foundations of Programming Semantics: 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings Stephen Brookes E (Stephen Brookes; Michael Main; Austin Melton; Michael Mislove; David Schmidt)
- 9780387555119 Mathematical Foundations of Programming Semantics (Lecture Notes in Computer Science) (S. Brookes)
< zum Archiv...