Sciweavers

1423 search results - page 60 / 285
» Languages of Nested Trees
Sort
View
APLAS
2004
ACM
15 years 5 months ago
An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors
We propose a new implementation scheme for XML transformation languages through derivation of stream processors. Most of XML transformation languages are implemented as tree manipu...
Keisuke Nakano
LICS
2007
IEEE
15 years 6 months ago
Alternation-free modal mu-calculus for data trees
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
Marcin Jurdzinski, Ranko Lazic
IUI
2000
ACM
15 years 4 months ago
NaturalJava: a natural language interface for programming in Java
NaturalJava is a prototype for an intelligent natural-languagebased user interface for creating, modifying, and examining Java programs. The interface exploits three subsystems. T...
David Price, Ellen Riloff, Joseph L. Zachary, Bran...
ICALP
2009
Springer
16 years 4 days ago
The Theory of Stabilisation Monoids and Regular Cost Functions
Abstract. We introduce the notion of regular cost functions: a quantitative extension to the standard theory of regular languages. We provide equivalent characterisations of this n...
Thomas Colcombet
VL
2003
IEEE
151views Visual Languages» more  VL 2003»
15 years 5 months ago
JAN -Java animation for program understanding
JAN is a system for animated execution of Java programs. Its application area is program understanding rather than debugging. To this end, the animation can be customized, both by...
Klaus-Peter Löhr, André Vratislavsky