Sciweavers

4231 search results - page 326 / 847
» Using Language More Responsibly
Sort
View
SIGADA
1998
Springer
15 years 11 months ago
Algorithm Animation with Symbol Processing Robots
This experience report demonstrates several running programs with visual, animated, colorful displays of "algorithms in action." A common element of all of the programs ...
Brad S. Crawford
ECOOP
1993
Springer
15 years 10 months ago
Type Inference of SELF
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
Ole Agesen, Jens Palsberg, Michael I. Schwartzbach
POPL
1997
ACM
15 years 10 months ago
Parameterized Types for Java
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
Andrew C. Myers, Joseph A. Bank, Barbara Liskov
ERSHOV
2006
Springer
15 years 8 months ago
On the Usage of Concrete Syntax in Model Transformation Rules
Graph transformations are one of the best known approaches for defining transformations in model-based software development. They are defined over the abstract syntax of source and...
Thomas Baar, Jon Whittle
FECS
2008
185views Education» more  FECS 2008»
15 years 8 months ago
Will There Ever Be Consensus on CS1?
- The choice of programming language, the approach by which students are taught and the software tools made available to students have been controversial issues in many ways. While...
Robert M. Siegfried, David Chays, Katherine Herber...