1700 search results - page 127 / 340 » Specifying and implementing refactorings |
138
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
151
Voted
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. TaxoMap is an alignment tool which aims to discover rich correspondences between concepts. It performs an oriented alignment (from a source to a target ontology) and take...
123
click to vote
TAP
2009
Springer
15 years 11 months ago
2009
Springer
Safety and security are claimed major concerns by the formal FoCaL development environment. In [7] we introduced a safety development cycle customised to FoCaL. In this paper, we e...
141
click to vote
FASE
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
179
Voted
ISECS
2008
IEEE
15 years 11 months ago
2008
IEEE
: Companies attempt to companies are attempting to find ways to improve their flexibility and responsiveness and in turn competitiveness by changing their operations strategy, meth...