Sciweavers

11653 search results - page 261 / 2331
» The Development of the C Language
Sort
View
VL
2009
IEEE
128views Visual Languages» more  VL 2009»
16 years 1 months ago
Language-based support for computational thinking
This paper explores the potential for simplified programming languages to support the development of computational thinking skills in non-programmers. We suggest that novice progr...
Katherine Howland, Judith Good, Keiron Nicholson
ICCL
1992
IEEE
15 years 10 months ago
Multiparadigm data structures in Leda
Multiparadigm programming is a term used to describe a style of software development that makes use of facilities originally designed in support of a number of di erent programmin...
Timothy A. Budd
WWW
2006
ACM
16 years 7 months ago
Relaxed: on the way towards true validation of compound documents
To maintain interoperability in the Web environment it is necessary to comply with Web standards. Current specifications of HTML and XHTML languages define conformance conditions ...
Jirka Kosek, Petr Nálevka
PLDI
2003
ACM
15 years 12 months ago
Checking and inferring local non-aliasing
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
Alexander Aiken, Jeffrey S. Foster, John Kodumal, ...
175
Voted
ICFP
2010
ACM
15 years 7 months ago
The impact of higher-order state and control effects on local relational reasoning
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
Derek Dreyer, Georg Neis, Lars Birkedal