Sciweavers

1193 search results - page 5 / 239

» Database Query Languages and Functional Logic Programming

145

Voted

PADL
1999
Springer

130views Programming Languages» more PADL 1999»

Applying Logic Programming to Derive Novel Functional Information of Genomes

15 years 10 months ago

Applying Logic Programming to Derive Novel Functional Information of Genomes

Download www.cs.kent.edu

Arvind K. Bansal, Peer Bork

claim paper

Read More »

125

PPDP
2000
Springer

80views Programming Languages» more PPDP 2000»

Type-based nondeterminism checking in functional logic programs

15 years 9 months ago

Type-based nondeterminism checking in functional logic programs

Download eref.uqu.edu.sa

Michael Hanus, Frank Steiner

claim paper

Read More »

208

LOGCOM
2011

235views Programming Languages» more LOGCOM 2011»

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations

14 years 9 months ago

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations

Download mally.stanford.edu

Paul E. Oppenheimer, Edward N. Zalta

claim paper

Read More »

159

ECOOP
2007
Springer

119views Programming Languages» more ECOOP 2007»

Code Analyses for Refactoring by Source Code Patterns and Logical Queries

15 years 10 months ago

Code Analyses for Refactoring by Source Code Patterns and Logical Queries

Download roots.iai.uni-bonn.de

Daniel Speicher, Malte Appeltauer, Günter Kni...

claim paper

Read More »

169

DOOD
1993
Springer

135views Database» more DOOD 1993»

A Deductive and Typed Object-Oriented Language

15 years 10 months ago

A Deductive and Typed Object-Oriented Language

Download eprints.eemcs.utwente.nl

In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...

René Bal, Herman Balsters

claim paper

Read More »

« Prev « First page 5 / 239 Last » Next »