1742 search results - page 62 / 349 » An Applicative Module Calculus |
139
click to vote
JUCS
2010
15 years 23 days ago
2010
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...
161
click to vote
CIKM
2007
Springer
16 years 5 days ago
2007
Springer
Problems resulting from the management of shared, distributed knowledge has led to ontologies being employed as a solution, in order to effectively integrate information across a...
121
click to vote
ISSAC
2005
Springer
15 years 11 months ago
2005
Springer
In this article we propose a new symbolic-numeric algorithm to find positive equilibria of a n-dimensional dynamical system. This algorithm uses a symbolic manipulation of ODE in...
147
click to vote
JOLLI
2008
15 years 6 months ago
2008
Abstract. This paper uses a partially ordered set of syntactic categories to accommodate optionality and licensing in natural language syntax. A complex but well-studied data set p...
155
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
The fault-prone module detection in source code is of importance for assurance of software quality. Most of previous fault-prone detection approaches are based on software metrics...