476 search results - page 78 / 96 » Static analysis of PostScript code |
VMCAI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
CHARME
1999
Springer
14 years 8 days ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
ISSS
1996
IEEE
14 years 4 days ago
1996
IEEE
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
SIGMOD
1993
ACM
14 years 1 days ago
1993
ACM
We describe the design and implementation of the Glue-Nail database system. The Nail language is a purely declarative query language; Glue is a procedural language used for nonque...
FOAL
2007
ACM
13 years 12 months ago
2007
ACM
AspectJ aims at managing tangled concerns in Java systems. Crosscutting aspect definitions are woven into the Java bytecode at compile-time. Whether the better modularization intr...