2370 search results - page 93 / 474 » On the Revival of Dynamic Languages |
166
click to vote
ECEASST
2006
15 years 5 months ago
2006
OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important to OCL to have a solid formal ...
134
Voted
TOOLS
1992
IEEE
15 years 9 months ago
1992
IEEE
We show how an object-oriented system-and in particular the Oberon System-can be used to write software that is extensible by end users even while the software is running. Extensib...
143
click to vote
ENTCS
2002
15 years 5 months ago
2002
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...
153
click to vote
ICALP
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...
152
click to vote
ECOOP
1987
Springer
15 years 9 months ago
1987
Springer
Object oriented programming environments frequently suffer serious performance degradation because of a high level of paging activity when implemented using a conventional virtual...