1179 search results - page 165 / 236 » Programming in Hybrid Constraint Languages |
129
click to vote
MPC
2010
Springer
15 years 6 months ago
2010
Springer
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
101
click to vote
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
Service Oriented Computing (SOC) is a programming paradigm aiming at characterising Service Networks. Services are entities waiting for clients requests and they often result from ...
125
click to vote
ICALP
2007
Springer
15 years 3 months ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...
133
click to vote
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
Automatic parallelization is a promising strategy to improve application performance in the multicore era. However, common programming practices such as the reuse of data structur...
114
click to vote
IWPC
2003
IEEE
15 years 6 months ago
2003
IEEE
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...