Sciweavers

3056 search results - page 476 / 612
» Compiling Embedded Languages
Sort
View
IJCPOL
2006
106views more  IJCPOL 2006»
15 years 5 months ago
Court Stenography-to-Text ("stt") in Hong Kong: a Jurilinguistic Engineering Effort
Implementation of legal bilingualism in Hong Kong after 1997 has necessitated the production of voluminous and extensive court proceedings and judgments in both Chinese and Englis...
Benjamin K. Tsou, Tom B. Y. Lai, K. K. Sin, Lawren...
ENTCS
2000
114views more  ENTCS 2000»
15 years 4 months ago
Syntactic Type Soundness for the Region Calculus
The region calculus of Tofte and Talpin is an annotated polymorphically typed lambda calculus which makes memory allocation and deallocation explicit. It is intended as an interme...
Simon Helsen, Peter Thiemann
CORR
1999
Springer
124views Education» more  CORR 1999»
15 years 4 months ago
An Algebraic Programming Style for Numerical Software and its Optimization
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...
T. B. Dinesh, Magne Haveraaen, Jan Heering
RIA
2007
123views more  RIA 2007»
15 years 4 months ago
Continuations pour la programmation de comportement d'agent
Continuations are a well established programming concept that allows capturing and resuming the current program state. They can be found in several functional programming languages...
Denis Jouvin
PERCOM
2010
ACM
15 years 2 months ago
A tool suite to prototype pervasive computing applications
Abstract--Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge in...
Damien Cassou, Julien Bruneau, Charles Consel