Sciweavers

433 search results - page 47 / 87
» A history of the history of programming languages
Sort
View
CADE
2004
Springer
16 years 6 months ago
Model Checking Using Tabled Rewriting
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
Zhiyao Liang
DBPL
2007
Springer
100views Database» more  DBPL 2007»
16 years 9 days ago
Provenance as Dependency Analysis
Abstract. Provenance is information recording the source, derivation, or history of some information. Provenance tracking has been studied in a variety of settings; however, althou...
James Cheney, Amal Ahmed, Umut A. Acar
DIGRA
2003
Springer
15 years 11 months ago
Wargaming and Computer Games: Fun with the Future
This essay explores aspects of the history of wargaming in order to develop fresh perspectives on the analysis of contemporary computer games. Wargaming is considered in relation ...
Patrick Crogan
ICSE
2000
IEEE-ACM
15 years 9 months ago
Software engineering tools and environments: a roadmap
Tools and environments to aid developers in producing software have existed, in one form or another, since the early days of computer programming. They are becoming increasingly c...
Harold Ossher, William H. Harrison, Peri L. Tarr
SIGCSE
2002
ACM
131views Education» more  SIGCSE 2002»
15 years 5 months ago
Shortchanging the future of information technology: the untapped resource
Building on ideas from a virtual workshop and additional input from the scientific community, the CISE Directorate at the National Science Foundation established the Information T...
Angela M. Balcita, Doris L. Carver, Mary Lou Soffa