2661 search results - page 137 / 533 » A Semantics for Abstraction |
186
click to vote
JAR
2007
15 years 6 months ago
2007
Abstract. We illustrate a methodology for formalizing and reasoning about Abadi and Cardelli’s object-based calculi, in (co)inductive type theory, such as the Calculus of (Co)Ind...
192
click to vote
PPDP
2007
Springer
16 years 19 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
156
click to vote
IEEEVAST
2010
15 years 1 months ago
2010
Insight Externalization (IE) refers to the process of capturing and recording the semantics of insights in decision making and problem solving. To reduce human effort, Automated I...
168
click to vote
DASFAA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. When creating execution-level process models from conceptual to-be process models, challenges are to find implementations for process activities and to use these impleme...
159
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...