11909 search results - page 412 / 2382 » The Scheme Programming Language |
174
click to vote
ERLANG
2007
ACM
15 years 10 months ago
2007
ACM
We investigate the distributed part of the Erlang programming language, with an aim to develop robust distributed systems and algorithms running on top of Erlang runtime systems. ...
162
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the
195
click to vote
POPL
1998
ACM
15 years 11 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 ...
175
click to vote
GPCE
2004
Springer
16 years 7 days 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...
176
click to vote
JFP
2008
15 years 6 months ago
2008
This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised5 Report on Scheme specification in...