280 search results - page 17 / 56 » Constraint Systems for Pattern Analysis of Constraint Logic-... |
177
click to vote
POPL
2001
ACM
15 years 12 months ago
2001
ACM
We present a type system for a language based on F, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination o...
126
click to vote
PPDP
2010
Springer
14 years 10 months ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
105
click to vote
SRDS
1999
IEEE
15 years 4 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
100
click to vote
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
121
click to vote
AOSD
2011
ACM
14 years 6 months ago
2011
ACM
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...