1636 search results - page 227 / 328 » Type-Theoretic Functional Semantics |
118
click to vote
POPL
1994
ACM
15 years 7 months ago
1994
ACM
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...
119
click to vote
SC
1992
ACM
15 years 7 months ago
1992
ACM
This paper presents Jade, a high-level parallel programming language for managing coarse-grain concurrency. Jade simplifies programming by providing the programmer with the abstra...
115
Voted
HPCC
2007
Springer
15 years 7 months ago
2007
Springer
Efficient exploitation of the aggregate resources available to a researcher is a challenging and real problem. The challenge becomes all the greater when researchers who collaborat...
127
click to vote
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
We propose in this paper an extension of Conceptual Graphs that allows to use datatypes (strings, numbers, ...) for typing concept nodes. Though the model-theoretic semantics of th...
144
Voted
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
A framework is a reusable design that requires software components to function. To instantiate a framework, a software engineer must provide the software components required by th...