686 search results - page 43 / 138 » Foundations for Bidirectional Programming |
ERSHOV
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Model programs are high-level behavioral speciļ¬cations typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
105
click to vote
ASP
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
PPDP
2007
Springer
15 years 3 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
ANOR
2010
14 years 9 months ago
2010
We study some mathematical programming formulations for the origin-destination model in airline revenue management. In particular, we focus on the traditional probabilistic model ...