Search Sciweavers | Sciweavers

2076 search results - page 32 / 416

» Functional logic overloading

152

click to vote

FLOPS
2004
Springer

91views Automated Reasoning» more FLOPS 2004»

DDT: a Declarative Debugging Tool for Functional-Logic Languages

15 years 11 months 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 »

115

click to vote

FLOPS
2004
Springer

89views Automated Reasoning» more FLOPS 2004»

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

15 years 11 months ago

Download www.cs.yale.edu

Carsten Schürmann

claim paper

Read More »

105

click to vote

CSB
2003
IEEE

78views Bioinformatics» more CSB 2003»

Pathway Logic Modeling of Protein Functional Domains in Signal Transduction

15 years 11 months ago

Download helix-web.stanford.edu

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

claim paper

Read More »

112

click to vote

ERSHOV
2003
Springer

107views Theoretical Computer Science» more ERSHOV 2003»

A Relational Algebra for Functional Logic Deductive Databases

15 years 11 months ago

Download www.ual.es

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

claim paper

Read More »

118

click to vote

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers