Escobar | Functional and Constraint Logic Programming | E-Book | sack.de
E-Book

E-Book, Englisch, 179 Seiten, eBook

Reihe: Theoretical Computer Science and General Issues

Escobar Functional and Constraint Logic Programming

18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
Erscheinungsjahr 2010
ISBN: 978-3-642-11999-6
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

E-Book, Englisch, 179 Seiten, eBook

Reihe: Theoretical Computer Science and General Issues

ISBN: 978-3-642-11999-6
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Escobar Functional and Constraint Logic Programming jetzt bestellen!

Zielgruppe

Professional/practitioner

Autoren/Hrsg.

Escobar, Santiago

Weitere Infos & Material

Invited Papers.- Programming with Multiple Paradigms in Lua.- Constraint Based Strategies.- Contributed Papers.- Integrating ILOG CP Technology into .- Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures.- Semantic Labelling for Proving Termination of Combinatory Reduction Systems.- A Taxonomy of Some Right-to-Left String-Matching Algorithms.- Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types.- Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation.- New Results on Type Systems for Functional Logic Programming.- A Simple Region Inference Algorithm for a First-Order Functional Language.- A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.