The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Type-Safety (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1986-1998 (20) 1999-2000 (23) 2001-2002 (34) 2003-2004 (29) 2005 (15) 2006 (33) 2007 (23) 2008 (29) 2009 (21) 2010-2013 (16) 2014-2022 (10)
Publication types (Num. hits)
article(39) inproceedings(210) phdthesis(4)
Venues (Conferences, Journals, ...)
POPL(18) ECOOP(15) ACM Trans. Program. Lang. Syst...(13) OOPSLA(13) ICFP(12) PLDI(12) ESOP(6) GPCE(6) SAC(5) CoRR(4) ICSE(4) TLDI(4) AOSD(3) ICFEM(3) J. Autom. Reason.(3) OOPSLA Companion(3) More (+10 of total 125)
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
48Shuling Wang, Quan Long, Zongyan Qiu Type Safety for FJ and FGJ. Search on Bibsonomy ICTAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Downcast, Observer Pattern, Type Safety, Featherweight Java
47Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip An operational semantics and type safety prooffor multiple inheritance in C++. Search on Bibsonomy OOPSLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF semantics, C++, type safety, multiple inheritance
41John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve Secure virtual architecture: a safe execution environment for commodity operating systems. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF security, compiler, virtual machine, operating systems, type safety, memory safety, typed assembly language
39Divya Arora, Anand Raghunathan, Srivaths Ravi 0001, Niraj K. Jha Architectural support for safe software execution on embedded processors. Search on Bibsonomy CODES+ISSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF type safety, memory safety, extensible processors
37Fan Guo, Yiyun Chen, RongGui Hu Machine Code Type Safety. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr Efficient memory safety for TinyOS. Search on Bibsonomy SenSys The full citation details ... 2007 DBLP  DOI  BibTeX  RDF cXprop, deputy, safe TinyOS, wireless sensor networks, TinyOS, type safety, memory safety, nesC
35Satish Chandra 0001, Thomas W. Reps Physical Type Checking for C. Search on Bibsonomy PASTE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF C
34Syrine Tlili, Mourad Debbabi Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Type and effect analysis, C language, Type safety, Memory safety
33Hidehiko Masuhara, Atsushi Igarashi, Manabu Toyama Type relaxed weaving. Search on Bibsonomy AOSD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF around advice, aspect-oriented programming, type safety
33Michael Furr, Jeffrey S. Foster Checking type safety of foreign function calls. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF FFI, flow-sensitive type system, foreign function calls, multi-lingual type inference, multi-lingual type system, representational type, dataflow analysis, OCaml, foreign function interface
31James Riely, Matthew Hennessy Trust and Partial Typing in Open Systems of Mobile Agents. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF partial typing, trust, type safety
31Christopher A. Stone, Robert Harper 0001 Extensional equivalence and singleton types. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF equivalence algorithms, logical relations, Singleton types
29Axel Schmolitzky, Mark Evered, James Leslie Keedy, Gisela Menger How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe? Search on Bibsonomy TOOLS (32) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF pragmatical class methods, static type safety, language design, covariance, binary methods
29Chieri Saito, Atsushi Igarashi Self type constructors. Search on Bibsonomy OOPSLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF MyType, type constructor polymorphism, generics, binary methods
29Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich PolyAML: a polymorphic aspect-oriented functional programming language. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF aspects-oriented programming, functional programming, type systems, type inference, ad-hoc polymorphism
28Vijay Menon 0002, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen A verifiable SSA program representation for aggressive compiler optimization. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF SSA formalization, check elimination, proof variables, safety dependences, typeability preservation, type systems, intermediate representations, typed intermediate languages
27Walid Taha, Michael Florentin Nielsen Environment classifiers. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF type systems, modal logic, type safety, linear temporal logic, multi-stage programming
27J. Gregory Morrisett Achieving Type Safety for Low-Level Code. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27J. Gregory Morrisett Achieving Type Safety for Low-Level Code. Search on Bibsonomy ASIAN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26George C. Necula, Robert R. Schneck Proof-Carrying Code with Untrusted Proof Rules. Search on Bibsonomy ISSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Daniel C. Wang, Andrew W. Appel Type-preserving garbage collectors. Search on Bibsonomy POPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Patrick Th. Eugster, Rachid Guerraoui Distributed Programming with Typed Events. Search on Bibsonomy IEEE Softw. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Java, events, Distributed programming, publish-subscribe, type safety
25Michael Furr, Jeffrey S. Foster Checking type safety of foreign function calls. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF FFI, flow-sensitive type system, foreign function calls, multilingual type inference, multilingual type system, representational type, Java, dataflow analysis, OCaml, JNI, Java Native Interface, Foreign function interface
25John Launchbury, Amr Sabry Monadic State: Axiomatization and Type Safety. Search on Bibsonomy ICFP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Haskell
24Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler Featherwieght Java: A Minimal Core Calculus for Java and GJ. Search on Bibsonomy OOPSLA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Java, implementation, language design, theoretical foundations
24George C. Necula, Peter Lee 0001 The design and implementation of a certifying compiler (with retrospective) Search on Bibsonomy Best of PLDI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
24George C. Necula, Peter Lee 0001 The Design and Implementation of a Certifying Compiler. Search on Bibsonomy PLDI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF C
24David Zook, Emir Pasalic, Beata Sarna-Starosta Typed Datalog. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Meta-compilation, Type System, Datalog, Deductive Databases
23Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer Unifying type checking and property checking for low-level code. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF assertion checking, low-level code, decision procedure, type checking, smt solver, property checking
23Jaime Niño An overview of programming language based security. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF access control, information flow, capability, type safety
23Daniel K. Lee, Karl Crary, Robert Harper 0001 Towards a mechanized metatheory of standard ML. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF language definitions, mechanized metatheory, twelf, standard ML, logical frameworks, type safety
22Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler Featherweight Java: a minimal core calculus for Java and GJ. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF generic classes, Java, Compilation, language design, language semantics
22Florian Kammüller, Henry Sudhof Composing Safely - A Type System for Aspects. Search on Bibsonomy SC@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Zhenyu Qian, Allen Goldberg, Alessandro Coglio A formal specification of JavaTM class loading. Search on Bibsonomy OOPSLA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Java
22John Boyland, Giuseppe Castagna Type-Safe Compilation of Covariant Specialization: A Practical Case. Search on Bibsonomy ECOOP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
21Bruno De Fraine, Mario Südholt, Viviane Jonckers StrongAspectJ: flexible and safe pointcut/advice bindings. Search on Bibsonomy AOSD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa Type-safe distributed programming for OCaml. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF HashCaml, type-safe marshalling, objective Caml
21Masami Hagiya, Akihiko Tozawa On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Kim B. Bruce, Angela Schuett, Robert van Gent PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language. Search on Bibsonomy ECOOP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF design and semantics of object-oriented languages, Type systems
21Nicu G. Fruja Type Safety of Generics for the .NET Common Language Runtime. Search on Bibsonomy ESOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Patrick Eugster Type-based publish/subscribe: Concepts and experiences. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Java, distribution, Abstraction, generics, reflection, publish/subscribe, type
20Matthew Harren, George C. Necula Using Dependent Types to Certify the Safety of Assembly Code. Search on Bibsonomy SAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Shan Shan Huang, David Zook, Yannis Smaragdakis cJ: enhancing java with safe type conditions. Search on Bibsonomy AOSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF aspect-oriented programming, meta-programming, language extensions
20George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer CCured: type-safe retrofitting of legacy software. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF pointer qualifier, libraries, subtyping, Memory safety
19Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira Modular session types for distributed object-oriented programming. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF non-uniform method availability, object-oriented calculus, typestates, session types
19J. Gregory Morrisett Analysis issues for cyclone. Search on Bibsonomy PASTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
19R. Ghosh-Roy, Frank Jensen Conjunctional type assignment in programming languages. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1988 DBLP  DOI  BibTeX  RDF ML
18George C. Necula A Scalable Architecture for Proof-Carrying Code. Search on Bibsonomy FLOPS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
18Mourad Debbabi, E. Giasson, Béchir Ktari, Frédéric Michaud, Nadia Tawbi Secure Self-Certified COTS. Search on Bibsonomy WETICE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
18Patrick Th. Eugster, Christian Heide Damm, Rachid Guerraoui Towards Safe Distributed Application Development. Search on Bibsonomy ICSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
18Florin Craciun, Shengchao Qin, Wei-Ngan Chin A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. Search on Bibsonomy ICFEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Gerwin Klein, Tobias Nipkow A machine-checked model for a Java-like language, virtual machine, and compiler. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Java, theorem proving, operational semantics
18Dan Grossman Type-safe multithreading in cyclone. Search on Bibsonomy TLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF types, data races, cyclone
18Emir Pasalic, Walid Taha, Tim Sheard Tagless staged interpreters for typed languages. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF calculus of constructions, definitional interpreters, domain-specific languages, multi-stage programming
17Limin Jia 0001, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich Dependent types and program equivalence. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF dependent types, program equivalence
17Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster Profile-guided static typing for dynamic scripting languages. Search on Bibsonomy OOPSLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF RIL, profile guided anlaysis, scripting languages, ruby
17Denis Caromel, Ludovic Henrio, Mario Leyton Type Safe Algorithmic Skeletons. Search on Bibsonomy PDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Type systems, algorithmic skeletons
17Kim B. Bruce, Angela Schuett, Robert van Gent, Adrian Fiech PolyTOIL: A type-safe polymorphic object-oriented language. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF hash type, Matching
17Jean Yang 0001, Chris Hawblitzel Safe to the last instruction: automated verification of a type-safe operating system. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF verification, operating system, type safety, run-time system
17Benjamin Delaware, William R. Cook, Don S. Batory Fitting the pieces together: a machine-checked model of safe composition. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF feature models, product lines, type safety
17Benjamin Delaware, William R. Cook, Don S. Batory A machine-checked model of safe composition. Search on Bibsonomy FOAL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF feature model, product lines, type safety
17Raimondas Sasnauskas, Jó Ágila Bitsch Link, Muhammad Hamad Alizai, Klaus Wehrle KleeNet: automatic bug hunting in sensor network applications. Search on Bibsonomy SenSys The full citation details ... 2008 DBLP  DOI  BibTeX  RDF tinyos, type safety, memory safety, bug finding
17Marius Nita, Dan Grossman, Craig Chambers A theory of platform-dependent low-level software. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF low-level software, portability, type safety, casts
17Habib Seifzadeh, Mostafa Kermani, Mohsen Sadighi Moshkenani Dynamic Maintenance of Software Systems at Runtime. Search on Bibsonomy ARES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Dynamic Software maintenance, Availability, Software requirements, Type-Safety
17Tetsuo Kamina, Tetsuo Tamai Lightweight dependent classes. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF class-based languages, dependent classes, mutually recursive extensions, generics, type safety
17Saurabh Srivastava 0001, Michael Hicks 0001, Jeffrey S. Foster Modular information hiding and type-safe linking for C. Search on Bibsonomy TLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF C, information hiding, type-safety, module systems
17William R. Cook, Siddhartha Rai Safe query objects: statically typed objects as remotely executable queries. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF JDO, persistence, type safety
17Dzintars Avots, Michael Dalton, V. Benjamin Livshits, Monica S. Lam Improving software security with a C pointer analysis. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF format string violations, security aws, program analysis, programming languages, error detection, dynamic analysis, vulnerabilities, buffer overflows, software security, pointer analysis, context-sensitive, type safety, software errors
17Michele Bugliesi, Giuseppe Castagna, Silvia Crafa Access control for mobile agents: The calculus of boxed ambients. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Ambient calculi, access control systems, mobile computation, type systems, type safety
17Vitaly Surazhsky, Joseph Gil Type-safe covariance in C++. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF C++, templates, type safety, covariance
17David A. Basin, Stefan Friedrich 0001, Marek Gawkowski Bytecode Verification by Model Checking. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model checking, static analysis, type safety, bytecode verification
17Morten Rhiger A foundation for embedded languages. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF phantom types, Haskell, completeness, Standard ML, type safety, higher-order abstract syntax, Embedded languages, type soundness
17Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer CCured in the real world. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF compatibility with library code, run-time type information, C, type safety, memory safety
17Dominique Colnet, Luigi Liquori Match-O, A Dialect of Eiffel with Match-Types. Search on Bibsonomy TOOLS (37) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Match-O, Eiffel dialect, covariant redefinition, system-level validity rules, match types, method specialization, anchored type, type unsoundness, smallEiffel source code, compiler, program compilers, object-oriented languages, abstract data types, subtyping, type safety, binary methods, Current
17Godmar Back, Wilson C. Hsieh Drawing the Red Line in Java. Search on Bibsonomy Workshop on Hot Topics in Operating Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF red line, kernel structure, Java, termination, sharing, type safety, resource control
17Sven Groppe, Jana Neumann, Volker Linnemann SWOBE - embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF SPARUL, semantic web, RDF, SPARQL, embedded languages
17Riley Moher, Michael Gruninger, Scott Sanner What's in a (Data) Type? Meaningful Type Safety for Data Science. Search on Bibsonomy RCIS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Hendrik Tews, Marcus Völp, Tjark Weber On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code Search on Bibsonomy SSV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
16François Pottier A Simple View of Type-Secure Information Flow in the p-Calculus. Search on Bibsonomy CSFW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
16Michael J. Ocean, Assaf J. Kfoury, Azer Bestavros A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems. Search on Bibsonomy MOMPES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Sungwoo Park Type-safe higher-order channels in ML-like languages. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF channel locality, distributed languages, higher-order channels, parallel languages
16Gilles Grimaud, Jean-Louis Lanet, Jean-Jacques Vandewalle FACADE: A Typed Intermediate Language Dedicated to Smart Cards. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
16James Sasitorn, Robert Cartwright Component nextgen: a sound and expressive component framework for java. Search on Bibsonomy OOPSLA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF custom class loader, first-class generics, java implementation, components, signatures, modules
16Jeremy G. Siek, Walid Taha Gradual Typing for Objects. Search on Bibsonomy ECOOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Atsushi Ohori, Kiyoshi Yamatodani An interoperable calculus for external object access. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF record polymorphism, Java, interoperability, ML, type inference, object-oriented language
16Karl Crary, Joseph Vanderwaart An expressive, scalable type theory for certified code. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
14Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. Search on Bibsonomy LOPSTR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
14Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu Construction of a Semantic Model for a Typed Assembly Language. Search on Bibsonomy VMCAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Martin Elsman Garbage collection safety for region-based memory management. Search on Bibsonomy TLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF region inference, garbage collection, standard ML
14Jeremy Manson, William W. Pugh Core semantics of multithreaded Java. Search on Bibsonomy Java Grande The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Java
14Michael R. Lowry, Thomas Pressburger, Grigore Rosu Certifying Domain-Specific Policies. Search on Bibsonomy ASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
14Raffi Khatchadourian, Jason Sawin, Atanas Rountev Automated Refactoring of Legacy Java Software to Enumerated Types. Search on Bibsonomy ICSM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
14Sonia Fagorzi, Elena Zucca A Framework for Type Safe Exchange of Mobile Code. Search on Bibsonomy TGC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF parametric calculus, static and dynamic typechecking, subtyping, mobile code
14Sam Tobin-Hochstadt, Matthias Felleisen Interlanguage migration: from scripts to programs. Search on Bibsonomy OOPSLA Companion The full citation details ... 2006 DBLP  DOI  BibTeX  RDF interlanguage migration, contract, ?-calculus, module systems
14Erik Ernst, Klaus Ostermann, William R. Cook A virtual class calculus. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF soundness, virtual classes
14George C. Necula Using Dependent Types to Port Type Systems to Low-Level Languages. Search on Bibsonomy CC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
14Dirk Draheim, Christof Lutteroth, Gerald Weber A Type System for Reflective Program Generators. Search on Bibsonomy GPCE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
14Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim Experience with safe manual memory-management in cyclone. Search on Bibsonomy ISMM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF unique pointers, memory management, regions, memory safety, cyclone
14Nevin Heintze, David A. McAllester On the Complexity of Set-Based Analysis. Search on Bibsonomy ICFP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
14Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer Implementing software product lines using traits. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF type system, software product line, feature model, trait, featherweight java
Displaying result #1 - #100 of 253 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license