11909 search results - page 364 / 2382 » The Scheme Programming Language |
153
click to vote
LFP
1990
15 years 8 months ago
1990
This paper presents a module system designed for largescale programming in Scheme. The module system separates speci cations of objects from their implementations, permitting the ...
205
click to vote
WOA
2010
15 years 4 months ago
2010
Abstract--We believe that agent-oriented programming languages and multi-agent programming technologies provide an effective level of abstraction for tackling the design and progra...
207
click to vote
CSR
2007
Springer
16 years 29 days ago
2007
Springer
The maximum constraint satisfaction problem (Max CSP) is the following computational problem: an instance is a finite collection of constraints on a set of variables, and the goal...
201
click to vote
SOSP
1989
ACM
15 years 8 months ago
1989
ACM
Shared-memory multiprocessors are frequently used in a timesharing style with multiple parallel applications executing at the same time. In such an environment, where the machine ...
180
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...