276 search results - page 9 / 56 » Automatic Generation of Functional Programs from CASL Specif... |
72
Voted
JIPS
2006
14 years 9 months ago
2006
: Large portion of embedded system development process is the integration of hardware and software. Unfortunately, the communication across the hardware/software boundary is tediou...
USS
2008
14 years 12 months ago
2008
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
117
click to vote
ICCL
1992
IEEE
15 years 1 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
89
Voted
ICFP
2007
ACM
15 years 9 months ago
2007
ACM
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...
101
click to vote
INFORMATICALT
2000
14 years 9 months ago
2000
Abstract. In this paper we suggest a three-language (3L) paradigm for building the program generator models. The basis of the paradigm is a relationship model of the specification,...