Sciweavers

148 search results - page 14 / 30
» WebScript - A Scripting Language for the Web
Sort
View
DLS
2009
179views Languages» more  DLS 2009»
13 years 6 months ago
Directing JavaScript with arrows
JavaScript programmers make extensive use of event-driven programming to help build responsive web applications. However, standard approaches to sequencing events are messy, and o...
Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster, ...
ISCIS
2009
Springer
14 years 3 months ago
XLambda: A functional programming language with XML syntax
—We describe XLambda, a functional language with XML syntax, and its processor which is implemented fully and completely in XSLT. XLambda has all the basic features of a function...
Ruhsan Onder, Zeki Bayram
TACAS
2000
Springer
149views Algorithms» more  TACAS 2000»
14 years 10 days ago
Proof General: A Generic Tool for Proof Development
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
David Aspinall
DOCENG
2011
ACM
12 years 8 months ago
Timesheets.js: when SMIL meets HTML5 and CSS3
In this paper, we explore different ways to publish multimedia documents on the web. We propose a solution that takes advantage of the new multimedia features of web standards, n...
Fabien Cazenave, Vincent Quint, Cécile Rois...
MOBILITY
2009
ACM
14 years 1 months ago
Lively for Qt: a platform for mobile web applications
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...
Tommi Mikkonen, Antero Taivalsaari, Mikko Terho