E-Books durchsuchen
Functional and Constraint Logic Programming [2010]
- 1
-
Programming with Multiple Paradigms in Lua
- 13
-
Constraint Based Strategies
- 27
-
Integrating ILOG CP Technology into <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="978-3-642-11999-6_3_Chapter_TeX2GIFIEq1.gif" Format="GIF" Rendition="HTML" Type="Linedraw" /> </InlineMediaObject> <EquationSource Format="TEX">$\mathcal{TOY}$</EquationSource> </InlineEquation>
- 44
-
Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures
- 62
-
Semantic Labelling for Proving Termination of Combinatory Reduction Systems
- 79
-
A Taxonomy of Some Right-to-Left String-Matching Algorithms
- 96
-
Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types
- 111
-
Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation
- 128
-
New Results on Type Systems for Functional Logic Programming
- 145
-
A Simple Region Inference Algorithm for a First-Order Functional Language
- 162
-
A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions