Sciweavers

148 search results - page 12 / 30
» Generating safe template languages
Sort
View
FDL
2004
IEEE
15 years 3 months ago
GBLD: A Formal Model for Layout Description and Generation
In this paper, we introduce a layout description and generation model, GBLD, based on the notions and elements of L-systems and context-free grammars. Our layout model is compatib...
I-Lun Tseng, Adam Postula
CONIELECOMP
2006
IEEE
15 years 5 months ago
WISBuilder: A Framework for Facilitating Development of Web-Based Information Systems
This paper presents WISBuilder, a framework that investigates an approach for facilitating the development of Web-based Information Systems. The approach is based on the Model-Vie...
Angel Israel Ortiz-Cornejo, Heriberto Cuayá...
COLING
1992
15 years 28 days ago
Learning Translation Templates From Bilingual Text
This paper proposes a two-phase example-based machine translation methodology which develops translation templates from examples and then translates using template matching. This ...
Hiroyuki Kaji, Yuuko Kida, Yasutsugu Morimoto
EMSOFT
2004
Springer
15 years 3 months ago
A methodology for generating verified combinatorial circuits
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
Oleg Kiselyov, Kedar N. Swadi, Walid Taha
FLOPS
2010
Springer
15 years 4 months ago
Tag-Free Combinators for Binding-Time Polymorphic Program Generation
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
Peter Thiemann, Martin Sulzmann