Filters








397,536 Hits in 5.4 sec

XML-Based Static Type Checking and Dynamic Visualization for TCOZ [chapter]

Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun, Hai Wang
2002 Lecture Notes in Computer Science  
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

Brianna M. Ren, Jeffrey S. Foster
2016 Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016  
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

R. Morrison, M.P. Atkinson, A.L. Brown, A. Dearle
1990 Information Processing Letters  
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

Robert Cartwright, Mike Fagan
2004 SIGPLAN notices  
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

R. Morrison, M. P. Atkinson, A. L. Brown, A. Dearle
1988 SIGPLAN notices  
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

Satish Thatte
1990 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90  
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

Kazuaki Ishizaki, Takeshi Ogasawara, Jose Castanos, Priya Nagpurkar, David Edelsohn, Toshio Nakatani
2012 SIGPLAN notices  
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 = aclass cmp  ... 
doi:10.1145/2365864.2151047 fatcat:peibb7u7bvgstbkkuy5x43zjsm

Just-in-time static type checking for dynamic languages

Brianna M. Ren, Jeffrey S. Foster
2016 SIGPLAN notices  
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

F. Ortin, D. Zapico, J.B.G. Perez-Schofield, M. Garcia
2010 IET Software  
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

Kazuaki Ishizaki, Takeshi Ogasawara, Jose Castanos, Priya Nagpurkar, David Edelsohn, Toshio Nakatani
2012 Proceedings of the 8th ACM SIGPLAN/SIGOPS conference on Virtual Execution Environments - VEE '12  
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 = aclass cmp  ... 
doi:10.1145/2151024.2151047 dblp:conf/vee/IshizakiOCNEN12 fatcat:ngmzf7ag2bei5kcuiukkyjwadm

Impact of Using a Static-type System in Computer Programming*

Ismail Rizky Harlin, Hironori Washizaki, Yoshiaki Fukazawa
2017 Journal of Software  
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

Michael Bayne, Richard Cook, Michael D. Ernst
2011 Proceeding of the 33rd international conference on Software engineering - ICSE '11  
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

Francisco Ortin, Miguel García
2011 Information Processing Letters  
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]

Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter
2005 Lecture Notes in Computer Science  
-- 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

Hai-Ming Chen, Yun-Mei Dong
2004 Journal of Computer Science and Technology  
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