4895 search results - page 157 / 979 » Functional Quantum Programming |
115
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs....
110
Voted
KR
2010
Springer
15 years 7 months ago
2010
Springer
We present a decidable class of first-order formulas in the general theory of stable models that can be instantiated even in the presence of function constants. The notion of an ...
TOOLS
1997
IEEE
15 years 6 months ago
1997
IEEE
Function Point Analysis measures user requested functionality independent of the technology used for implementation. Software applications are represented stract model that contai...
104
click to vote
SAC
1996
ACM
15 years 6 months ago
1996
ACM
Gaining the code re-use advantages of object oriented programming requires dynamic function binding, which allows a new subclass to override a function of a superclass. Dynamic bi...
121
Voted
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
Students are often asked to submit electronic copies of their program code as part of assessment in computer science courses. To counter code plagiarism, educational institutions ...