5377 search results - page 373 / 1076 » Programming Languages For Interactive Computing |
164
click to vote
ARTS
1997
Springer
15 years 10 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
163
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
All classical -terms typable with disjunctive normal forms are shown to share a common computational behavior: they implement a local exception handling mechanism whose exact work...
132
click to vote
ICALP
1997
Springer
15 years 11 months ago
1997
Springer
For a quarter of a century now, NP-completeness has been computer science's favorite paradigm, fad, punching bag, buzzword, alibi, and intellectual export. This paper is a fra...
162
Voted
SIGADA
1997
Springer
15 years 11 months ago
1997
Springer
All students attending the U.S. Air Force Academy are required to take an introductory course in computer science. Last year we transitioned to Ada in this course. In this paper w...
175
click to vote
TLCA
2005
Springer
16 years 9 days ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...