2586 search results - page 205 / 518 » Automatic Abstraction for Congruences |
177
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
182
click to vote
COOTS
1998
15 years 8 months ago
1998
Execution patterns are a new metaphor for visualizing execution traces of object-oriented programs. We present an execution pattern view that lets a programmer visualize and explo...
148
click to vote
TFCV
2000
15 years 8 months ago
2000
Abstract. Consider scenes deteriorated by reflections off a semireflecting medium (e.g., a glass window) that lies between the observer and an object. We present two approaches to ...
148
click to vote
CNL
2009
15 years 7 months ago
2009
Abstract. The paper introduces GF, Grammatical Framework, as a tool for implementing controlled languages. GF provides a high-level grammar formalism and a resource grammar library...
163
click to vote
EXPERT
2008
15 years 6 months ago
2008
Abstract. The majority of humans today carry mobile telephones. These phones automatically capture behavioral data from virtually every human society, stored in service provider da...