Sciweavers

2362 search results - page 84 / 473
» Programming in Standard ML
Sort
View
ACTA
2007
54views more  ACTA 2007»
15 years 3 months ago
On the tree-transformation power of XSLT
XSLT is a standard rule-based programming language for expressing transformations of XML data. The language is currently in tran
Wim Janssen, Alexandr Korlyukov, Jan Van den Bussc...
143
Voted
SAC
2000
ACM
15 years 7 months ago
An Approach for Modeling the Name Lookup Problem in the C++ Programming Language
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
James F. Power, Brian A. Malloy
DEBU
2008
100views more  DEBU 2008»
15 years 3 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu
119
Voted
WEBDB
1998
Springer
83views Database» more  WEBDB 1998»
15 years 7 months ago
On the Unification of Persistent Programming and the World Wide Web
In its infancy, the World-Wide Web consisted of a web of largely static hypertext documents. As time progresses it is evolving into a domain which supports almost arbitrary network...
Richard C. H. Connor, Keith Sibson, Paolo Manghi
115
Voted
APCHI
1998
IEEE
15 years 7 months ago
Cleogo: Collaborative and Multi-Metaphor Programming for Kids
Cleogo is a novel groupware environment that allows several users to simultaneously develop programs through any mixture of three alternative programming metaphors: a direct manip...
Andy Cockburn, Andrew Bryant