Buch, Englisch, Band 5979, 179 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 300 g
18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
Buch, Englisch, Band 5979, 179 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 300 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-642-11998-9
Verlag: Springer
real-time programming. – Applications: declarative programming in education and industry, doma- speci?c languages, visual/graphical user interfaces, embedded systems, WWW applications, knowledge representation and machine learning, - ductive databases, advanced programming environments and tools.
Zielgruppe
Professional/practitioner
Autoren/Hrsg.
Fachgebiete
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.
