A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Filters
Practical, pluggable types
2007
Proceedings of the 2007 international conference on Dynamic languages in conjunction with the 15th International Smalltalk Joint Conference 2007 - ICDL '07
Preserved Fulltext
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
2008
Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA '08
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 2018; you can also visit the original URL.
The file type is application/pdf.
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
2009
Computer languages, systems & structures
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 2009; you can also visit the original URL.
The file type is application/pdf.
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
2010
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10
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.
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
2010
ACM Transactions on Programming Languages and Systems
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.
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
2015
2015 11th International Conference on Network and Service Management (CNSM)
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 2020; you can also visit the original URL.
The file type is application/pdf.
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
2012
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering - FSE '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 2015; you can also visit the original URL.
The file type is application/pdf.
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]
2000
IFIP Advances in Information and Communication 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 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2003
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 2017; you can also visit the original URL.
The file type is application/pdf.
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
2003
25th International Conference on Software Engineering, 2003. Proceedings.
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 2006; you can also visit the original URL.
The file type is application/pdf.
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
2022
Issues of Reconstructive and Plastic Surgery
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 2022; you can also visit the original URL.
The file type is application/pdf.
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
2015
Information Systems and E-Business Management
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.
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
2006
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06
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.
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
2006
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.
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]
2010
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 2013; you can also visit the original URL.
The file type is application/pdf.
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