2777 search results - page 41 / 556 » Example centric programming |
LCC
1994
14 years 2 months ago
1994
We demonstrate program extraction by the Light Dialectica Interpretation (LDI) on a minimal logic proof of the classical existence of Fibonacci numbers. This semi-classical proof ...
SCP
2000
13 years 9 months ago
2000
An extension of the -calculus called BS is introduced as a formal basis for functional languages expressing bulk synchronous parallel algorithms. A con uence result is shown. The ...
IEEECIT
2010
IEEE
13 years 8 months ago
2010
IEEE
—The project-based teaching mode is a method based on the educational theory of constructivism. Based on this mode, the paper discussed a new teaching practice, covering differen...
AAAI
2010
13 years 11 months ago
2010
Software developers increasingly rely on information from the Web, such as documents or code examples on Application Programming Interfaces (APIs), to facilitate their development...
JUCS
2006
13 years 9 months ago
2006
: Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful ...