A scalable module system
نویسندگان
چکیده
منابع مشابه
A Scalable Module System
Symbolic and logic computation systems ranging from computer algebra systems to theorem provers are finding their way into science, technology, mathematics and engineering. But such systems rely on explicitly or implicitly represented mathematical knowledge that needs to be managed to use such systems effectively. While mathematical knowledge management (MKM) “in the small” is wellstudied, scal...
متن کاملFunctors in a Web-Scalable Module System
Mathematical knowledge has reached a size when it has become extremely hard to organize. A new method to organize mathematical knowledge is through representing mathematical theories in a computer system. There are several languages that can organize mathematical knowledge. We will focus on the MMT language that provides a web scalable module system for mathematical theories. In MMT the theorie...
متن کاملA modular module system
A simple implementation of an SML-like module system is presented as a module parameterized by a base language and its type-checker. This implementation is useful both as a detailed tutorial on the Harper-Lillibridge-Leroy module system and its implementation, and as a constructive demonstration of the applicability of that module system to a wide range of programming languages.
متن کاملA Module System for C++
This paper presents a design of a module system for C++.The proposal focuses on programmer’s view of modules (both production and consumption) and how to better support modular programming in the large, componentization, scalable compilation, and semantics-aware developer tools.
متن کاملThe Classbox Module System
Classical module systems support well the modular development of applications but do not offer the ability to add or replace a method in a class that is not defined in that module. On the other hand, languages that support method addition and replacement do not provide a modular view of applications, and their changes have a global impact. The result is a gap between module systems for object-o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2013
ISSN: 0890-5401
DOI: 10.1016/j.ic.2013.06.001