3605 search results - page 193 / 721 » Associated types with class |
137
click to vote
TPHOL
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...
129
Voted
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We obtain new results regarding the precise average bitcomplexity of five algorithms of a broad Euclidean type. We develop a general framework for analysis of algorithms,...
147
click to vote
ENDM
2010
15 years 4 months ago
2010
We present a class of instances of the existence of a second object of a specified type, in fact, of an even number of objects of a specified type, which generalizes the existence...
225
click to vote
ENTCS
2006
15 years 4 months ago
2006
This paper gives an overview of recent results concerning the modular derivation of (i) modal specification logics, (ii) notions of simulation together with logical characterisati...
130
click to vote
ENTCS
2007
15 years 4 months ago
2007
Refactorings are changes made to programs, models or specifications with the intention of improving their structure and thus making them clearer, more readable and re-usable. Ref...