Sciweavers

7961 search results - page 46 / 1593
» Input-Output Model Programs
Sort
View
112
Voted
AVI
1998
15 years 3 months ago
SIAMOA: a system for visual programming, program visualisation and debugging
ABSTRACT. The paper presents SIAMOA, a system dedicated for design, debugging and visualisation of algorithms. It combines elements of an algorithm visualisation system and an envi...
Frederic Van de Veire, Przemyslaw Szmal, Jaroslaw ...
POPL
2012
ACM
13 years 10 months ago
A type theory for probability density functions
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
Sooraj Bhat, Ashish Agarwal, Richard W. Vuduc, Ale...
125
Voted
PPDP
1999
Springer
15 years 6 months ago
Constraint Programming in OPL
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the rst modeling language to combine high-level algebraic and set notations f...
Pascal Van Hentenryck, Laurent Michel, Laurent Per...
97
Voted
PPL
2008
77views more  PPL 2008»
15 years 2 months ago
Integrating Remote Invocations with Asynchronism and Cooperative Multitasking
In this paper we argue that it is possible to couple the advantages of programming with the well-known abstraction of RPC with asynchronous programming models adequate for wide-ar...
Noemi de La Rocque Rodriguez, Silvana Rossetto
SCAM
2008
IEEE
15 years 8 months ago
Using Program Transformations to Add Structure to a Legacy Data Model
An appropriate translation of the data model is central to any language migration effort. Finding a mapping between original and target data models may be challenging for legacy l...
Mariano Ceccato, Thomas Roy Dean, Paolo Tonella