Sciweavers

6054 search results - page 253 / 1211
» Implementation of Andorra-based Languages
Sort
View
POPL
1992
ACM
15 years 10 months ago
Unboxed Objects and Polymorphic Typing
This paper presents a program transformation that allows languages with polymorphic typing (e.g. ML) to be implemented with unboxed, multi-word data representations, more efficien...
Xavier Leroy
FLOPS
2008
Springer
15 years 8 months ago
Undoing Dynamic Typing (Declarative Pearl)
We propose undoable versions of the projection operations used when programs written in higher-order statically-typed languages interoperate with dynamically typed ones, localizing...
Nick Benton
DAGSTUHL
1996
15 years 8 months ago
Ecological Robotics: A Schema-Theoretic Approach
lection of software tools including: NSL, a neural simulation language; ASL, an abstract schema language; and MissionLab, a schema-based mission-oriented simulation and robot imple...
Ronald C. Arkin, Francisco Cervantes-Pérez,...
ENTCS
2002
78views more  ENTCS 2002»
15 years 6 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
PLDI
2009
ACM
16 years 7 months ago
Chameleon: adaptive selection of collections
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choic...
Ohad Shacham, Martin T. Vechev, Eran Yahav