Search results for "type-safety"

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