Sciweavers

10622 search results - page 402 / 2125
» Python Programming Language
Sort
View
SIGCSE
2005
ACM
80views Education» more  SIGCSE 2005»
15 years 10 months ago
PL-detective: experiences and results
Last year we described the PL-Detective, a system for building exercises and demonstrations in a programming languages course. One of the main goals of the PL-Detective was to pro...
Amer Diwan, Michele H. Jackson, William M. Waite, ...
128
Voted
HOPL
2007
15 years 8 months ago
Modula-2 and Oberon
This is an account of the development of the languages Modula-2 and Oberon. Together with their ancestors ALGOL 60 and Pascal they form a family called Algollike languages. Pascal...
Niklaus Wirth
137
Voted
SIGSOFT
2010
ACM
14 years 11 months ago
Language-based verification will change the world
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
Tim Sheard, Aaron Stump, Stephanie Weirich
IWMM
2009
Springer
164views Hardware» more  IWMM 2009»
15 years 11 months ago
Live heap space analysis for languages with garbage collection
The peak heap consumption of a program is the maximum size of the live data on the heap during the execution of the program, i.e., the minimum amount of heap space needed to run t...
Elvira Albert, Samir Genaim, Miguel Gómez-Z...
HOPL
2007
15 years 8 months ago
The evolution of Lua
We report on the birth and evolution of Lua and discuss how it moved from a simple configuration language to a versatile, widely used language that supports extensible semantics, ...
Roberto Ierusalimschy, Luiz Henrique de Figueiredo...