Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,369,702 papers from all fields of science
Search
Sign In
Create Free Account
Type system
Known as:
Type checking
, Dynamically typed
, Type-checker
Expand
In programming languages, a type system is a collection of rules that assign a property called type to various constructs a computer program consists…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ACM Computing Surveys
ALGOL W
Abstract data type
Bounds checking
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
EMF Profiles: A Lightweight Extension Approach for EMF Models
Philip Langer
,
Konrad Wieland
,
M. Wimmer
,
Jordi Cabot
Journal of Object Technology
2012
Corpus ID: 2904066
Domain-Specific Modeling Languages (DSMLs) are getting more and more attention as a key element of Model Driven Engineering. As…
Expand
Highly Cited
2006
Highly Cited
2006
An agent-based intelligent control platform for industrial holonic manufacturing systems
A. Colombo
,
R. Schoop
,
R. Neubert
IEEE transactions on industrial electronics…
2006
Corpus ID: 22306410
New revolutionary manufacturing paradigms, which take advantage of the newest emerging mechatronics, information, and…
Expand
Highly Cited
2001
Highly Cited
2001
A Modular Self-Reconfigurable Bipartite Robotic System: Implementation and Motion Planning
Cem Ünsal
,
Han Kiliççöte
,
P. Khosla
Auton. Robots
2001
Corpus ID: 353002
In this manuscript, we discuss I-Cubes, a class of modular robotic system thatis capable of reconfiguring itself in 3-D to adapt…
Expand
Review
2001
Review
2001
Security for Mobility
H. R. Nielson
,
F. Nielson
,
Mikael Buchholtz
Foundations of Security Analysis and Design
2001
Corpus ID: 26378404
We show how to use static analysis to provide information about security issues related to mobility. First the syntax and…
Expand
Highly Cited
1997
Highly Cited
1997
Flexible support for business processes: extending cooperative hypermedia with process support
J. Haake
,
Weigang Wang
Information and Software Technology
1997
Corpus ID: 47399254
Abstract In this paper, we present a cooperative hypermedia-based process support system focusing on flexible business processes…
Expand
Highly Cited
1994
Highly Cited
1994
Composing Concurrent Objects
L. Bergmans
1994
Corpus ID: 47574280
Adopting the object-oriented paradigm for the development of large and complex software systems offers several advantages, of…
Expand
Highly Cited
1994
Highly Cited
1994
Adaptive automata for context-dependent languages
J. J. Neto
SIGP
1994
Corpus ID: 3050752
The present paper introduces the concept of adaptive automata as an alternative formal tool for describing context-dependent…
Expand
Highly Cited
1993
Highly Cited
1993
Light-weight process groups in the Isis system
Bradford B. Glade
,
K. Birman
,
R. Cooper
,
R. V. Renesse
Distributed Syst. Eng.
1993
Corpus ID: 16853455
Isis is a toolkit for building applications consisting of cooperating processes in a distributed system. Group management and…
Expand
Highly Cited
1990
Highly Cited
1990
Characterization of carrier generation in enhancement-mode SOI MOSFET's
D. Ioannou
,
S. Cristoloveanu
,
M. Mukherjee
,
B. Mazhari
IEEE Electron Device Letters
1990
Corpus ID: 10110806
The carrier generation in enhancement-mode SOI MOSFETs is studied by applying a suitable bias step on one gate, which drives it…
Expand
Review
1982
Review
1982
The Art of Abstracting.
Edward T. Cremmins
1982
Corpus ID: 210499585
ion and the Art of John Golding / Exhibitions The art of abstracting. User Review Not Available Book Verdict. In this revision of…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE