Sciweavers

10575 search results - page 232 / 2115
» Programming Languages
Sort
View
ICFP
1999
ACM
15 years 10 months ago
Principals in Programming Languages: A Syntactic Proof Technique
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
Steve Zdancewic, Dan Grossman, J. Gregory Morriset...
SIGPLAN
2008
15 years 6 months ago
Programming languages in a liberal arts education
Liberal arts curricula emphasize breadth of a student's educational experience, critical reasoning, and intellectual discourse to a greater degree than pre-professional train...
Kim B. Bruce, Stephen N. Freund
VLDB
1993
ACM
94views Database» more  VLDB 1993»
15 years 10 months ago
Update Logging for Persistent Programming Languages: A Comparative Performance Evaluation
If persistent programming languages are to be accepted they must provide many of the standard features of traditional database systems, including resilience in the face of system ...
Antony L. Hosking, Eric W. Brown, J. Eliot B. Moss
DALT
2008
Springer
15 years 8 months ago
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages
Abstract. In most agent programming languages in practice a programmer is committed to the use of a single knowledge representation technology. In this paper we argue this is not n...
Mehdi Dastani, Koen V. Hindriks, Peter Nová...
ITICSE
2006
ACM
16 years 7 days ago
Approaches to teaching the programming languages course: a potpourri
The release of Curriculum 2001 coupled with the increasing importance of the World Wide Web and the changes in pedagogy enabled by new technologies has made the choices about what...
Elizabeth S. Adams, Doug Baldwin, Judith Bishop, J...