Sciweavers

1671 search results - page 55 / 335
» Language Constructs for Multi-agent Programming
Sort
View
114
Voted
AOSD
2007
ACM
15 years 6 months ago
A case for explicit join point models for aspect-oriented intermediate languages
Aspect-oriented languages mostly employ implicit languagedefined join point models, where well-defined points in the program are called join points and declarative predicates are ...
Hridesh Rajan
126
Voted
PPDP
2007
Springer
15 years 8 months ago
Relational semantics for effect-based program transformations with dynamic allocation
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
Nick Benton, Andrew Kennedy, Lennart Beringer, Mar...
POPL
1992
ACM
15 years 6 months ago
Semantic Foundations of Jade
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
Martin C. Rinard, Monica S. Lam
BIRTHDAY
2003
Springer
15 years 7 months ago
Automata Mista
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...
Gérard P. Huet
87
Voted
AAAI
2007
15 years 4 months ago
Heuristic Evaluation Functions for General Game Playing
A general game playing program plays games that it has not previously encountered. A game manager program sends the game playing programs a description of a game’s rules and obj...
James Clune