Sciweavers

1671 search results - page 64 / 335
» Language Constructs for Multi-agent Programming
Sort
View
ICFP
2005
ACM
16 years 6 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
PLDI
2006
ACM
16 years 3 days 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
PLDI
2003
ACM
15 years 11 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, ...
VL
1994
IEEE
159views Visual Languages» more  VL 1994»
15 years 10 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 10 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