Sciweavers

6829 search results - page 283 / 1366
» Quantitative Generalizations of Languages
Sort
View
VL
1999
IEEE
120views Visual Languages» more  VL 1999»
15 years 11 months ago
Formalizing Spider Diagrams
Geared to complement UML and to the specification of large software systems by non-mathematicians, spider diagrams are a visual language that generalizes the popular and intuitive...
Joseph Gil, John Howse, Stuart Kent
POPL
1998
ACM
15 years 11 months ago
Local Type Inference
constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate o...
Benjamin C. Pierce, David N. Turner
DOCENG
2008
ACM
15 years 8 months ago
Playback of mixed multimedia document
Many multimedia languages exist today to describe animated, interactive, 2D or 3D graphics and media elements, and each language has its merits. We studied the problems underlying...
Cyril Concolato, Jean Le Feuvre
JUCS
2002
90views more  JUCS 2002»
15 years 6 months ago
On the Simplification of HD0L Power Series
: Nielsen, Rozenberg, Salomaa and Skyum have shown that HD0L languages are CPDF0L languages. We will generalize this result for formal power series. We will also give a new proof o...
Juha Honkala
INLG
2010
Springer
15 years 4 months ago
'If you've heard it, you can say it' - Towards an Account of Expressibility
We have begun a project to automatically create the lexico-syntactic resources for a microplanner as a side-effect of running a domain-specific language understanding system. The ...
David McDonald, Charlie Greenbacker