Sciweavers

10575 search results - page 221 / 2115
» T2Script Programming Language
Sort
View
138
Voted
HOPL
2007
15 years 7 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
108
Voted
ACMSE
2005
ACM
15 years 9 months ago
BoxScript: a component-oriented language for teaching
As component-oriented approaches become increasingly pervasive in the development of complex software systems, it becomes increasingly important to introduce computing science stu...
Yi Liu, H. Conrad Cunningham
95
Voted
OOPSLA
2004
Springer
15 years 9 months ago
Generic ownership: practical ownership control in programming languages
earch abstract outlines the work I plan to do as part of my PhD. In particular, I propose to devise a practical way of integrating ownership control into existing programming lang...
Alex Potanin, James Noble, Robert Biddle
262
Voted
POPL
2009
ACM
16 years 4 months ago
Relaxed memory models: an operational approach
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
Gérard Boudol, Gustavo Petri
147
Voted
FROCOS
2005
Springer
15 years 9 months ago
ATS: A Language That Combines Programming with Theorem Proving
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
Sa Cui, Kevin Donnelly, Hongwei Xi