3653 search results - page 211 / 731 » On Recognizable Timed Languages |
147
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
We have added a Java virtual machine (henceforth JVM) bytecode generator to the optimizing Scheme-to-C compiler Bigloo. We named this new compiler BiglooJVM. We have used this new...
194
click to vote
ECMDAFA
2009
Springer
16 years 1 days ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
179
click to vote
TIME
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents the automatic extension of TERSEO to other languages, a knowledge-based system for the recognition and normalization of temporal expressions, originally develo...
179
click to vote
APLAS
2005
ACM
15 years 11 months ago
2005
ACM
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
136
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...