Practical Aspects Of Declarative Languages : 7th International Symposium, Padl 2005, Long Beach, Ca, Usa, January 10-11, 2005, Proceedings

Hermenegildo, Manuel (EDT); Cabeza, Daniel (EDT)

ISBN 10: 3540243623 / ISBN 13: 9783540243625

Editore: Springer, 2005

Riguardo questo articolo

Codice articolo 3354038-n

Dati bibliografici

Titolo: Practical Aspects Of Declarative Languages :...

Casa editrice: Springer

Data di pubblicazione: 2005

Legatura: Brossura

Condizione: New

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.