A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
Filters
XML-Based Static Type Checking and Dynamic Visualization for TCOZ
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
Based on our previous work on the XML environment for TCOZ, this paper firstly demonstrates the development of a type checker for detecting static semantic errors of the TCOZ specification, then illustrates ...
a transformation tool to automatically project TCOZ models into UML statechart diagrams for visualising the dynamic system behaviour. ...
This work is supported by the Research Grants Integrated Formal Methods from National University of Singapore and Techniques and Tools for Designing Embedded and Hybrid Systems from Singapore A*STAR Program ...
doi:10.1007/3-540-36103-0_33
fatcat:zcdxahumrnev3cuggenmf7c3km
Just-in-time static type checking for dynamic languages
2016
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Dynamic languages such as Ruby, Python, and JavaScript have many compelling benefits, but the lack of static types means subtle errors can remain latent in code for a long time. ...
For performance, Hummingbird memoizes the static type checking pass, invalidating cached checks only if necessary. We formalize Hummingbird using a core, Ruby-like language and prove it sound. ...
Hummingbird works by tracking type information dynamically, but then checking method bodies statically at run time as each method is called. ...
doi:10.1145/2908080.2908127
dblp:conf/pldi/RenF16
fatcat:xjyvfktakbbzjgobikc7a5hgm4
On the classification of binding mechanisms
1990
Information Processing Letters
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The most static form is a static R-value binding with static type checking and static scoping. The most dynamic form is a dynamic L-value with dynamic type checking and scoping. ...
Static Typing
Static Typing Dynamic Typing Dynamic Typing
Static Scoping Dynamic Scoping Static Scoping Dynamic Scoping
Static R-value
1
2
3
4
Static L-value
5
6
7
8
Dynamic R-value
9
1 ...
doi:10.1016/0020-0190(90)90230-u
fatcat:rhfcudiqg5atvhfo66yz6y7tny
Soft typing
2004
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
During the 80's and early 90's, high-level programming languages supported two different type-checking philosophies: static typing, and dynamic typing. ...
Soft typing enables static error detection and removal of run-time type checks that pure static typing enjoys. ...
HISTORY OF THE SOFT TYPING CONCEPT During the 80's and early 90's, high-level programming languages supported two different type-checking philosophies: static typing, and dynamic typing. ...
doi:10.1145/989393.989435
fatcat:ozhvn4jyffblba5iiwj4j6z3lq
Bindings persistent programming languages
1988
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper we investigate the nature of binding mechanisms showing how some form of dynamic binding is necessary for persistence. ...
and file systems. ...
Acknowledgements This work is supported by S.E.R.C. grants GR/D 4326.6 and GR/D 4325.9 and a grant from International Computers Ltd.
8. ...
doi:10.1145/44326.44328
fatcat:wfusr6knl5covd6p5lhymzkoau
Quasi-static typing
1990
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Two properties of our system set it apart from existing systems which combine static and dynamic typing: all tagging and checking takes place via implicit coercions, and the semantics of dynamic typing ...
The resulting system-which we call quasi-static typing-is a seamless merger of static and dynamic typing. ...
The system they describe disguises dynamically typed objects with a special "static" type Dynamic, and provides special operations to the user for explicit attachment and checking of run-time typetags ...
doi:10.1145/96709.96747
dblp:conf/popl/Thatte90
fatcat:upynuhdgkndf7djyttjpqxj6yi
Adding dynamically-typed language support to a statically-typed language compiler
2012
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
False for a=3.4
Float
3.4
Integer
CHECK
CHECK
Number
Class hierarchy
Class hierarchy
The result of dynamically-typed language can vary for
the same instance check
Optimization
Statically-typed ...
is effective
Naïve cache and pre-computation
cannot be applicable
Adding Dynamically-Typed Language Support to a Statically-Typed Language Compiler
© 2012 IBM Corporation
13
r1 = aclass
cmp ...
doi:10.1145/2365864.2151047
fatcat:peibb7u7bvgstbkkuy5x43zjsm
Just-in-time static type checking for dynamic languages
2016
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Dynamic languages such as Ruby, Python, and JavaScript have many compelling benefits, but the lack of static types means subtle errors can remain latent in code for a long time. ...
For performance, Hummingbird memoizes the static type checking pass, invalidating cached checks only if necessary. We formalize Hummingbird using a core, Ruby-like language and prove it sound. ...
Hummingbird works by tracking type information dynamically, but then checking method bodies statically at run time as each method is called. ...
doi:10.1145/2980983.2908127
fatcat:vifrefud6fd2hhpwkgbligx2cu
Including both static and dynamic typing in the same programming language
2010
IET Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This type information is used to offer early type error detection, direct interoperation between static and dynamic code, and better runtime performance. ...
Following the Separation of Concerns principle, it is possible to customize the trade-off between runtime flexibility of dynamic typing, and safety, performance and robustness of static typing. ...
StaDyn performs static type checking of both dynamic and static var references. ...
doi:10.1049/iet-sen.2009.0070
fatcat:wumxipwhqncydpobe452kuxl5a
Adding dynamically-typed language support to a statically-typed language compiler
2012
Proceedings of the 8th ACM SIGPLAN/SIGOPS conference on Virtual Execution Environments - VEE '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
False for a=3.4
Float
3.4
Integer
CHECK
CHECK
Number
Class hierarchy
Class hierarchy
The result of dynamically-typed language can vary for
the same instance check
Optimization
Statically-typed ...
is effective
Naïve cache and pre-computation
cannot be applicable
Adding Dynamically-Typed Language Support to a Statically-Typed Language Compiler
© 2012 IBM Corporation
13
r1 = aclass
cmp ...
doi:10.1145/2151024.2151047
dblp:conf/vee/IshizakiOCNEN12
fatcat:ngmzf7ag2bei5kcuiukkyjwadm
Impact of Using a Static-type System in Computer Programming*
2017
Journal of Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Static-type systems are a major topic in programming language research and the software industry. Static-type systems should reduce the development time and increase the code quality. ...
However, there are only a few empirical experiments on the possible benefits of the static-type system in programming activities. ...
In contrast to dynamic-type programming languages, static-type programming languages do type checking (the process of verifying and enforcing type constraints) at the compile-time as opposed to the run-time ...
doi:10.17706/jsw.12.8.598-611
fatcat:l37pbffoxjeknmcgqumz4ihdg4
Always-available static and dynamic feedback
2011
Proceeding of the 33rd international conference on Software engineering - ICSE '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
If they opt instead to use a dynamic language, they forgo the many benefits of static typing, including machine-checked documentation, improved correctness and reliability, tool support (such as for refactoring ...
We present a novel approach to giving developers the benefits of both static and dynamic typing, throughout the development process, and without the burden of manually separating their program into staticallyand ...
INTRODUCTION Developers rely on both static and dynamic feedback when creating software. They obtain static feedback, in the form of syntax and type checking, by running the compiler. ...
doi:10.1145/1985793.1985864
dblp:conf/icse/BayneCE11
fatcat:v3jy4jas5bckvnth2a3jsewqdi
Union and intersection types to support both dynamic and static typing
2011
Information Processing Letters
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Its type system performs type reconstruction over both dynamic and static implicitly typed references. ...
A new interpretation of union and intersection types allows statically gathering the type information of dynamic references, which improves runtime performance and robustness. ...
Acknowledgments This work has been funded by Microsoft Research, under the project entitled Extending dynamic features of the SSCLI, awarded in the Phoenix and ...
doi:10.1016/j.ipl.2010.12.006
fatcat:7tdpskdbhveh5owzmq6orzlyfm
A Type System for Checking Applet Isolation in Java Card
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
-- Downcasts from any types to corresponding intern and pep types require dynamic checks -In practice only necessary for static fields (no intern tag) -Casts may throw SecurityException ! ...
Covariant arrays -intern T[ ] and pep T[ ] are not subtypes of any T[ ] -Avoid dynamic check for assignments to array slots Static Firewall Checks ! ...
doi:10.1007/978-3-540-30569-9_7
fatcat:72khgim35zcz7a6rjicigpuzxe
Practical type checking of functions defined on Context-Free languages
2004
Journal of Computer Science and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
To improve efficiency, we present a practical type checking method, which consists of both static and dynamic type checking. ...
So, despite the static type checking is not complete, it undertakes most of the type checking task. Consequently the run time efficiency is greatly improved. ...
Another way is to use dynamic type system, but perform static type checking when possible. ...
doi:10.1007/bf02973447
fatcat:rqaeil4bw5eblaffudmj2cyvum
« Previous
Showing results 1 — 15 out of 397,536 results