Filters








4,651 Hits in 2.2 sec

Practical, pluggable types

Niklaus Haldiman, Marcus Denker, Oscar Nierstrasz
2007 Proceedings of the 2007 international conference on Dynamic languages in conjunction with the 15th International Smalltalk Joint Conference 2007 - ICDL '07  
We propose a practical and pragmatic approach to introduce pluggable type systems to dynamic languages. First of all, only annotated code is type-checked.  ...  Pluggable types blur this division by (i) making static type systems optional, and (ii) supporting a choice of type systems for reasoning about different kinds of static properties.  ...  JavaCOP [7] is a program constraint system for implementing practical pluggable type systems for Java.  ... 
doi:10.1145/1352678.1352690 dblp:conf/smalltalk/HaldimanDN07 fatcat:ayz4akrdg5atjdyzjc5u4islj4

Practical pluggable types for java

Matthew M. Papi, Mahmood Ali, Telmo Luis Correa, Jeff H. Perkins, Michael D. Ernst
2008 Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA '08  
This paper introduces the Checker Framework, which supports adding pluggable type systems to the Java language in a backward-compatible way.  ...  A type system designer defines type qualifiers and their semantics, and a compiler plug-in enforces the semantics.  ...  Thanks to my coauthors for their work on Practical pluggable types for Java [44] , which has formed the basis of Chapters 4-6 of this thesis.  ... 
doi:10.1145/1390630.1390656 dblp:conf/issta/PapiACPE08 fatcat:shdyijozcva2rh34stgkxejkrq

Practical, pluggable types for a dynamic language

Niklaus Haldiman, Marcus Denker, Oscar Nierstrasz
2009 Computer languages, systems & structures  
This work is based on an earlier work: Practical, Pluggable Types, in  ...  We propose a practical and pragmatic approach to introduce pluggable type systems to dynamic languages. First of all, only annotated code is type-checked.  ...  JavaCOP [7] is a program constraint system for implementing practical pluggable type systems for Java.  ... 
doi:10.1016/j.cl.2008.06.003 fatcat:nibzf5lotfg2ve4oj34hnpuwhq

Building and using pluggable type systems

Michael D. Ernst, Mahmood Ali
2010 Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10  
It describes both the theory of pluggable types and also the practice of implementing them. A simple pluggable type-checker can be implemented in 2 minutes, and can be enhanced thereafter.  ...  A pluggable type system can guarantee the absence of these errors, and many more.  ...  A user-defined, or pluggable, type system enriches the built-in type system by expressing extra information about types via type qualifiers.  ... 
doi:10.1145/1882291.1882356 dblp:conf/sigsoft/ErnstA10 fatcat:7sh7dhkrc5elrhwhxk5v4kxn3u

JavaCOP

Shane Markstrum, Daniel Marino, Matthew Esquivel, Todd Millstein, Chris Andreae, James Noble
2010 ACM Transactions on Programming Languages and Systems  
Pluggable types enable users to enforce multiple type systems in one programming language.  ...  We have developed a suite of tools, called the JAVACOP framework, that allows developers to create pluggable type systems for Java.  ...  Nonetheless, JAVACOP'S performance demonstrates the practicality of its design. DISCUSSION JAVACOP is a practical and powerful tool for building pluggable type systems.  ... 
doi:10.1145/1667048.1667049 fatcat:upiyc2sfnffglly2pxpfkxbhzm

Traffic flow analysis of tor pluggable transports

Khalid Shahbar, A. Nur Zincir-Heywood
2015 2015 11th International Conference on Network and Service Management (CNSM)  
Pluggable transports are used to obfuscate the connection to these bridges.  ...  In this paper, we investigate the robustness of these pluggable transports in evading the flow based traffic analysis and blocking systems.  ...  between these two variables shows which type of pluggable transport is used by the user.  ... 
doi:10.1109/cnsm.2015.7367356 dblp:conf/cnsm/ShahbarZ15 fatcat:agcbhjks3vfrhiu5trjzr42owm

Inference and checking of context-sensitive pluggable types

Ana Milanova, Wei Huang
2012 Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering - FSE '12  
Unfortunately, pluggable types require annotations, which imposes a burden on programmers. We propose a framework for specifying, inferring and checking of context-sensitive pluggable types.  ...  Pluggable types can help find bugs such as null-pointer dereference or unwanted mutation (or they can prove the absence of such bugs).  ...  This approach can infer "best" typing for any pluggable type system.  ... 
doi:10.1145/2393596.2393626 dblp:conf/sigsoft/MilanovaH12 fatcat:3svnxrl6hvbmvoblq5wuylivjm

The Design and Performance of a Pluggable Protocols Framework for Corba Middleware [chapter]

Fred Kuhns, Carlos O'Ryan, Douglas C. Schmidt, Ossama Othman, Jeff Parsons
2000 IFIP Advances in Information and Communication Technology  
First, we outline the key design challenges faced by pluggable protocols developers.  ...  This paper provides three contributions to research on pluggable protocols frameworks for performance-sensitive communication middleware.  ...  A Pluggable Protocol Scenario To illustrate how TAO's pluggable protocols framework can be applied in practice, we now describe a scenario where pluggable protocols can be used to support performance-sensitive  ... 
doi:10.1007/978-0-387-35580-1_7 fatcat:lrzcfi2pqvav3exushe7iotvty

Experiences in Adopting Real-Time Java for Flight-Like Software [chapter]

Edward G. Benowitz, Albert F. Niessner
2003 Lecture Notes in Computer Science  
However, instead of performing a lineby-line port, the code is re-architected in pure Javam, using best practices in Object-Oriented(00) design.  ...  Since the RTSJ reference implementation does not currently support debugging, we chose to apply pluggable technology to the scheduler and memory allocation interfaces.  ...  In developing this prototype, we have applied best practices in 00 design, including design pattems. We have demonstrated the applicability of pluggable components.  ... 
doi:10.1007/978-3-540-39962-9_54 fatcat:24qoazdwx5cybpqu6fkfvwekmu

Pluggable reflection: decoupling meta-interface and implementation

D.H. Lorenz, J. Vlissides
2003 25th International Conference on Software Engineering, 2003. Proceedings.  
Components take this separation a step further by describing unforeseeable attributes-the key to pluggable third-party components.  ...  But in practice, the reflection interface and its implementation are strongly coupled.  ...  Weirich proposes incorporating mechanisms for dynamic type analysis into Java's reflection [35] . In the component approach to pluggability, we assign types to events to achieve typed construction.  ... 
doi:10.1109/icse.2003.1201183 dblp:conf/icse/LorenzV03 fatcat:24yooppwyveehoqjdef76mvkxe

Novel virtual microsurgical training program during the COVID-19 pandemic

G. Romero, J. Daou, Ye. Akelina
2022 Issues of Reconstructive and Plastic Surgery  
Similarly, to the "pluggable digital microscope with surgical loupes" setup, the "smartphone with surgical loupes" setup is still nonetheless an excellent model to practice microsurgical techniques.  ...  A pluggable digital microscope was connected via a USB cable to a computer for the "Pluggable digital microscope with surgical loupes" set-up (Fig. 1B ).  ... 
doi:10.52581/1814-1471/80/07 fatcat:fv6gia3lnvb5zpilsw7bgm6jpq

A pluggable service platform architecture for e-commerce

Fabian Aulkemeier, Mohammad Anggasta Paramartha, Maria-Eugenia Iacob, Jos van Hillegersberg
2015 Information Systems and E-Business Management  
Therefore, this paper aims to present a reference architecture of a novel pluggable service platform for e-commerce.  ...  Based on the findings and motivated by literature on service-oriented design, we develop an architecture of a service-based pluggable platform for online retailers.  ...  Both service types have to be integrated on information system level for seamless process execution.  ... 
doi:10.1007/s10257-015-0291-6 fatcat:bcxj7huapfcble5jsjvlti4v6e

A framework for implementing pluggable type systems

Chris Andreae, James Noble, Shane Markstrum, Todd Millstein
2006 Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06  
We have designed and implemented JAVACOP, a program constraint system for implementing practical pluggable type systems for Java.  ...  Pluggable types have been proposed to support multiple type systems in the same programming language.  ...  Conclusions In this paper we have presented the first practical framework designed for implementing pluggable types for Java.  ... 
doi:10.1145/1167473.1167479 dblp:conf/oopsla/AndreaeNMM06 fatcat:ays43aeqyrbrtafcxhot5tias4

A framework for implementing pluggable type systems

Chris Andreae, James Noble, Shane Markstrum, Todd Millstein
2006 SIGPLAN notices  
We have designed and implemented JAVACOP, a program constraint system for implementing practical pluggable type systems for Java.  ...  Pluggable types have been proposed to support multiple type systems in the same programming language.  ...  Conclusions In this paper we have presented the first practical framework designed for implementing pluggable types for Java.  ... 
doi:10.1145/1167515.1167479 fatcat:ngqogqoi4bhg3otvckgia5xneu

Capabilities for Uniqueness and Borrowing [chapter]

Philipp Haller, Martin Odersky
2010 Lecture Notes in Computer Science  
check with @transient receiver and all parameters @peer(this) -Method invocations preserve uniqueness Pluggable Type System • @unique • @transient • @peer(x) • capture(x, y) • swap(x.f, y) Formal Type  ...  .) • Challenges: -Low conceptual and syntactical overhead Pluggable Type System • @unique • @transient • @peer(x) • capture(x, y) • swap(x.f, y) Mutating Unique Objects • Receiver must remain unique  ... 
doi:10.1007/978-3-642-14107-2_17 fatcat:m5xidyjyvreh5ffikwvceygn4y
« Previous Showing results 1 — 15 out of 4,651 results