Sciweavers

383 search results - page 34 / 77
» Abstracting Complex Languages through Transformation and Com...
Sort
View
APLAS
2006
ACM
15 years 5 months ago
Type and Effect System for Multi-staged Exceptions
Abstract. We present a type and effect system for a multi-staged language with exceptions. The proposed type and effect system checks if we safely synthesize complex controls with ...
Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi
GPCE
2005
Springer
15 years 7 months ago
Source-Level Optimization of Run-Time Program Generators
Abstract. We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a...
Samuel N. Kamin, Baris Aktemur, Philip Morton
IV
2002
IEEE
115views Visualization» more  IV 2002»
15 years 6 months ago
An Integrated System for Database Visualization
This paper present details of an integrated database visualization system. The system supports the visualization process from an end-to-end perspective. Included in the system is ...
Dennis P. Groth, Edward L. Robertson
FMSP
2000
ACM
177views Formal Methods» more  FMSP 2000»
15 years 5 months ago
DSD: A schema language for XML
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...
Nils Klarlund, Anders Møller, Michael I. Sc...
MODELS
2007
Springer
15 years 7 months ago
A Metamodel-Based Approach for Analyzing Security-Design Models
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
David A. Basin, Manuel Clavel, Jürgen Doser, ...