最 低 价：￥488.16
| invited papers a brief survey of quantum programming languages analysis of synchronous and asynchronous cellular automata using abstraction by temporal logic twelf and delphin: logic and functional programming in a meta-logical framework refereed papers logic and functional-logic programming online justification for tabled logic programs constructive intensional negation analysing definitional trees: looking for determinism applications ddt: a declarative debugging tool for functional-logic languages lix: an effective self-applicable partial evaluator for prolog program analysis multivariant non-failure analysis via standard abstract interpretation set-sharing is not always redundant for pair-sharing backward pair sharing analysis rewriting implementing natural rewriting and narrowing efficiently complete axiomatization of an algebraic construction of graphs sub-birkhoff . types and modules relaxing the value restriction rigid mixin modules logic and semantics semantics of linear continuation-passing in call-by-name a direct proof of strong normalization for an extended herbelin's calculus functional programming normalization by evaluation for λ→2 basic pattern matching calculi: a fresh view on matching failure derivation of deterministic inverse programs based on lr parsing author index |
内容加载中，请稍后...
商品评论（0条）