1675 search results - page 53 / 335 » Some thoughts on teaching programming and programming langua... |
ECOOP
1987
Springer
14 years 14 days ago
1987
Springer
The Smalltalk-80 system offers a language with a small and elegant conceptual core, and a highly interactive programming environment. We believe, however, that it could be made mor...
POPL
2007
ACM
14 years 9 months ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
SAIG
2001
Springer
14 years 1 months ago
2001
Springer
A characteristic of aspect-oriented programming, as embodied in AspectJ, is the use of advice to incrementally modify the behavior of a program. An advice declaration specifies a...
FM
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
PADL
2005
Springer
14 years 2 months ago
2005
Springer
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is...