Programming Languages Implementation and Logic Programming
Editat de Pierre Deransart, Bernard Lorho, Jan Maluszynskien Limba Engleză Paperback – 8 mar 1989
Preț: 322.80 lei
Preț vechi: 403.50 lei
-20%
Puncte Express: 484
Carte tipărită la comandă
Livrare economică 29 iulie-12 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540508205
ISBN-10: 3540508201
Pagini: 312
Ilustrații: VIII, 308 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.48 kg
Ediția:1989
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540508201
Pagini: 312
Ilustrații: VIII, 308 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.48 kg
Ediția:1989
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.