148 search results - page 7 / 30 » Generating safe template languages |
112
click to vote
SIGPLAN
2002
15 years 1 months ago
2002
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...
125
click to vote
ICSE
2005
IEEE-ACM
16 years 1 months ago
2005
IEEE-ACM
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by re...
131
Voted
PEPM
1999
ACM
15 years 6 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
123
click to vote
ECEASST
2008
15 years 1 months ago
2008
Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...
112
Voted
AIIDE
2007
15 years 4 months ago
2007
Natural Language Generation for personality rich characters represents one of the important directions for believable agents research. The typical approach to interactive NLG is t...