Sciweavers

221 search results - page 9 / 45
» Periodic and Sturmian languages
Sort
View
PLDI
2011
ACM
12 years 10 months ago
Finding and understanding bugs in C compilers
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
Xuejun Yang, Yang Chen, Eric Eide, John Regehr
HOPL
2007
13 years 11 months ago
Evolving a language in and for the real world: C++ 1991-2006
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
ICADL
2010
Springer
198views Education» more  ICADL 2010»
13 years 9 months ago
A Scalable Method for Preserving Oral Literature from Small Languages
Can the speakers of small languages, which may be remote, unwritten, and endangered, be trained to create an archival record of their oral literature, with only limited external su...
Steven Bird
BNCOD
2008
129views Database» more  BNCOD 2008»
13 years 9 months ago
A Semantics for a Query Language over Sensors, Streams and Relations
Abstract. We introduce a query language over sensors, streams and relations and formally describe its semantics. Although the language was specifically designed for sensor network ...
Christian Y. A. Brenninkmeijer, Ixent Galpin, Alva...
LREC
2010
170views Education» more  LREC 2010»
13 years 9 months ago
A Speech Corpus for Modeling Language Acquisition: CAREGIVER
A multi-lingual speech corpus used for modeling language acquisition called CAREGIVER has been designed and recorded within the framework of the EU funded Acquisition of Communica...
Toomas Altosaar, Louis ten Bosch, Guillaume Aimett...