183 search results - page 16 / 37 » A new method for compiling schizophrenic synchronous program... |
SBCCI
2004
ACM
15 years 5 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
178
click to vote
POPL
2009
ACM
16 years 11 days ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
84
Voted
POPL
1998
ACM
15 years 4 months ago
1998
ACM
Data structures with a hole, in other words data structures with an uninitialized field, are useful to write efficient programs: they enable us to construct functional data stru...
113
click to vote
CASES
2007
ACM
15 years 3 months ago
2007
ACM
Embedded platforms are resource-constrained systems in which performance and memory requirements of executed code are of critical importance. However, standard techniques such as ...
ISORC
2009
IEEE
15 years 6 months ago
2009
IEEE
Java is one of the most popular programming languages for the development of portable workstation and server applications available today. Because of its clean design and typesafe...