416 search results - page 23 / 84 » The ruby intermediate language |
175
click to vote
CC
2005
Springer
15 years 11 months ago
2005
Springer
CodeSurfer/x86 is a prototype system for analyzing x86 executables. It uses a static-analysis algorithm called value-set analysis (VSA) to recover intermediate representations that...
169
click to vote
JFP
2002
15 years 5 months ago
2002
We present CIL , a typed -calculus which serves as the foundation for a typed intermediate language for optimizing compilers for higher-order polymorphic programming languages. Th...
179
click to vote
TSMC
2010
15 years 16 days ago
2010
Abstract--While a number of modeling languages for constructing multiagent systems (MASs) have been suggested, none of them is widely accepted and used. A prominent reason for this...
142
click to vote
GW
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In our paper we present a method for the automatic generation of single German Sign Language glosses from German words. Glosses are often used as a textual description of...
137
Voted
SIGCOMM
1999
ACM
15 years 10 months ago
1999
ACM
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...