2736 search results - page 16 / 548 » Understanding programmer language |
ECOOP
2012
Springer
13 years 1 days ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
83
Voted
POPL
2012
ACM
13 years 5 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
280
click to vote
Book
"A compiler translates (or compiles) a program written in a highlevel
programming language that is suitable for human programmers into
the low-level machine language that is...
181
Voted
ECOOP
2009
Springer
15 years 10 months ago
2009
Springer
Refactoring tools allow the programmer to pretend they are working with a richer language where the behaviour of a program is automatically preserved during restructuring. In this ...