540 search results - page 17 / 108 » Mathematical programming based debugging |
VL
2006
IEEE
15 years 3 months ago
2006
IEEE
Visula is a general-purpose object-oriented visual programming language (VPL). The language uses a new approach, by basing its notation upon UML sequence diagrams, instead of trad...
ERLANG
2004
ACM
15 years 3 months ago
2004
ACM
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
164
click to vote
LISP
2006
14 years 9 months ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
ERSHOV
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
AISS
2010
14 years 7 months ago
2010
A mathematical multi objective model for the selection of a portfolio of investment is presented and its application in the Mexican Stock Exchange (BMV). The multi objective model...