|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 420 occurrences of 253 keywords
|
|
|
|
|
Results
Found 253 publication records. Showing 253 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 14 | Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer |
Refactoring for Parameterizing Java Classes.  |
ICSE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 14 | Dan Grossman |
Quantified types in an imperative language. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
type variables, polymorphism, existential types, Cyclone |
| 14 | Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu |
Type Checking Choreography Description Language. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
Formal model, Choreography, Type checking, WS-CDL |
| 14 | Michael Furr, Jeffrey S. Foster |
Polymorphic Type Inference for the JNI. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 14 | Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis |
Acute: high-level programming language design for distributed computation. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
rebinding, programming languages, ML, distributed programming, modules, version control, type theory, abstract types, serialisation, marshalling |
| 14 | Mahesh H. Dodani, Chung-Shin Tsai |
ACTS: A Type System for Object-Oriented Programming Based on Abstract and Concrete Classes. |
ECOOP |
1992 |
DBLP DOI BibTeX RDF |
|
| 12 | Chieri Saito, Atsushi Igarashi |
Matching ThisType to subtyping. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
ThisType, exact types, subtyping, dynamic dispatch, binary methods |
| 12 | Anmo Jeong, Seungnam Jeong, Yoonsun Lim, Myung Kim |
Active Binding Technology: A Reuse-Enabling Component Model. |
ICSR |
2008 |
DBLP DOI BibTeX RDF |
CBD, Component Model, Component Reuse |
| 12 | Alexander Joseph Ahern, Nobuko Yoshida |
Formalising Java RMI with explicit code mobility. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
Java, distribution, optimisation, types, runtime, RMI, code mobility |
| 12 | Jeffery von Ronne, Andreas Hartmann 0001, Wolfram Amme, Michael Franz |
Efficient online optimization by utilizing offline analysis and the safeTSA representation. |
PPPJ/IRE |
2002 |
DBLP DOI BibTeX RDF |
Java, World Wide Web (WWW) |
| 12 | Dan Grossman |
Existential Types for Imperative Languages. |
ESOP |
2002 |
DBLP DOI BibTeX RDF |
|
| 12 | Cristiano Calcagno |
Stratified operational semantics for safety and correctness of the region calculus. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 12 | Iavor S. Diatchki, Mark P. Jones |
Strongly typed memory areas programming systems-level data structures in a functional language. |
Haskell |
2006 |
DBLP DOI BibTeX RDF |
memory areas, memory manipulation, data representation, improvement, systems programming, qualified types |
| 12 | Dominic Duggan |
Type-based hot swapping of running modules. |
Acta Informatica |
2005 |
DBLP DOI BibTeX RDF |
|
| 12 | Matthew Fluet, J. Gregory Morrisett |
Monadic regions. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
type system, effect, monad, region, parametric polymorphism, region-based memory management |
| 12 | Andrew D. Gordon 0001, Don Syme |
Typing a multi-language intermediate code. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 12 | Sylvain Conchon, François Pottier |
JOIN(X): Constraint-Based Type Inference for the Join-Calculus. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 12 | Dominic Duggan |
Type-Based Hot Swapping of Running Modules. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
module interconnection languages, dynamic typing, shared libraries, hot swapping |
| 11 | Diego Elias Costa, Suhaib Mujahid, Rabe Abdalkareem, Emad Shihab |
Breaking Type Safety in Go: An Empirical Study on the Usage of the unsafe Package. |
IEEE Trans. Software Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
| 11 | Tianyu Chen, Jeremy G. Siek |
Mechanized Type Safety for Gradual Information Flow. |
SP (Workshops) |
2021 |
DBLP DOI BibTeX RDF |
|
| 11 | Frédéric Blanqui |
Type safety of rewrite rules in dependent types. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 11 | Diego Elias Costa, Suhaib Mujahid, Rabe Abdalkareem, Emad Shihab |
Breaking Type-Safety in Go: An Empirical Study on the Usage of the unsafe Package. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 11 | Frédéric Blanqui |
Type Safety of Rewrite Rules in Dependent Types. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
| 11 | Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel |
Type Safety with JSON Subschema. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 11 | Joseph R. Harrison |
Runtime type safety for erlang/otp behaviours. |
Erlang Workshop |
2019 |
DBLP DOI BibTeX RDF |
|
| 11 | Thomas S. Heinze, Anders Møller, Fabio Strocco |
Type safety analysis for Dart. |
DLS |
2016 |
DBLP DOI BibTeX RDF |
|
| 11 | Thomas Reschenhofer, Ivan Monahov, Florian Matthes |
Type-Safety in EA Model Analysis. |
EDOC Workshops |
2014 |
DBLP DOI BibTeX RDF |
|
| 11 | Christopher Schwaab, Jeremy G. Siek |
Modular type-safety proofs in Agda. |
PLPV |
2013 |
DBLP DOI BibTeX RDF |
|
| 11 | Kevin Krause, Jim Alves-Foss |
On Designing an ACL2-Based C Integer Type Safety Checking Tool. |
NASA Formal Methods |
2013 |
DBLP DOI BibTeX RDF |
|
| 11 | Christopher Schwaab, Jeremy G. Siek |
Modular Type-Safety Proofs using Dependant Types |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 11 | Ferruccio Damiani, Ina Schaefer |
Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines. |
ISoLA (1) |
2012 |
DBLP DOI BibTeX RDF |
|
| 11 | Jun Sasaki, Takuhide Kikuchi, Masanori Takagi, Keizo Yamada, Michiru Tanaka, Akiko Ogawa |
Optimal Auto-reminder-calling Algorithm for Self-reporting Type Safety Monitoring System by using Telephone for Elderly People. |
HEALTHINF |
2012 |
DBLP BibTeX RDF |
|
| 11 | Chris Hawblitzel |
Type safety from the ground up. |
TLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 11 | Sven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer |
Type safety for feature-oriented product lines. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 11 | Nicu G. Fruja |
Towards proving type safety of C#. |
Comput. Lang. Syst. Struct. |
2010 |
DBLP DOI BibTeX RDF |
|
| 11 | Brian Hackett |
Type safety in the Linux kernel. |
|
2010 |
RDF |
|
| 11 | Nicu G. Fruja |
Towards proving type safety of .NET CIL. |
Sci. Comput. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 11 | Karl Ridgeway, David Bernstein, John F. Magnotti |
Using Java's generics mechanism to improve type safety in the command pattern. |
ACM Southeast Regional Conference |
2008 |
DBLP DOI BibTeX RDF |
command pattern, proxy pattern, RPC |
| 11 | Bruno César dos Santos Oliveira |
Genericity, extensibility and type : safety in the VISITOR pattern. |
|
2007 |
RDF |
|
| 11 | Nicu G. Fruja |
Type safety of C# and .Net CLR. |
|
2007 |
RDF |
|
| 11 | Alessandro Coglio, Allen Goldberg |
Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions. |
Concurr. Comput. Pract. Exp. |
2001 |
DBLP DOI BibTeX RDF |
|
| 11 | David von Oheimb |
Analyzing Java in Isabelle-HOL: formalization, type safety and Hoare logic. (PDF / PS) |
|
2001 |
RDF |
|
| 11 | Zahir Tari, Xue Li, Ling Liu |
Type Safety in the Context of Method Updates. |
J. Intell. Inf. Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
| 11 | David von Oheimb, Tobias Nipkow |
Machine-Checking the Java Specification: Proving Type-Safety. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
| 11 | Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard |
Multi-Stage Programming: Axiomatization and Type Safety. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 11 | Raymond K. Wong 0001, H. Lewis Chau |
Method Dispatching and Type Safety for Objects with Multiple Roles. |
TOOLS (25) |
1997 |
DBLP DOI BibTeX RDF |
objects with roles, type calculus, object-oriented databases |
| 11 | Robert G. Clark |
Type safety and behavioural inheritance. |
Inf. Softw. Technol. |
1995 |
DBLP DOI BibTeX RDF |
|
| 11 | Gael A. Curry |
An Approach to Type Safety in a Traits System. |
FJCC |
1986 |
DBLP BibTeX RDF |
|
| 10 | Michael D. Bond, Kathryn S. McKinley |
Tolerating memory leaks. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
bug tolerance, memory leaks, managed languages |
| 10 | Gavin M. Bierman, Matthew J. Parkinson, James Noble 0001 |
UpgradeJ: Incremental Typechecking for Class Upgrades. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 10 | David Walker 0001 |
A Type System for Expressive Security Policies. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
| 10 | Jacob Matthews, Robert Bruce Findler |
Operational semantics for multi-language programs. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
interoperability, Operational semantics |
| 10 | Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu |
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 10 | Bruno C. d. S. Oliveira |
Modular Visitor Components. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 10 | Eduardo Bonelli, Federico Feller |
The Logic of Proofs as a Foundation for Certifying Mobile Computation. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 10 | Bruno C. d. S. Oliveira, Meng Wang 0002, Jeremy Gibbons |
The visitor pattern as a reusable, generic, type-safe component. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
algebraic datatypes, program extensibility, design patterns, software components, traversal, visitor pattern |
| 10 | Michal Wegiel, Chandra Krintz |
XMem: type-safe, transparent, shared memory for cross-runtime communication and coordination. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
class loading, managed runtimes, type-safe, parallel, synchronization, garbage collection, shared memory, transparent, interprocess communication |
| 10 | Marina Polishchuk, Ben Liblit, Chloë W. Schulze |
Dynamic heap type inference for program understanding and debugging. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
dynamic type inference, heap visualization, physical subtyping, constraints, debugging tools, conservative garbage collection |
| 10 | Christian Skalka |
Type safe dynamic linking for JVM access control. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
static type analysis, language-based security, bytecode verification, dynamic linking |
| 10 | Giovanni Lagorio, Elena Zucca |
Introducing safe unknown types in Java-like languages. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
java-like languages, type-systems, static typing |
| 10 | Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu |
Variance and Generalized Constraints for C# Generics. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 10 | Davide Ancona, Giovanni Lagorio, Elena Zucca |
Flexible Type-Safe Linking of Components for Java-Like Languages. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
| 10 | Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe |
Type-Safe Runtime Class Upgrades in Creol. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 10 | Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu |
A Type System for the Relational Calculus of Object Systems. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 10 | Christian Skalka, Scott F. Smith 0001 |
Static use-based object confinement. |
Int. J. Inf. Sec. |
2005 |
DBLP DOI BibTeX RDF |
Security, Programming languages, Type systems, Confinement |
| 10 | Todd D. Millstein, Colin Bleckner, Craig Chambers |
Modular typechecking for hierarchically extensible datatypes and functions. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
Extensible datatypes, extensible functions, modular typechecking |
| 10 | Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Pablo Garralda |
Boxed Ambients with Communication Interfaces. |
MFCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 10 | Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay |
Session Types for Functional Multithreading. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
static typechecking, specification of communication protocols, concurrent programming, Session types |
| 10 | Konstantin Hyppönen, David Naccache, Elena Trichina, Alexei Tchoulkine |
Trading-Off Type-Inference Memory Complexity against Communication. |
ICICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 10 | J. Gregory Morrisett |
Type Checking Systems Code. |
ESOP |
2002 |
DBLP DOI BibTeX RDF |
|
| 10 | Todd D. Millstein, Colin Bleckner, Craig Chambers |
Modular typechecking for hierarchically extensible datatypes and functions. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
extensible datatypes, extensible functions, modular typechecking |
| 10 | Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney |
Region-Based Memory Management in Cyclone. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
|
| 10 | Nils Maltesson, David Naccache, Elena Trichina, Christophe Tymen |
Applet Verification Strategiesfor RAM-Constrained Devices. |
ICISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 10 | Sébastien Baehni, Patrick Th. Eugster, Rachid Guerraoui |
OS Support for P2P Programming: a Case for TPS. |
ICDCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 10 | Davide Ancona, Elena Zucca |
True Modules for Java-like Languages. |
ECOOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 8 | Tal Cohen, Joseph Gil |
Three approaches to object evolution. |
PPPJ |
2009 |
DBLP DOI BibTeX RDF |
Java |
| 8 | Andreas Gal, Christian W. Probst, Michael Franz |
Java bytecode verification via static single assignment form. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Java bytecode verification, dataflow analysis, static single assignment form |
| 8 | Robert A. van Engelen |
A framework for service-oriented computing with C and C++ Web service components. |
ACM Trans. Internet Techn. |
2008 |
DBLP DOI BibTeX RDF |
Web services standards, Service-oriented computing |
| 8 | Joseph Gil, Itay Maman |
Whiteoak: introducing structural typing into java. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
structural subtyping, java, abstraction |
| 8 | Stephen Curial, Peng Zhao, José Nelson Amaral, Yaoqing Gao, Shimin Cui, Raúl Silvera, Roch Archambault |
MPADS: memory-pooling-assisted data splitting. |
ISMM |
2008 |
DBLP DOI BibTeX RDF |
memory pooling, optimization, compilers, memory management, allocation strategies |
| 8 | Noam Zeilberger |
Focusing and higher-order abstract syntax. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
pattern-matching, higher-order abstract syntax, focusing |
| 8 | Gérard Boudol |
Typing Safe Deallocation. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 8 | Donna Malayeri, Jonathan Aldrich |
Integrating Nominal and Structural Subtyping. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 8 | Chang Hwan Peter Kim, Christian Kästner, Don S. Batory |
On the modularity of feature interactions. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
lifters, safe composition, feature interactions, derivatives, feature oriented software development |
| 8 | Jim Steel, Jean-Marc Jézéquel |
On model typing. |
Softw. Syst. Model. |
2007 |
DBLP DOI BibTeX RDF |
MDA, Model transformation, Type systems, Metamodelling, Typing, MOF |
| 8 | Jacob Matthews, Robert Bruce Findler |
Operational semantics for multi-language programs. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
multi-language systems, interoperability, operational semantics |
| 8 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
Statically Safe Program Generation with SafeGen. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
| 8 | Mads Torgersen |
The Expression Problem Revisited. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 8 | K. John Gough, Diane Corney |
Leveraging Managed Frameworks from Modular Languages. |
JMLC |
2003 |
DBLP DOI BibTeX RDF |
|
| 8 | J. Russell Noseworthy |
IKE 2-Implementing the Stateful Distributed Object Paradigm. |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
Distributed Object Middleware, Publish-Subscribe Middleware, SDO, Stateful Distributed Object, Middleware, CORBA, Distributed Object, Event Service |
| 8 | George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer |
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
| 8 | Davide Ancona, Giovanni Lagorio, Elena Zucca |
A Formal Framework for Java Separate Compilation. |
ECOOP |
2002 |
DBLP DOI BibTeX RDF |
|
| 8 | David Naccache, Alexei Tchoulkine, Christophe Tymen, Elena Trichina |
Reducing the Memory Complexity of Type-Inference Algorithms. |
ICICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 8 | Masatomo Hashimoto, Akinori Yonezawa |
MobileML: A Programming Language for Mobile Computation. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
| 8 | Todd D. Millstein, Craig Chambers |
Modular Statically Typed Multimethods. |
ECOOP |
1999 |
DBLP DOI BibTeX RDF |
|
| 8 | Sheng Liang, Gilad Bracha |
Dynamics Class Loading in the Java Virtual Machine. |
OOPSLA |
1998 |
DBLP DOI BibTeX RDF |
Java |
| 8 | Atsushi Ohori, Kazuhiko Kato |
Semantics for Communication Primitives in an Polymorphic Language. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
ML |
| 6 | Galen C. Hunt |
Looking beyond a singularity. |
VEE |
2010 |
DBLP DOI BibTeX RDF |
sing#, software-isolated processes (sips), singularity |
| 6 | Xin Qi 0012, Andrew C. Myers |
Sharing classes between families. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
family inheritance, masked types, views |
| 6 | Miguel Castro 0001, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham 0001, Richard Black |
Fast byte-granularity software fault isolation. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
device drivers, isolation |
Displaying result #101 - #200 of 253 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license