Sciweavers

11909 search results - page 432 / 2382
» The Scheme Programming Language
Sort
View
ECOOP
2010
Springer
16 years 12 days ago
Recency Types for Analyzing Scripting Languages
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
Phillip Heidegger, Peter Thiemann
TOPLAS
1998
133views more  TOPLAS 1998»
15 years 7 months ago
A Systematic Study of Functional Language Implementations
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
Rémi Douence, Pascal Fradet
PCM
2004
Springer
90views Multimedia» more  PCM 2004»
16 years 29 days ago
Online Play Segmentation for Broadcasted American Football TV Programs
Abstract. This paper proposes an online segmentation scheme for broadcasted American football TV programs. The TV video streams are online partitioned into a series of play-break p...
Liexian Gu, Xiaoqing Ding, Xian-Sheng Hua
SASO
2008
IEEE
16 years 2 months ago
Cells Are Plausible Targets for High-Level Spatial Languages
—High level languages greatly increase the power of a programmer at the cost of programs that consume more s than those written at a lower level of abstraction. This inefficienc...
Jacob Beal, Jonathan Bachrach
LCPC
1995
Springer
15 years 11 months ago
V-cal: A Calculus for the Compilation of Data Parallel Languages
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
P. F. G. Dechering, J. A. Trescher, J. P. M. de Vr...