4666 search results - page 530 / 934 » Equations on Timed Languages |
323
click to vote
ECOOP
2009
Springer
16 years 8 months ago
2009
Springer
Pointer analyses derived from a Context-Free-Language (CFL) reachability formulation achieve very high precision, but they do not scale well to compute the points-to solution for a...
328
click to vote
ASPLOS
2009
ACM
16 years 8 months ago
2009
ACM
Managed languages improve programmer productivity with type safety and garbage collection, which eliminate memory errors such as dangling pointers, double frees, and buffer overfl...
198
click to vote
VLSID
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper presents a highly efficient processor design methodology based on the LISA 2.0 language. Typically the architecture design phase is dominated by an iterative processor ...
183
click to vote
CHI
2003
ACM
16 years 8 months ago
2003
ACM
The MiTAP system was developed as an experimental prototype using human language technologies for monitoring disease outbreaks. The system provides timely, multi-lingual, global i...
317
click to vote
POPL
2002
ACM
16 years 8 months ago
2002
ACM
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conce...