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
Preț estimativ în valută:
58.02€ • 66.53$ • 50.14£
58.02€ • 66.53$ • 50.14£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
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.