4666 search results - page 360 / 934 » Equations on Timed Languages |
209
click to vote
APLAS
2005
ACM
16 years 12 days 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...
168
click to vote
OOPSLA
2005
Springer
16 years 10 days 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...
315
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
183
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
When dealing with dynamic, untrusted content, such as on the Web, software behavior must be sandboxed, typically through use of a language like JavaScript. However, even for such ...
223
click to vote
LOPSTR
2005
Springer
16 years 10 days ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...