Specification and Dynamic Checking of Composition Constraints in Distributed Component-Based Systems

2001 ◽  
Author(s):  
Adriaan W. VAN DER Hoek ◽  
David S. Rosenblum
Keyword(s):  
Dynamic Checking

Dynamic checking improves MEMS design methodology

2000 ◽  
Author(s):  
Xavi Marin ◽  
Jordi Carrabina ◽  
Joan Bausells
Keyword(s):  
Design Methodology ◽  
Dynamic Checking

Gradual type-and-effect systems

2016 ◽  
Vol 26 ◽  
Author(s):  
FELIPE BAÑADOS SCHWERTER ◽  
RONALD GARCIA ◽  
ÉRIC TANTER
Keyword(s):  
Abstract Interpretation ◽  
Software Developers ◽  
Generic Type ◽  
Gradual Typing ◽  
Type And Effect Systems ◽  
Static Effect ◽  
Dynamic Checking

AbstractEffect systems have the potential to help software developers, but their practical adoption has been very limited. We conjecture that this limited adoption is due in part to the difficulty of transitioning from a system where effects are implicit and unrestricted to a system with a static effect discipline, which must settle for conservative checking in order to be decidable. To address this hindrance, we develop a theory of gradual effect checking, which makes it possible to incrementally annotate and statically check effects, while still rejecting statically inconsistent programs. We extend the generic type-and-effect framework of Marino and Millstein with a notion of unknown effects, which turns out to be significantly more subtle than unknown types in traditional gradual typing. We appeal to abstract interpretation to develop and validate the concepts of gradual effect checking. We also demonstrate how an effect system formulated in the framework of Marino and Millstein can be automatically extended to support gradual checking. We use gradual effect checking to develop a fully gradual type-and-effect framework, which permits interaction between static and dynamic checking for both effects and types.

Apparatus for dynamic checking of electri-contact transducers used in the measurement of linear dimensions

1974 ◽  
Vol 17 (10) ◽  
pp. 1510-1511
Author(s):  
M. G. Boguslavskii ◽  
Yu. S. Mironov ◽  
E. P. Anuchin
Keyword(s):  
Linear Dimensions ◽  
Dynamic Checking

scholarly journals An Interactive Design System for Hybrid ICs

1981 ◽  
Vol 8 (3-4) ◽  
pp. 221-227
Author(s):  
Hiroshi Shiraishi ◽  
Kaoru Kawamura ◽  
Masaaki Hayashi
Keyword(s):  
Integrated Circuit ◽  
Printed Circuit Boards ◽  
High Reliability ◽  
Automatic Generation ◽  
Interactive Design ◽  
Design System ◽  
Time Sharing ◽  
Design Quality ◽  
Mask Design ◽  
Dynamic Checking

In hybrid integrated circuit mask design, the design quality largely depends on the designer's experience and creativity. It is difficult to completely automate the design process as is done with LSIs or printed circuit boards. It is important to incorporate flexibility into the system.This paper describes an interactive design system for laying out hybrid ICs. The system is implemented on a large host computer, and graphic display terminals are connected to it in a time sharing environment. The system provides designers with many interactive facilities which are useful in designing hybrid ICs. In addition to highly interactive dialogue, the system has capabilities such as dynamic checking of the designer's operations against a set of design rules, or automatic generation of standardized element patterns.The system outputs mask information, design documents and so on which are used in the CAM of hybrid ICs. The system is being used at Fujitsu and is contributing to high reliability of the design, and shortening the design period.

scholarly journals MetaKlaim: a type safe multi-stage language for global computing

2004 ◽  
Vol 14 (3) ◽  
pp. 367-395 ◽  
Author(s):  
GIANLUIGI FERRARI ◽  
EUGENIO MOGGI ◽  
ROSARIO PUGLIESE
Keyword(s):  
Type System ◽  
Security Policies ◽  
Wide Area ◽  
Area Network ◽  
Wide Area Network ◽  
Remote Communication ◽  
Type Checking ◽  
Dynamic Type ◽  
Multi Stage ◽  
Dynamic Checking

This paper describes the design and semantics of METAKLAIM, which is a higher order distributed process calculus equipped with staging mechanisms. METAKLAIM integrates METAML (an extension of SML for multi-stage programming) and KLAIM (a Kernel Language for Agents Interaction and Mobility), to permit interleaving of meta-programming activities (such as assembly and linking of code fragments), dynamic checking of security policies at administrative boundaries and ‘traditional’ computational activities on a wide area network (such as remote communication and code mobility). METAKLAIM exploits a powerful type system (including polymorphic types á la system F) to deal with highly parameterised mobile components and to enforce security policies dynamically: types are metadata that are extracted from code at run-time and are used to express trustiness guarantees. The dynamic type checking ensures that the trustiness guarantees of wide area network applications are maintained whenever computations interoperate with potentially untrusted components.

Sign in / Sign up

Export Citation Format

Share Document