11909 search results - page 364 / 2382 » The Scheme Programming Language |
168
Voted
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 ...
219
click to vote
WOA
2010
15 years 5 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...
227
click to vote
CSR
2007
Springer
16 years 1 months 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...
229
Voted
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 ...
205
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...