Sciweavers

4743 search results - page 398 / 949
» Introduction to Functional Programming
Sort
View
ICCS
2003
Springer
15 years 12 months ago
The PAGIS Grid Application Environment
Abstract. Although current programming models provide adequate performance, many prove inadequate to support the effective development of efficient Grid applications. Many of the ...
Darren Webb, Andrew L. Wendelborn
TOOLS
2010
IEEE
15 years 12 months ago
Contract-Driven Testing of JavaScript Code
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
Phillip Heidegger, Peter Thiemann
ICRA
2002
IEEE
113views Robotics» more  ICRA 2002»
15 years 11 months ago
Specifying Behavior in C++
Most robot programming takes place in the “time domain.” That is, the goal is to specify the behavior of a system that is acquiring a continual temporal stream of inputs, and ...
Xiangtian Dai, Gregory D. Hager, John Peterson
PADO
2001
Springer
15 years 11 months ago
Implementing Circularity Using Partial Evaluation
Complex data dependencies can often be expressed concisely by defining a variable in terms of part of its own value. Such a circular reference can be naturally expressed in a lazy...
Julia L. Lawall
ESOP
1999
Springer
15 years 11 months ago
Interprocedural Control Flow Analysis
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
Flemming Nielson, Hanne Riis Nielson