10622 search results - page 368 / 2125 » Python Programming Language |
145
click to vote
POPL
1998
ACM
15 years 9 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
139
click to vote
GPCE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Model-driven architecture envisions a paradigm shift as dramatic as the one from low-level assembler languages to high-level programming languages. In order for this visi...
137
click to vote
JSC
2010
15 years 3 months ago
2010
Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory and foundation of nar...
119
click to vote
DEXAW
2008
IEEE
15 years 11 months ago
2008
IEEE
Today’s high-speed network allows sophisticated applications of overlay networks. Meanwhile, usage of multicore processors has been spreading. The level of concurrency we need t...
124
click to vote
SFP
2003
15 years 6 months ago
2003
We describe the functional language Camelot, which is a language of the ML family with extensions for explicit management of heap storage, and the intermediate language Grail, whic...