5096 search results - page 217 / 1020 » Associations as a Language Construct |
221
click to vote
DLS
2010
15 years 4 months ago
2010
Dynamic languages such as Python allow programs to be written more easily using high-level constructs such as comprehensions for queries and using generic code. Efficient executio...
152
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
This paper presents a verification technique for a concurrent Java-like language with reentrant locks. The verification technique is based on permissionaccounting separation logic....
156
click to vote
ESSLLI
1999
Springer
15 years 11 months ago
1999
Springer
This paper argues that exhaustification is empirically and theoretically important as a tool in the semantic description of various constructions in natural language. Discussion f...
195
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Generating multimedia streams, such as in a netradio, is a task which is complex and difficult to adapt to every users’ needs. We introduce a novel approach in order to achieve i...
157
click to vote
HPCC
2007
Springer
16 years 24 days ago
2007
Springer
One of the outcomes of DARPA’s HPCS program has been the creation of three new high productivity languages: Chapel, Fortress, and X10. While these languages have introduced impro...