Sciweavers

1671 search results - page 64 / 335
» Language Constructs for Multi-agent Programming
Sort
View
ICFP
2005
ACM
16 years 2 months ago
The anatomy of a loop: a story of scope and control
Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 2...
Olin Shivers
128
Voted
PLDI
2006
ACM
15 years 8 months ago
Continuations and transducer composition
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
Olin Shivers, Matthew Might
195
Voted
PLDI
2003
ACM
15 years 7 months ago
Checking and inferring local non-aliasing
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
Alexander Aiken, Jeffrey S. Foster, John Kodumal, ...
107
Voted
VL
1994
IEEE
159views Visual Languages» more  VL 1994»
15 years 6 months ago
Concepts and Architecture of Vista - a Multiparadigm Programming Environment
This paper describes Vista, a visual multiparadigm programming environment. We introduce the notion of processors and networks and discuss their application in the construction of...
Stefan Schiffer, Joachim Hans Fröhlich
ICLP
2010
Springer
15 years 6 months ago
From Relational Specifications to Logic Programs
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to...
Joseph P. Near