• Produktbild: Programming Languages Implementation and Logic Programming
  • Produktbild: Programming Languages Implementation and Logic Programming
Band 348

Programming Languages Implementation and Logic Programming International Workshop, Orleans, France, May 16-18, 1988. Proceedings

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.03.1989

Herausgeber

Pierre Deransart + weitere

Verlag

Springer Berlin

Seitenzahl

308

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

476 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-50820-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.03.1989

Herausgeber

Verlag

Springer Berlin

Seitenzahl

308

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

476 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-50820-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Programming Languages Implementation and Logic Programming
  • Produktbild: Programming Languages Implementation and Logic Programming
  • Static analysis of functional programs with logical variables.- Towards a clean amalgamation of logic programs with external procedures.- An application of abstract interpretation in source level program transformation.- A tool to check the non-floundering logic programs and goals.- Towards a framework for the abstract interpretation of logic programs.- An implementation of retargetable code generators in prolog.- Towards a "middle road" methodology for writing code generators.- A compiler written in prolog: the véda experience.- Coupled context-free grammar as a programming paradigm.- A bottom-up adaptation of earley's parsing algorithm.- Using an attribute grammar as a logic program.- Structure sharing in attribute grammars.- A semantic evaluator generating system in prolog.- A grammatical view of logic programming.- Compiling typol with attribute grammars.- Formal specification of a prolog compiler.- Formal specification of interactive languages using definite clause grammars.- Using logic databases in software development environments.