13306 search results - page 435 / 2662 » Theoretical Computer Science |
196
Voted
TLCA
1995
Springer
15 years 11 months ago
1995
Springer
We introduce a simply-typed λ-calculus (λ→ exn ) featuring an ML-like exception handling mechanism. This calculus, whose type system corresponds to classical logic through the ...
178
click to vote
ACM
1987
15 years 11 months ago
1987
Balanced codes have the property that no codeword is "contained" in another.This property makes balanced codes attractive for certain applications, such as the encoding ...
193
click to vote
ICMT
2010
Springer
15 years 11 months ago
2010
Springer
Existing bidirectional model transformation languages are mainly state-based: a transformation is considered composed from functions whose inputs and outputs only consist of origin...
183
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper describes the development and validation of a dynamic multi-agent model to simulate social learning of adolescence-limited criminal behaviour. The parameters of the age...
176
click to vote
ACMSE
2008
ACM
15 years 9 months ago
2008
ACM
Using a problem domain motivated by Bentley's"Little Languages" column [1], this paper explores the use of the Ruby programming language's flexible syntax, dyn...