4743 search results - page 211 / 949 » The PlusCal Algorithm Language |
200
click to vote
SIGGRAPH
1994
ACM
15 years 10 months ago
1994
ACM
This paper describes a novel system for creating virtual creatures that move and behave in simulated three-dimensional physical worlds. The morphologies of creatures and the neura...
168
click to vote
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
In previous papers we have proposed a graphical query language for expressing traversal recursions in labelled, directed graphs. A fundamental feature of the language is the use o...
163
click to vote
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and retu...
153
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. This paper presents a polymorphic type system for a language with delimited control operators, shift and reset. Based on the monomorphic type system by Danvy and Filinski...
176
click to vote
GIR
2007
ACM
15 years 10 months ago
2007
ACM
Place geo-ontologies have a key role to play in the development of the geospatial-semantic web, with regard to facilitating the search for geographical information and resources. ...