10871 search results - page 421 / 2175 » A stable programming language |
156
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Structural subtyping is popular in research languages, but all mainstream object-oriented languages use nominal subtyping. Since languages with structural subtyping are n...
145
click to vote
SIGCSE
2005
ACM
16 years 11 days ago
2005
ACM
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...
159
click to vote
HOPL
2007
15 years 10 months ago
2007
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...
170
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
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...
196
click to vote
IWMM
2009
Springer
16 years 1 months ago
2009
Springer
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...