Search Sciweavers | Sciweavers

11653 search results - page 57 / 2331

» The Development of the C Language

click to vote

CE
2005

170views more CE 2005»

Development of an environmental virtual field laboratory

13 years 9 months ago

Download soils.ifas.ufl.edu

Laboratory exercises, field observations and field trips are a fundamental part of many earth science and environmental science courses. Field observations and field trips can be ...

V. Ramasundaram, S. Grunwald, A. Mangeot, N. B. Co...

claim paper

Read More »

click to vote

FM
2006
Springer

134views Formal Methods» more FM 2006»

Formal Verification of a C Compiler Front-End

14 years 25 days ago

Download pauillac.inria.fr

This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...

Sandrine Blazy, Zaynah Dargaye, Xavier Leroy

claim paper

Read More »

click to vote

PLDI
2009
ACM

186views Programming Languages» more PLDI 2009»

Automatic generation of library bindings using static analysis

14 years 9 months ago

Download pages.cs.wisc.edu

High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...

Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben...

claim paper

Read More »

click to vote

C5
2006
IEEE

115views Applied Computing» more C5 2006»

Collaborative peer-based language learning in unsupervised asynchronous online environments

14 years 3 months ago