Search Sciweavers | Sciweavers

3056 search results - page 21 / 612

» Compiling Embedded Languages

click to vote

TLCA
2005
Springer

127views Theoretical Computer Science» more TLCA 2005»

Proof Contexts with Late Binding

14 years 1 months ago

Download focal.inria.fr

Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...

Virgile Prevosto, Sylvain Boulmé

claim paper

Read More »

click to vote

ICFP
2010
ACM

120views Programming Languages» more ICFP 2010»

Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation

13 years 9 months ago

Download www.cs.st-andrews.ac.uk

Partial evaluation aims to improve the efficiency of a program by specialising it with respect to some known inputs. In this paper, we show that partial evaluation can be an effec...

Edwin Brady, Kevin Hammond

claim paper

Read More »

click to vote

HOPL
2007

123views Programming Languages» more HOPL 2007»

Evolving a language in and for the real world: C++ 1991-2006

13 years 12 months ago

Download www2.research.att.com

This paper outlines the history of the C++ programming language from the early days of its ISO standardization (1991), through the 1998 ISO standard, to the later stages of the C+...

Bjarne Stroustrup

claim paper

Read More »

click to vote

MONTEREY
2007
Springer

150views Embedded Systems» more MONTEREY 2007»

Ambiguity in Natural Language Requirements Documents

14 years 2 months ago

Download www.student.cs.uwaterloo.ca

Daniel M. Berry

claim paper

Read More »