Sciweavers

9370 search results - page 46 / 1874
» An Abstract Notion of Application
Sort
View
JC
2006
139views more  JC 2006»
13 years 10 months ago
The basic feasible functionals in computable analysis
We give a correspondence between two notions of complexity for real numbers and functions: poly-time computability according to Ko and a notion that arises naturally when one cons...
Branimir Lambov
ECOOP
2009
Springer
14 years 10 months ago
Supporting Framework Use via Automatically Extracted Concept-Implementation Templates
Abstract. Application frameworks provide reusable concepts that are instantiated in application code through potentially complex implementation steps such as subclassing, implement...
Abbas Heydarnoori, Krzysztof Czarnecki, Thiago T. ...
CORR
2010
Springer
146views Education» more  CORR 2010»
13 years 10 months ago
Liberalizing Dependency
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...
Avik Chaudhuri
JAPLL
2008
76views more  JAPLL 2008»
13 years 10 months ago
The many faces of counts-as: A formal analysis of constitutive rules
Abstract. The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., f...
Davide Grossi, John-Jules Ch. Meyer, Frank Dignum
IMECS
2007
13 years 11 months ago
Web Service Integration Based on Abstract Forms in XML for End-user Initiative Development
ice Integration Based on Abstract Forms in XML for End-user Initiative Development Takeshi Chusho, Ryousuke Yuasa, Shinpei Nishida and Katsuya Fujiwara ∗ Abstract— The number o...
Takeshi Chusho, Ryousuke Yuasa, Shinpei Nishida, K...