Filters








2,247 Hits in 2.7 sec

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.  ...  The Checker Framework includes new Java syntax for expressing type qualifiers; declarative and procedural mechanisms for writing type-checking rules; and support for flowsensitive local type qualifier  ...  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

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  
The demo uses the Checker Framework, which enables you to create pluggable type systems for Java, while your code remains backward-compatible with all versions of Java.  ...  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.  ...  The Type Annotations (JSR 308) Specification [4] explains how Java will support expressing pluggable type systems.  ... 
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  
We have developed a suite of tools, called the JAVACOP framework, that allows developers to create pluggable type systems for Java.  ...  Pluggable types enable users to enforce multiple type systems in one programming language.  ...  We also present several case studies illustrating the practical utility of several pluggable type systems on existing Java code.  ... 
doi:10.1145/1667048.1667049 fatcat:upiyc2sfnffglly2pxpfkxbhzm

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

Edward G. Benowitz, Albert F. Niessner
2003 Lecture Notes in Computer Science  
Ahtruct-This work involves developing representative mission-critical spacecraft software using the Real-Time Specification for Java(RTSJ) [l].  ...  However, instead of performing a lineby-line port, the code is re-architected in pure Javam, using best practices in Object-Oriented(00) design.  ...  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

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

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.  ...  Acknowledgment We thank Gilad Bracha and the anonymous referees for their valuable comments.  ...  Many thanks to Gennady Agranov, Gilad Bracha, Sergei Kojarski, and Jeffrey Palm for helpful discussions on reflection.  ... 
doi:10.1109/icse.2003.1201183 dblp:conf/icse/LorenzV03 fatcat:24yooppwyveehoqjdef76mvkxe

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).  ...  In contrast to a formalization of pure Java, types of variables have two orthogonal components: pluggable type qualifier q and Java class type C as in q C x.  ... 
doi:10.1145/2393596.2393626 dblp:conf/sigsoft/MilanovaH12 fatcat:3svnxrl6hvbmvoblq5wuylivjm

Pluggable Controllers and Nano-Patterns in Java with Lola

Yossi Gil, Ori Marcovitch, Matteo Orru, Ori Roth
2017 Advances in Science, Technology and Engineering Systems  
Acknowledgment The authors thank the anonymous reviewers for their valuable suggestions. Inspiring discussions with Tomer Levy are gratefully and intentionally acknowledged.  ...  a pluggable, modular approach for programming language design.  ...  Consider the design of a pluggable controller that captures the following nano 3 in Java code: while (e) c 1 else c 2 (2.5) Introducing this pluggable controller in Java might be worth the effort depending  ... 
doi:10.25046/aj0203211 fatcat:pjbbbwqyt5dbnnefn57auatnma

A pluggable service-to-service communication mechanism for home multimedia networks

Jin Nakazawa, Hideyuki Tokuda
2002 Proceedings of the tenth ACM international conference on Multimedia - MULTIMEDIA '02  
This paper proposes a pluggable service-to-service (S2S) communication mechanism in a middleware for home networks, called Virtual Networked Appliance (VNA) architecture.  ...  In the architecture, service description method and the pluggable S2S communication mechanism are separated in an orthogonal way.  ...  For example, Jini cannot accept timing constraints for its S2S communication mechanism: Java RMI.  ... 
doi:10.1145/641007.641130 dblp:conf/mm/NakazawaT02 fatcat:vkyrosrvebe2hh5zww3t2k7qzq

A pluggable service-to-service communication mechanism for home multimedia networks

Jin Nakazawa, Hideyuki Tokuda
2002 Proceedings of the tenth ACM international conference on Multimedia - MULTIMEDIA '02  
This paper proposes a pluggable service-to-service (S2S) communication mechanism in a middleware for home networks, called Virtual Networked Appliance (VNA) architecture.  ...  In the architecture, service description method and the pluggable S2S communication mechanism are separated in an orthogonal way.  ...  For example, Jini cannot accept timing constraints for its S2S communication mechanism: Java RMI.  ... 
doi:10.1145/641128.641130 fatcat:stmjnzlp7fhl3jfwkilkeoo6cy

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.  ...  Acknowledgements We gratefully acknowledge the financial support of the Swiss National Science Foundation for the project "Analyzing, capturing and taming software change" (SNF Project No. 200020-113342  ... 
doi:10.1145/1352678.1352690 dblp:conf/smalltalk/HaldimanDN07 fatcat:ayz4akrdg5atjdyzjc5u4islj4

Pluggable checking and inferencing of nonnull types for Java

Torbjörn Ekman, Görel Hedin
2007 Journal of Object Technology  
The tools are modular extensions to the JastAdd extensible Java compiler, illustrating how pluggable type systems can be achieved.  ...  We have implemented a non-null type checker for Java and a new non-null inferencing algorithm for analyzing legacy code.  ...  JavaCOP is a framework for adding pluggable type systems to Java [ANMM06] . The authors present an impressive number of type systems in this framework, including nonnull types.  ... 
doi:10.5381/jot.2007.6.9.a23 fatcat:etmpnl47kbetlb3gddpygd5rme

biggy: An Implementation of Unified Framework for Big Data Management System [article]

Yao Wu, Henan Guan
2018 arXiv   pre-print
Datar features with configuration chain of pluggable engines, automatic dataflow on job pipelines, intelligent self-driving system management and interactive user interfaces.  ...  In this paper, we propose datar, a new prospective and unified framework for Big Data Management System (BDMS) from the point of system architecture by leveraging ideas from mainstream computer structure  ...  The configuration chain is connected by pluggable engines of five types.  ... 
arXiv:1810.09378v1 fatcat:nlkkurj4lrdqlbzqsf6tsxvzqy

Design of an Extensible BPMN Process Simulator [chapter]

Luise Pufahl, Tsun Yin Wong, Mathias Weske
2018 Lecture Notes in Business Information Processing  
This work demonstrates an open and extensible BPMN process simulator written in Java with defined entry points for extensions based on a plug-in structure.  ...  Business process simulation is an important means for quantitative analysis of a business process.  ...  While executing a Parser Pluggable Distribution Conversion Pluggable EventOrderType Pluggable Parsing Initialization Execution Reporting OutputLogger Pluggable ExternalEvent Pluggable  ... 
doi:10.1007/978-3-319-74030-0_62 fatcat:ahrlb2p3nrailktqvsm5ayayvi
« Previous Showing results 1 — 15 out of 2,247 results