Sciweavers

8197 search results - page 94 / 1640

» Adaptive functional programming

156

PEPM
2007
ACM

86views Software Engineering» more PEPM 2007»

Transformation of structure-shy programs: applied to XPath queries and strategic functions

16 years 1 months ago

Transformation of structure-shy programs: applied to XPath queries and strategic functions

Download www3.di.uminho.pt

Alcino Cunha, Joost Visser

claim paper

Read More »

140

ICSEA
2006
IEEE

89views Software Engineering» more ICSEA 2006»

Automatic Generation of Functional Programs from CASL Specifications

16 years 1 months ago

Automatic Generation of Functional Programs from CASL Specifications

Download www.epigenomique.genopole.fr

Agnès Arnould, Laurent Fuchs, Marc Aiguier,...

claim paper

Read More »

143

FLOPS
2004
Springer

89views Automated Reasoning» more FLOPS 2004»

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

16 years 26 days ago

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

Download www.cs.yale.edu

Carsten Schürmann

claim paper

Read More »

193

Voted

EMSOFT
2001
Springer

121views Software Engineering» more EMSOFT 2001»

Directions in Functional Programming for Real(-Time) Applications

15 years 12 months ago

Directions in Functional Programming for Real(-Time) Applications

Download embedded.eecs.berkeley.edu

Walid Taha, Paul Hudak, Zhanyong Wan

claim paper

Read More »

145

Voted

FLOPS
2001
Springer

89views Automated Reasoning» more FLOPS 2001»

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

15 years 12 months ago

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

Download www.ual.es

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

claim paper

Read More »

« Prev « First page 94 / 1640 Last » Next »