Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005

ISBN 10: 3540243623 / ISBN 13: 9783540243625

Editore: Springer, 2005

Riguardo questo articolo

Like New. Codice articolo D8F0-0-M-3540243623-6

Dati bibliografici

Titolo: Practical Aspects of Declarative Languages: ...

Casa editrice: Springer

Data di pubblicazione: 2005

Legatura: Paperback

Condizione: Like New

Tipologia articolo: book

Descrizione articolo

Riassunto:

claritywas“AProvablyCorrectCompilerforE?cientModelCheckingofMobile Processes,”byPingYang,YifeiDong,C.R.Ramakrishnan,andScottA.Smolka.

Contenuti:

Invited Talks.- Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction.- Code Compression.- Papers.- Functional Framework for Sound Synthesis.- Specializing Narrowing for Timetable Generation: A Case Study.- Character-Based Cladistics and Answer Set Programming.- Role-Based Declarative Synchronization for Reconfigurable Systems.- Towards a More Practical Hybrid Probabilistic Logic Programming Framework.- Safe Programming with Pointers Through Stateful Views.- Towards Provably Correct Code Generation via Horn Logical Continuation Semantics.- A Provably Correct Compiler for Efficient Model Checking of Mobile Processes.- An Ordered Logic Program Solver.- Improving Memory Usage in the BEAM.- Solving Constraints on Sets of Spatial Objects.- Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization.- Solving Collaborative Fuzzy Agents Problems with CLP( ).- Improved Fusion for Optimizing Generics.- The Program Inverter LRinv and Its Structure.- A Full Pattern-Based Paradigm for XML Query Processing.- Type Class Directives.