Programming Language Implementation and Logic Programming
Editat de Pierre Deransart, Jan Maluszynskien Limba Engleză Paperback – 8 aug 1990
Preț: 328.10 lei
Preț vechi: 410.13 lei
-20%
Puncte Express: 492
Carte tipărită la comandă
Livrare economică 25 iulie-08 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: 9783540530107
ISBN-10: 354053010X
Pagini: 416
Ilustrații: VII, 542 p.
Dimensiuni: 155 x 235 x 23 mm
Greutate: 0.63 kg
Ediția:1990
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 354053010X
Pagini: 416
Ilustrații: VII, 542 p.
Dimensiuni: 155 x 235 x 23 mm
Greutate: 0.63 kg
Ediția:1990
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Implementing parallel rewriting.- Compilation of narrowing.- Inference-based overloading resolution for ADA.- An approach to verifiable compiling specification and prototyping.- Bug localization by algorithmic debugging and program slicing.- A constraint logic programming shell.- Modifying the simplex algorithm to a constraint solver.- Implementing a meta-logical scheme.- The vienna abstract machine.- A new data structure for implementing extensions to Prolog.- Finding the least fixed point using wait-declarations in Prolog.- Elementary logic programs.- A new presburger arithmetic decision procedure based on extended prolog execution.- Reasoning about programs with effects.- Towards a characterization of termination of logic programs.- Static type analysis of prolog procedures for ensuring correctness.- Integrating strict and lazy evaluation: the ?sl-calculus.- Efficient data representation in polymorphic languages.- A logic-based approach to data flow analysis problems.- Systematic semantic approximations of logic programs.- Interprocedural abstract interpretation of block structured languages with nested procedures, aliasing and recursivity.- On the automatic generation of events in delta prolog.- Compilation of non-linear, second order patterns on S-expressions.- Pattern matching in a functional transformation language using treeparsing.- Logic programming within a functional framework.- Compiling logic programs with equality.