Sciweavers

4959 search results - page 113 / 992
» Imperative Functional Programming
Sort
View
JISE
1998
42views more  JISE 1998»
15 years 2 months ago
Compiling Array References with Affine Functions for Data-Parallel Programs
Wen-Hsing Wei, Kuei-Ping Shih, Jang-Ping Sheu
TOPLAS
1998
41views more  TOPLAS 1998»
15 years 1 months ago
Partial Evaluation of Functional Logic Programs
María Alpuente, Moreno Falaschi, Germ&aacut...
MP
2010
80views more  MP 2010»
15 years 22 days ago
Nonlinear programming without a penalty function or a filter
Nicholas I. M. Gould, Philippe L. Toint
81
Voted
TOCL
2010
73views more  TOCL 2010»
15 years 20 days ago
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
Thomas Eiter, Mantas Simkus
PADL
2009
Springer
16 years 2 months ago
Operational Semantics for Declarative Networking
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