Sciweavers

148 search results - page 12 / 30
» Generating safe template languages
Sort
View
107
Voted
FDL
2004
IEEE
15 years 7 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
124
Voted
CONIELECOMP
2006
IEEE
15 years 9 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 4 months 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
122
Voted
EMSOFT
2004
Springer
15 years 7 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
123
Voted
FLOPS
2010
Springer
15 years 8 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