10622 search results - page 317 / 2125 » Python Programming Language |
128
click to vote
ECOOP
2011
Springer
14 years 3 months ago
2011
Springer
Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-oriented programming languages allow the programmer to explicitly ...
118
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...
130
click to vote
ICESS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Traditional wisdom in programming language design suggests that there is a trade-off between expressive power and static guarantees. We describe a novel schema for desig...
152
click to vote
ECOOP
2012
Springer
13 years 6 months 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...
117
Voted
ERLANG
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents a soft-typing system for the programming language Erlang. The system is based on two concepts; a (forward) data flow analysis that determines upper approximat...