Sciweavers

4959 search results - page 113 / 992

» Imperative Functional Programming

63

JISE
1998

42views more JISE 1998»

Compiling Array References with Affine Functions for Data-Parallel Programs

14 years 10 months ago

Compiling Array References with Affine Functions for Data-Parallel Programs

Download www.iis.sinica.edu.tw

Wen-Hsing Wei, Kuei-Ping Shih, Jang-Ping Sheu

claim paper

Read More »

76

Voted

TOPLAS
1998

41views more TOPLAS 1998»

Partial Evaluation of Functional Logic Programs

14 years 10 months ago

Partial Evaluation of Functional Logic Programs

Download www.cparity.com

María Alpuente, Moreno Falaschi, Germ&aacut...

claim paper

Read More »

55

MP
2010

80views more MP 2010»

Nonlinear programming without a penalty function or a filter

14 years 9 months ago

Nonlinear programming without a penalty function or a filter

Download www.optimization-online.org

Nicholas I. M. Gould, Philippe L. Toint

claim paper

Read More »

57

TOCL
2010

73views more TOCL 2010»

FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols

14 years 9 months ago

FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols

Download tocl.acm.org

Thomas Eiter, Mantas Simkus

claim paper

Read More »

200

PADL
2009
Springer

155views Programming Languages» more PADL 2009»

Operational Semantics for Declarative Networking

15 years 11 months ago

Operational Semantics for Declarative Networking

Download navarroj.com

Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...

Juan A. Navarro, Andrey Rybalchenko

claim paper

Read More »

« Prev « First page 113 / 992 Last » Next »