Practical Aspects of Declarative Languages
Editat de Gopal Guptaen Limba Engleză Paperback – 5 ian 1999
Preț: 326.47 lei
Preț vechi: 408.09 lei
-20%
Puncte Express: 490
Carte tipărită la comandă
Livrare economică 10-24 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: 9783540655275
ISBN-10: 3540655271
Pagini: 384
Ilustrații: VIII, 376 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.58 kg
Ediția:1998
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540655271
Pagini: 384
Ilustrații: VIII, 376 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.58 kg
Ediția:1998
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Software Engineering.- Automated Benchmarking of Functional Data Structures.- np-spec: An Executable Specification Language for Solving All Problems in NP.- Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program.- Multi-agent Systems Development as a Software Engineering Enterprise.- Innovative Applications I.- From Functional Animation to Sprite-Based Display.- Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators.- Lambda in Motion: Controlling Robots with Haskell.- Implementation.- CHAT: The Copy-Hybrid Approach to Tabling.- The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems.- Or-Parallelism within Tabling.- Declarative Query Processing.- Mnesia — A Distributed Robust DBMS for Telecommunications Applications.- An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language.- Implementing a Declarative String Query Language with String Restructuring.- Systems Applications.- Client-Side Web Scripting with HaskellScript.- MCORBA: A CORBA Binding for Mercury.- Analysis.- Dead Code Elimination through Dependent Types.- Multiple Specialization of WAM Code.- A Flexible Framework for Dynamic and Static Slicing of Logic Programs.- Innovative Applications II.- Applying Logic Programming to Derive Novel Functional Information of Genomes.- An Application of Action Theory to the Space Shuttle.- Developing a Declarative Rule Language for Applications in Product Configuration.- Constraint Programming.- University Timetabling Using Constraint Logic Programming.- Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing.- Using Constraints in Local Proofs for CLP Debugging.- Declarative Languages and Software Engineering(Invited).- A Return to Elegance: The Reapplication of Declarative Notation to Software Design.- ECLiPSe: Declarative Specification and Scaleable Implementation.