Sciweavers

4895 search results - page 91 / 979

» Functional Quantum Programming

29

IFL
2007
Springer

133views Formal Methods» more IFL 2007»

Debugging Lazy Functional Programs by Asking the Oracle

14 years 3 months ago

Debugging Lazy Functional Programs by Asking the Oracle

Download www.informatik.uni-kiel.de

Bernd Braßel, Holger Siegel

claim paper

Read More »

21

PEPM
2007
ACM

86views Software Engineering» more PEPM 2007»

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

14 years 3 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 »

19

ICSEA
2006
IEEE

89views Software Engineering» more ICSEA 2006»

Automatic Generation of Functional Programs from CASL Specifications

14 years 3 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 »

21

FLOPS
2004
Springer

89views Automated Reasoning» more FLOPS 2004»

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

14 years 2 months 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 »

29

EMSOFT
2001
Springer

121views Software Engineering» more EMSOFT 2001»

Directions in Functional Programming for Real(-Time) Applications

14 years 1 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 »

« Prev « First page 91 / 979 Last » Next »