5343 search results - page 331 / 1069 » Keyword programming in java |
136
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
This paper studies the relation between agent specification and agent programming languages. In particular, it shows that an agent programming language obeys some desirable proper...
128
Voted
NGC
2000
Springer
15 years 3 months ago
2000
Springer
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
184
click to vote
PUC
2011
14 years 10 months ago
2011
OPEN is an ontology-based programming framework for rapid prototyping, sharing, and personalization of context-aware applications. Unlike previous systems that provide programming ...
140
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Datatype-generic programming involves parametrization by the shape of data, in the form of type constructors such as `list of'. Most approaches to datatype-generic programmin...
106
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...