147 search results - page 8 / 30 » A Transformation System for Definite Programs Based on Termi... |
CADE
2011
Springer
12 years 8 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
CC
1998
Springer
14 years 24 days ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
ICDAR
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper proposes a new method for document transformation using OCR to generate various XML documents from printed documents. The proposed method adopts a hierarchical transfor...
CC
2000
Springer
14 years 28 days ago
2000
Springer
A fast and scalable interprocedural escape analysis algorithm is presented. The analysis computes a description of a subset of created objects whose lifetime is bounded by the life...
AGTIVE
2007
Springer
14 years 18 days ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...