Skip to search formSkip to main contentSkip to account menu

Strong and weak typing

Known as: Strictly typed, Strong typing, Strongly-typed (programming language) 
In computer programming, programming languages are often colloquially classified as strongly typed or weakly typed (loosely typed). These terms do… 
Wikipedia (opens in a new tab)

Related topics

Related topics

48 relations
ABAP/4AdaAdobe AnimateAliasing (computing)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2007
Review
2007
A Review of Software Upgrade Techniques for Distributed Systems
This document reviews work on software upgrades in distributed systems. The main text describes the work in various sub-areas… 
2007
2007
Recovering Data Models via Guarded Dependences
This paper presents an algorithm for reverse engineering semantically sound object-oriented data models from programs written in… 
2005
2005
Using symbolic execution to guide test generation
Although a number of weaknesses of symbolic execution, when used for software testing, have been highlighted in the literature… 
2004
2004
Architecture for a Next-Generation GCC
This paper presents a design and implementation of a whole-program interprocedural optimizer built in the GCC framework. Through… 
2002
2002
RTML: A Role-based Trust-management Markup Language
RT is a framework for Role-based Trust Management [20]. In comparison with systems like SPKI/SDSI and KeyNote, the advantages of… 
Highly Cited
2001
Highly Cited
2001
Fault-tolerant, Scalable, Wide-Area Internet Service Composition
As the Internet rapidly evolves, a growing number of Web services begins to emerge, and the demand for accessing them through… 
Highly Cited
2001
Highly Cited
2001
Development of volcanic passive margins: Two‐dimensional laboratory models
Volcanic margins are inferred to develop during lithosphere extension above mantle plumes. Continental breakup is characterized… 
1996
1996
Using Metaobjects to Model Concurrent Objects with PICT
We seek to support the development of open, distributed applications from plug-compatible software abstractions. In order to… 
Highly Cited
1995
Highly Cited
1995
Specifying Open GIS with Functional Languages
The concept of Open GIS depends on precise definitions of data, operations and interfaces. This paper argues for the use of… 
1983
1983
Mechanisms for compile-time enforcement of security
This paper discusses features of a secure systems programming language designed and implemented at IBM's Watson Research Lab. Two… 
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)