3323 search results - page 248 / 665 » Computational Semantics with Functional Programming |
193
click to vote
CCGRID
2005
IEEE
15 years 8 months ago
2005
IEEE
Given the heterogeneous nature of biological data and their intensive use in many tools, in this paper we propose a semantic data access and integration (DAI) service, based on th...
183
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...
165
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
182
click to vote
CHARME
2003
Springer
15 years 12 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
191
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...