973 search results - page 39 / 195 » Construction of a Semantic Model for a Typed Assembly Langua... |
147
click to vote
HASKELL
2008
ACM
15 years 6 months ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
147
click to vote
ECOOP
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...
145
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
133
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
214
click to vote
Publication
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...