Sciweavers

581 search results - page 54 / 117
» WebL - A Programming Language for the Web
Sort
View
SIGCSE
1998
ACM
107views Education» more  SIGCSE 1998»
15 years 7 months ago
Web-based animation of data structures using JAWAA
JAWAA is a simple command language for creating animations of data structures and displaying them with a Web browser. Commands are stored in a script file that is retrieved and r...
Willard C. Pierson, Susan H. Rodger
PODS
2005
ACM
136views Database» more  PODS 2005»
16 years 3 months ago
Context-sensitive program analysis as database queries
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...
Monica S. Lam, John Whaley, V. Benjamin Livshits, ...
163
Voted
ICFP
2012
ACM
13 years 5 months ago
Addressing covert termination and timing channels in concurrent information flow systems
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
Deian Stefan, Alejandro Russo, Pablo Buiras, Amit ...
VL
2010
IEEE
286views Visual Languages» more  VL 2010»
15 years 1 months ago
A Debugging Perspective on End-User Mashup Programming
In recent years, systems have emerged that enable end users to “mash” together existing web services to build new web sites. However, little is known about how well end users ...
Jill Cao, Kyle Rector, Thomas H. Park, Scott D. Fl...
VL
2006
IEEE
100views Visual Languages» more  VL 2006»
15 years 9 months ago
Mica: A Web-Search Tool for Finding API Components and Examples
Because software libraries are numerous and large, learning how to use them is a common and problematic task for experienced programmers and novices alike. Internet search engines...
Jeffrey Stylos, Brad A. Myers