Search Sciweavers | Sciweavers

2076 search results - page 32 / 416

» Functional logic overloading

175

click to vote

FLOPS
2004
Springer

91views Automated Reasoning» more FLOPS 2004»

DDT: a Declarative Debugging Tool for Functional-Logic Languages

16 years 8 days ago

Download reference.kfupm.edu.sa

We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...

Rafael Caballero, Mario Rodríguez-Artalejo

claim paper

Read More »

132

click to vote

FLOPS
2004
Springer

89views Automated Reasoning» more FLOPS 2004»

Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework

16 years 8 days ago

Download www.cs.yale.edu

Carsten Schürmann

claim paper

Read More »

123

click to vote

CSB
2003
IEEE

78views Bioinformatics» more CSB 2003»

Pathway Logic Modeling of Protein Functional Domains in Signal Transduction

16 years 5 days ago

Download helix-web.stanford.edu

Carolyn L. Talcott, Steven Eker, Merrill Knapp, Pa...

claim paper

Read More »

130

Voted

ERSHOV
2003
Springer

107views Theoretical Computer Science» more ERSHOV 2003»

A Relational Algebra for Functional Logic Deductive Databases

16 years 3 days ago

Download www.ual.es

Jesús Manuel Almendros-Jiménez, Anto...

claim paper

Read More »

130

click to vote

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers