Rewriting logic semantics provides an environment for defining new and existing languages. These language definitions are formal and executable, providing language interpreters almost for free while also providing a f...
详细信息
ISBN:
(纸本)9781595938657
Rewriting logic semantics provides an environment for defining new and existing languages. These language definitions are formal and executable, providing language interpreters almost for free while also providing a framework for building analysis tools, such as type checkers, model checkers, and abstract interpreters. Large subsets of several existing object-oriented languages have been defined, while a new research language, KOOL, has been created as a platform for experimenting with language features and type systems. At the same time, new tools and formalisms aimed specifically at programming languages are being developed.
Developing large software systems has largely become an exercise in integration. The main effort is writing "glue" that holds externally developed components together. We will explore the shift away from com...
详细信息
ISBN:
(纸本)9781595938657
Developing large software systems has largely become an exercise in integration. The main effort is writing "glue" that holds externally developed components together. We will explore the shift away from commercial off-the-shelf (COTS) to free/open source software (F/OSS) components, and identify the opportunities and issues introduced by it.
The ASP package, a spreadsheet implemented in Smalltalk - 80, is discussed. A description of the unique data manipulation features of ASP is given. A discussion of how these features arise from the Smalltalk -80 envir...
详细信息
This paper briefly describes research on generic object-orientedprogramming where we establish a set of design patterns (or idioms) which makes algorithms independent of data structures. In the framework that impleme...
详细信息
The PACC Starter Kit is an eclipse-based development environment that combines a model-driven development approach with reasoning frameworks that apply performance, safety, and security analyses. These analyses predic...
详细信息
ISBN:
(纸本)9781595938657
The PACC Starter Kit is an eclipse-based development environment that combines a model-driven development approach with reasoning frameworks that apply performance, safety, and security analyses. These analyses predict runtime behavior based on specifications of component behavior and are accompanied by some measure of confidence.
暂无评论