Sciweavers

6794 search results - page 183 / 1359
» Semantics of Visual Languages
Sort
View
HICSS
2003
IEEE
110views Biometrics» more  HICSS 2003»
14 years 2 months ago
Phobos: A Front-End Approach to Extensible Compilers
Abstract. This paper describes a practical approach for implementing certain types of domain-specific languages with extensible compilers. Given a compiler with one or more front-...
Adam Granicz, Jason Hickey
ESOP
1992
Springer
14 years 1 months ago
A Provably Correct Compiler Generator
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
Jens Palsberg
VL
2000
IEEE
120views Visual Languages» more  VL 2000»
14 years 1 months ago
Visualizing the Synchronization of Java-Threads with UML
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...
Katharina Mehner, Annika Wagner
ASWC
2006
Springer
14 years 1 months ago
Modular Ontologies - A Formal Investigation of Semantics and Expressivity
With the growing interest in modular ontology languages to address the need for collaborative development, integration, and use of ontologies on the Web, there is an urgent need fo...
Jie Bao, Doina Caragea, Vasant Honavar
WWW
2006
ACM
14 years 10 months ago
How semantics make better wikis
Wikis are popular collaborative hypertext authoring environments, but they neither support structured access nor information reuse. Adding semantic annotations helps to address th...
Eyal Oren, John G. Breslin, Stefan Decker