Search Sciweavers | Sciweavers

4959 search results - page 105 / 992

» Imperative Functional Programming

click to vote

IWPC
2009
IEEE

133views Software Engineering» more IWPC 2009»

Reading the documentation of invoked API functions in program comprehension

15 years 5 months ago

Download www.cs.cmu.edu

Comprehending an unfamiliar code fragment requires an awareness of explicit usage directives that may be present in the documentation of some invoked functions. Since it is not pr...

Uri Dekel, James D. Herbsleb

claim paper

Read More »

click to vote

IFL
2007
Springer

133views Formal Methods» more IFL 2007»

Debugging Lazy Functional Programs by Asking the Oracle

15 years 5 months ago

Download www.informatik.uni-kiel.de

Bernd Braßel, Holger Siegel

claim paper

Read More »

click to vote

PEPM
2007
ACM

86views Software Engineering» more PEPM 2007»

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

15 years 5 months ago

Download www3.di.uminho.pt

Alcino Cunha, Joost Visser

claim paper

Read More »

click to vote

ICSEA
2006
IEEE

89views Software Engineering» more ICSEA 2006»

Automatic Generation of Functional Programs from CASL Specifications

15 years 5 months ago

Download www.epigenomique.genopole.fr

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

claim paper

Read More »

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 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers