5634 search results - page 162 / 1127 » About Abstract Classes |
120
Voted
BSL
2008
15 years 3 months ago
2008
Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turingle nu...
143
Voted
AGP
1993
IEEE
15 years 7 months ago
1993
IEEE
Abstract. This paper presents a general approach to the Abstract Interpretation of Prolog programs with cut. In most of previous approaches the cut primitive is merely ignored. Our...
126
Voted
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
FCA has been successfully applied to software engineering tasks such as source code analysis and class hierarchy re-organization. Most notably, FCA hematics behind the mechanism of...
140
Voted
APN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
135
Voted
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily sequential functionals is not -complete and therefore not continuous in the traditional terminol...