626 search results - page 50 / 126 » Abstract Modularity |
IJAR
2011
13 years 3 months ago
2011
Abstract. In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent information. Our framework is composed of non-deter...
POPL
2003
ACM
14 years 9 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
In this paper we demonstrate a framework for efficient development of textual domain specific languages and supporting tools. We use a redundance-free and compact definition of le...
MFCS
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...
CACM
2008
13 years 9 months ago
2008
argely on the ability of used architectural abstractions to support the separate handling of agent-specific concerns since an early state of design. The applied architectural style...