Produktbild
Hartmut (Hrsg.) Ehrig

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)

Buch

Models and equality for logical programming.- Fifth generation computer project: Current research activity and future plans.- A compositive abstraction algorithm for combinatory logic.- Linear logic and lazy computation.- The natural dynamic semantics of mini-Standard ML.- Listlog ¿ A PROLOG extension for list processing.- Intensional negation of logic programs: Examples and implementation techniques.- Improving the execution speed of compiled Prolog with modes, clause selection, and determinism.- Simulation results of a multiprocessor PROLOG architecture based on a distributed and/or graph.- Generating efficient code from strictness annotati… Mehr

CHF 49.50

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Kowalski, Robert A. (Hrsg.) / Levi, Giorgio (Hrsg.) / Montanari, Ugo (Hrsg.)
  • ISBN: 978-3-540-17611-4
  • EAN: 9783540176114
  • Produktnummer: 3244427
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 1987
  • Seitenangabe: 356 S.
  • Masse: H23.5 cm x B15.5 cm x D1.9 cm 540 g
  • Auflage: 1987
  • Abbildungen: Paperback
  • Gewicht: 540

32 weitere Werke von Hartmut (Hrsg.) Ehrig:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.