Search Sciweavers | Sciweavers

4716 search results - page 57 / 944

» Tangible functional programming

click to vote

DALT
2006
Springer

128views Intelligent Agents» more DALT 2006»

A Functional Program for Agents, Actions, and Deontic Specifications

13 years 11 months ago

Download staff.science.uva.nl

We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...

Adam Zachary Wyner

claim paper

Read More »

click to vote

DAC
1998
ACM

160views Computer Architecture» more DAC 1998»

Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability

14 years 8 months ago

Download reference.kfupm.edu.sa

Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...

Farzan Fallah, Srinivas Devadas, Kurt Keutzer

claim paper

Read More »

click to vote

IWPC
2009
IEEE

133views Software Engineering» more IWPC 2009»

Reading the documentation of invoked API functions in program comprehension

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

14 years 1 months ago