Sciweavers

1154 search results - page 6 / 231
» Implementing Typed Intermediate Languages
Sort
View
ENTCS
2002
78views more  ENTCS 2002»
14 years 9 months ago
ESUIF: An Open Esterel Compiler
I describe a new compiler infrastructure for imperative synchronous languages such as Esterel and ecl. Built on the suif 2 system, it includes a new intermediate representation fo...
Stephen Edwards
95
Voted
SAC
2009
ACM
15 years 4 months ago
Static type inference for Ruby
Many general-purpose, object-oriented scripting languages are dynamically typed, to keep the language flexible and not reject any programs unnecessarily. However, dynamic typing ...
Michael Furr, Jong-hoon (David) An, Jeffrey S. Fos...
ACL
2006
14 years 11 months ago
An Intermediate Representation for the Interpretation of Temporal Expressions
The interpretation of temporal expressions in text is an important constituent task for many practical natural language processing tasks, including question-answering, information...
Pawel P. Mazur, Robert Dale
ICDAR
2005
IEEE
15 years 3 months ago
The Recognition Strategy Language
The table recognition literature contains many strategies specified informally as a sequence of operations, obscuring both models of table structure and the effects of individual...
Richard Zanibbi, Dorothea Blostein, James R. Cordy
ICFP
2010
ACM
14 years 10 months ago
Regular, shape-polymorphic, parallel arrays in Haskell
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...
Gabriele Keller, Manuel M. T. Chakravarty, Roman L...