Implementing Dynamic-Cut in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">T</mml:mi></mml:math>OY

DOI10.1016/j.entcs.2007.01.009zbMath1279.68038OpenAlexW2074969828MaRDI QIDQ2873795

Yolanda García-Ruiz, Rafael Caballero

Publication date: 24 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.01.009

zbMATH Keywords

determinismprogram analysisfunctional-logic programmingprogramming language implementation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

Uses Software

• TOY

Cites Work

• A needed narrowing strategy
• Non-determinism analyses in a parallel-functional language
• An approach to declarative programming based on a rewriting logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Implementing Dynamic-Cut in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">T</mml:mi></mml:math>OY