Sciweavers

6740 search results - page 16 / 1348
» Using Classification as a Programming Language
Sort
View
POS
1994
Springer
15 years 10 months ago
START: A Linguistic Reflection Tool Using Hyper-Program Technology
Graham N. C. Kirby, Richard C. H. Connor, Ronald M...
256
Voted
POPL
2005
ACM
16 years 6 months ago
Scalable error detection using boolean satisfiability
Yichen Xie, Alexander Aiken
ICALP
2001
Springer
15 years 10 months ago
The Complexity of Constructing Evolutionary Trees Using Experiments
Gerth Stølting Brodal, Rolf Fagerberg, Chri...
139
Voted
ECOOP
1998
Springer
15 years 10 months ago
Experiences Developing a Virtual Shared Memory System Using High-Level Object Paradigms
Jörg Cordsen, Jörg Nolte, Wolfgang Schr&...
SIGADA
1998
Springer
15 years 10 months ago
Using Ada in Non-CS Majors
A. T. Chamillard, Ronald J. Lisowski, Richard R. Y...