5096 search results - page 27 / 1020 » Associations as a Language Construct |
VL
2000
IEEE
15 years 4 months ago
2000
IEEE
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in le...
CICLING
2003
Springer
15 years 5 months ago
2003
Springer
FOSSACS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
DAGSTUHL
2001
15 years 1 months ago
2001
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in lec...
AOSD
2004
ACM
15 years 5 months ago
2004
ACM
This paper presents our extension to AspectJ for distributed computing. Although AspectJ allows Java developers to modularize a crosscutting concern as an aspect, this paper shows...