Programming Languages Implementation and Logic Programming: International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings - Brossura

Brossura

ISBN 10: 3662177277 ISBN 13: 9783662177273

Casa editrice: Springer, 2014

Riassunto

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.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2014
• ISBN 10: 3662177277
• ISBN 13: 9783662177273
• Rilegatura: Paperback
• Lingua: Inglese
• Contatto del produttore: non disponibile