Sciweavers

4386 search results - page 289 / 878
» A Tamper-Resistant Programming Language System
Sort
View
115
Voted
FSTTCS
2008
Springer
15 years 4 months ago
A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems
ABSTRACT. Formalisms involving some degree of nondeterminism are frequent in computer science. In particular, various programming or specification languages are based on term rewr...
Juan Rodríguez-Hortalá
PPOPP
1990
ACM
15 years 7 months ago
Multi-Model Parallel Programming in Psyche
Many different parallel programming models, including lightweight processes that communicate with shared memory and heavyweight processes that communicate with messages, have been...
Michael L. Scott, Thomas J. LeBlanc, Brian D. Mars...
128
Voted
LREC
2008
112views Education» more  LREC 2008»
15 years 4 months ago
Linguistic Structure and Bilingual Informants Help Induce Machine Translation of Lesser-Resourced Languages
Producing machine translation (MT) for the many minority languages in the world is a serious challenge. Minority languages typically have few resources for building MT systems. Fo...
Christian Monson, Ariadna Font Llitjós, Vam...
213
Voted
POPL
2008
ACM
16 years 3 months ago
The design and implementation of typed scheme
When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of types in typical scripting languages means that programmers must (re)disc...
Sam Tobin-Hochstadt, Matthias Felleisen
TOOLS
1999
IEEE
15 years 7 months ago
A Multi-Layered System of Metrics for the Measurement of Reuse by Inheritance
In spite of the intense efforts of metrics researches, the impact of object-oriented software metrics is for the moment still quite reduced. The cause of this fact lies not in an ...
Radu Marinescu