2226 search results - page 119 / 446 » Pdk: The System and Its Language |
167
click to vote
VL
2003
IEEE
15 years 11 months ago
2003
IEEE
JAN is a system for animated execution of Java programs. Its application area is program understanding rather than debugging. To this end, the animation can be customized, both by...
131
click to vote
IFIP
1992
Springer
15 years 10 months ago
1992
Springer
This paper presents Whizz, a system for building animated interactive applications. We describe its musical metaphor, and its underlying model based on streams and events. We anal...
160
click to vote
IFIP
1998
Springer
15 years 10 months ago
1998
Springer
A new scheduling agent for existing CIM multi-agent system is being currently developed at the Technical University of Kosice. The basic idea is to create an agent based on Schedu...
139
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present F(Eml), a language that combines classes, extensible functions, symmetric multiple dispatching, and a practical system for parameterized modules. Parameterized...
190
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...