Sciweavers

9264 search results - page 404 / 1853
» Space Between Languages
Sort
View
ICFP
2002
ACM
16 years 6 months ago
Final shift for call/cc: : direct implementation of shift and reset
We present a direct implementation of the shift and reset control operators in the Scheme 48 system. The new implementation improves upon the traditional technique of simulating s...
Martin Gasbichler, Michael Sperber
143
Voted
ENTCS
2008
97views more  ENTCS 2008»
15 years 6 months ago
Meta-programming With Built-in Type Equality
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
Tim Sheard, Emir Pasalic
186
Voted
EMNLP
2009
15 years 4 months ago
Unsupervised Tokenization for Machine Translation
Training a statistical machine translation starts with tokenizing a parallel corpus. Some languages such as Chinese do not incorporate spacing in their writing system, which creat...
Tagyoung Chung, Daniel Gildea
POPL
2003
ACM
16 years 7 months ago
A real-time garbage collector with low overhead and consistent utilization
Now that the use of garbage collection in languages like Java is becoming widely accepted due to the safety and software engineering benefits it provides, there is significant int...
David F. Bacon, Perry Cheng, V. T. Rajan
ICALP
1998
Springer
15 years 11 months ago
Metric Semantics for True Concurrent Real Time
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
Christel Baier, Joost-Pieter Katoen, Diego Latella