Sciweavers

6740 search results - page 606 / 1348
» Using Classification as a Programming Language
Sort
View
VL
2002
IEEE
110views Visual Languages» more  VL 2002»
15 years 11 months ago
Empirical Evidence that Algorithm Animation Promotes Understanding of Distributed Algorithms
Previous studies of program visualization have generally failed to provide convincing support for the benefits of algorithm animation in promoting the understanding of computatio...
Mihail Eduard Tudoreanu, Rong Wu, Ashley Hamilton-...
MPC
2010
Springer
165views Mathematics» more  MPC 2010»
15 years 11 months ago
Dependently Typed Grammars
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
Kasper Brink, Stefan Holdermans, Andres Löh
POPL
2000
ACM
15 years 10 months ago
A Type System for Dynamic Web Documents
Many interactive Web services use the CGI interface for communication with clients. They will dynamically create HTML documents that are presented to the client who then resumes t...
Anders Sandholm, Michael I. Schwartzbach
153
Voted
PLDI
1996
ACM
15 years 10 months ago
Static Detection of Dynamic Memory Errors
Many important classes of bugs result from invalid assumptions about the results of functions and the values of parameters and global variables. Using traditional methods, these b...
David Evans
WWW
2007
ACM
16 years 7 months ago
Compiling cryptographic protocols for deployment on the web
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...
Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. ...