Search results for "type-safe"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
66	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
55	Neal Glew, Jens Palsberg, Christian Grothoff	Type-Safe Optimisation of Plugin Architectures.	SAS	2005	DBLP DOI BibTeX RDF
54	Georg Neis, Derek Dreyer, Andreas Rossberg	Non-parametric parametricity.	ICFP	2009	DBLP DOI BibTeX RDF	intensional type analysis, representation independence, type-safe cast, parametricity, step-indexed logical relations
53	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
45	Hiroshi Yamauchi, Mario Wolczko	Writing Solaris device drivers in Java.	PLOS	2006	DBLP DOI BibTeX RDF	type-safe languages, operating systems, device drivers
44	Brian R. Murphy, Vijay Menon 0002, Florian T. Schneider, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai	Fault-safe code motion for type-safe languages.	CGO	2008	DBLP DOI BibTeX RDF	safe code motion, safety dependences, speculative code motion, scheduling, code motion, partial redundancy elimination, intermediate representations
44	George C. Necula, Scott McPeak, Westley Weimer	CCured: type-safe retrofitting of legacy code.	POPL	2002	DBLP DOI BibTeX RDF
38	Heinz Kredel	On the design of a Java computer algebra system.	PPPJ	2006	DBLP DOI BibTeX RDF	computer algebra library, thread-safe, type-safe, multivariate polynomials
36	J. Gregory Morrisett	Analysis issues for cyclone.	PASTE	2002	DBLP DOI BibTeX RDF
36	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
36	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
35	Gernot Schmoelzer, Christian Kreiner, Zsolt Kovács, Michael Thonhauser	Reflective, Model-Based Data Access with the Type-Safe Entity Container.	COMPSAC (2)	2006	DBLP DOI BibTeX RDF
35	Michael Golm, Jürgen Kleinöder, Frank Bellosa	Beyond Address Spaces - Flexibility, Performance, Protection, and Resource Management in the Type-Safe JX Operating System.	HotOS	2001	DBLP DOI BibTeX RDF
34	Zhe Yang	Encoding Types in ML-Like Languages.	ICFP	1998	DBLP DOI BibTeX RDF	MC68000 Assembly Language
32	Suad Alagic	Type-Checking OQL Queries In the ODMG Type Systems.	ACM Trans. Database Syst.	1999	DBLP DOI BibTeX RDF	ODMG standard, Java, C++, type systems, parametric polymorphism, OQL
32	Denis Caromel, Ludovic Henrio, Mario Leyton	Type Safe Algorithmic Skeletons.	PDP	2008	DBLP DOI BibTeX RDF	Type systems, algorithmic skeletons
32	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
31	Karen Shannon, Richard T. Snodgrass	Mapping the Interface Description Language Type Model into C.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Interface Description Language type model, C data structures, macro definitions, type safe, data structures, mapping, efficiency, programming environment, programming environments, high level languages, C language, ease of use, IDL, preprocessor, cooperating processes, run-time efficient
30	Chieri Saito, Atsushi Igarashi	Self type constructors.	OOPSLA	2009	DBLP DOI BibTeX RDF	MyType, type constructor polymorphism, generics, binary methods
30	Valery Trifonov, Bratin Saha, Zhong Shao	Fully reflexive intensional type analysis.	ICFP	2000	DBLP DOI BibTeX RDF	runtime type dispatch, typed intermediate language, certified code
30	Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich	AspectML: A polymorphic aspect-oriented functional programming language.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	parametric and ad-hoc polymorphism, Aspect-oriented programming, type systems, type inference, functional languages
28	Martin Erwig, Deling Ren	Programming Type-Safe Program Updates.	ESOP	2003	DBLP DOI BibTeX RDF
28	Dan Grossman	Type-safe multithreading in cyclone.	TLDI	2003	DBLP DOI BibTeX RDF	types, data races, cyclone
28	Saurabh Srivastava 0001, Michael Hicks 0001, Jeffrey S. Foster, Patrick Jenkins	Modular Information Hiding and Type-Safe Linking for C.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Reliability, Information hiding, Modules, packages, Code design, Coding Tools and Techniques
27	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
27	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
26	Farooq Butt	Porting the mcc PowerPC C/C++ Compiler into an Interactive Development Environment.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	C++
26	Charles D. Norton	The International Workshop on Parallel C++ (IWPC++), Kanazawa, Ishikawa Prefecture, Japan.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	C++
26	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
26	Alcino Cunha, José Nuno Oliveira, Joost Visser 0001	Type-Safe Two-Level Data Transformation.	FM	2006	DBLP DOI BibTeX RDF
26	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
26	Dominic Duggan	Type-Safe linking with recursive DLLs and shared libraries.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Module Interconnection Languages, Dynamic Linking, Shared Libraries, Recursive Modules
24	Davide Ancona, Giovanni Lagorio, Elena Zucca	Flexible Type-Safe Linking of Components for Java-Like Languages.	JMLC	2006	DBLP DOI BibTeX RDF
24	Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe	Type-Safe Runtime Class Upgrades in Creol.	FMOODS	2006	DBLP DOI BibTeX RDF
24	Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden	GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
24	Raphaël Marvie, Philippe Merle, Jean-Marc Geib, Sylvain Leblanc	Type-Safe Trading Proxies Using TORBA.	ISADS	2001	DBLP DOI BibTeX RDF
24	Sophia Drossopoulou, Susan Eisenbach	Java is Type Safe - Probably.	ECOOP	1997	DBLP DOI BibTeX RDF
24	Tetsuo Kamina, Tetsuo Tamai	Lightweight dependent classes.	GPCE	2008	DBLP DOI BibTeX RDF	class-based languages, dependent classes, mutually recursive extensions, generics, type safety
24	Matthew S. Tschantz, Michael D. Ernst	Javari: adding reference immutability to Java.	OOPSLA	2005	DBLP DOI BibTeX RDF	Javari, Java, verification, type system, assignable, readonly, immutability, mutable
23	Erik van der Kouwe, Taddeus Kroes, Chris Ouwehand, Herbert Bos, Cristiano Giuffrida	Type-After-Type: Practical and Complete Type-Safe Memory Reuse.	ACSAC	2018	DBLP DOI BibTeX RDF
23	Jácome Cunha, João Saraiva, Joost Visser 0001	From spreadsheets to relational databases and back.	PEPM	2009	DBLP DOI BibTeX RDF	bi-directional transformations, type-safe data migration, functional programming, spreadsheets
23	Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li	Modularly Certified Dynamic Storage Allocation in SCAP.	QSIC	2006	DBLP DOI BibTeX RDF
23	Stefan Monnier, Bratin Saha, Zhong Shao	Principled Scavenging.	PLDI	2001	DBLP DOI BibTeX RDF
23	Richard West, Jason Gloudon	'QoS Safe' Kernel Extensions for Real-Time Resource Management.	ECRTS	2002	DBLP DOI BibTeX RDF
23	David S. Munro, Katrina E. Falkner, Matthew C. Lowry, Francis Vaughan	Mosaic: A Non-Intrusive Complete Garbage Collector for DSM System.	CCGRID	2001	DBLP DOI BibTeX RDF
23	Bratin Saha, Valery Trifonov, Zhong Shao	Intensional analysis of quantified types.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	intensional type analysis, runtime type dispatch, typed intermediate languages, Certified code
22	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
22	Matthias Zenger	Type-Safe Prototype-Based Component Evolution.	ECOOP	2002	DBLP DOI BibTeX RDF
22	Steven E. Ganz, Amr Sabry, Walid Taha	Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML.	ICFP	2001	DBLP DOI BibTeX RDF	ML
22	Jens Palsberg, Michael I. Schwartzbach	What is Type-Safe Code Reuse?	ECOOP	1991	DBLP DOI BibTeX RDF
22	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
22	Atsushi Igarashi, Chieri Saito, Mirko Viroli	Lightweight Family Polymorphism.	APLAS	2005	DBLP DOI BibTeX RDF
22	Daniel Lohmann, Olaf Spinczyk	On Typesafe Aspect Implementations in C++.	SC@ETAPS	2005	DBLP DOI BibTeX RDF
22	Jean Yang 0001, Chris Hawblitzel	Safe to the last instruction: automated verification of a type-safe operating system.	Commun. ACM	2011	DBLP DOI BibTeX RDF
22	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
21	Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin	Dynamic Typing in a Statically-Typed Language. (long version: TOPLAS 13 (2): 237-268 (1991))	POPL	1989	DBLP DOI BibTeX RDF
20	Florian Villoing, Emmanuel Briot	A Type-Safe Database Interface.	Ada-Europe	2008	DBLP DOI BibTeX RDF
20	Vitaly Surazhsky, Joseph Gil	Type-safe covariance in C++.	SAC	2004	DBLP DOI BibTeX RDF	C++, templates, type safety, covariance
20	Ralph Göckelmann, Stefan Frenz, Michael Schöttner, Peter Schulthess	Compiler Support for Reference Tracking in a Type-Safe DSM.	JMLC	2003	DBLP DOI BibTeX RDF
20	Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells	Functioning without Closure: Type-Safe Customized Function Representations for Standard ML.	ICFP	2001	DBLP DOI BibTeX RDF	Standard ML
20	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
20	DeLesley Hutchins	Eliminating distinctions of class: using prototypes to model virtual classes.	OOPSLA	2006	DBLP DOI BibTeX RDF	virtual types, prototypes, abstract interpretation, partial evaluation, features, dependent types, mixins, virtual classes, singleton types
20	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
20	Peter Achten, Artem Alimarine, Marinus J. Plasmeijer	When Generic Functions Use Dynamic Values.	IFL	2002	DBLP DOI BibTeX RDF
20	Arjen van Weelden, Marinus J. Plasmeijer	Towards a Strongly Typed Functional Operating System.	IFL	2002	DBLP DOI BibTeX RDF
20	Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss	Type-Based Alias Analysis.	PLDI	1998	DBLP DOI BibTeX RDF
20	David Aspinall 0001, Patrick Maier 0001, Ian Stark	Safety Guarantees from Explicit Resource Management.	FMCO	2007	DBLP DOI BibTeX RDF
20	Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu	Mutatis mutandis: safe and predictable dynamic software updating.	POPL	2005	DBLP DOI BibTeX RDF	proteus, updateability analysis, type inference, capability, dynamic software updating
19	Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst	Object and reference immutability using java generics.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	IGJ, const, java, generic, readonly, immutability
19	Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea	A flow-based approach for variant parametric types.	OOPSLA	2006	DBLP DOI BibTeX RDF	variant parametric types, constraints, genericity, subtyping, flow analysis
19	Adrian Birka, Michael D. Ernst	A practical type system and language for reference immutability.	OOPSLA	2004	DBLP DOI BibTeX RDF	Javari, const, Java, verification, type system, readonly, immutability, mutable
19	Rinus Plasmeijer, Arjen van Weelden	A Functional Shell That Operates on Typed and Compiled Applications.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
19	Dan Grossman, J. Gregory Morrisett	Scalable Certification for Typed Assembly Language.	Types in Compilation	2000	DBLP DOI BibTeX RDF
19	Ralph Frisbie, Richard Hendrickson, Michael Metcalf	The F Programming Language.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF	FCL
19	Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin	Dynamic Typing in a Statically Typed Language.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	theory
18	Luís Caires, Bernardo Toninho	Refinement kinds: type-safe programming with practical type-level computation.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
18	Luís Caires, Bernardo Toninho	Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version).	CoRR	2019	DBLP BibTeX RDF
18	Davide Sottara, Mark Proctor, Stefano Bragaglia, Mohammad Hekmatnejad	Traits: An Object Oriented Dynamic Type System for Reasoning with Unstructured Data in a Type Safe Environment.	RuleML+RR (Supplement)	2019	DBLP BibTeX RDF
18	Ting-Yan Lai, Tyng-Ruey Chuang, Shin-Cheng Mu	Type Safe Redis Queries: A Case Study of Type-Level Programming in Haskell.	CoRR	2017	DBLP BibTeX RDF
18	Hiroaki Inoue, Atsushi Igarashi, Malte Appeltauer, Robert Hirschfeld	Towards Type-Safe JCop: A type system for layer inheritance and first-class layers.	COP@ECOOP	2014	DBLP DOI BibTeX RDF
18	Yuriy Solodkyy, Jaakko Järvi	Extending type systems in a library: Type-safe XML processing in C++.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
18	Michael Hanus	Type-oriented construction of web user interfaces.	PPDP	2006	DBLP DOI BibTeX RDF	user interfaces, web programming, functional logic programming
18	Kim B. Bruce	Bending without Breaking: Making Software More Flexible: Extended Abstract.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
18	George C. Necula, Peter Lee 0001	The design and implementation of a certifying compiler (with retrospective)	Best of PLDI	1998	DBLP DOI BibTeX RDF
18	George C. Necula, Peter Lee 0001	The Design and Implementation of a Certifying Compiler.	PLDI	1998	DBLP DOI BibTeX RDF	C
18	Sahil Thaker, Don S. Batory, David Kitchin, William R. Cook	Safe composition of product lines.	GPCE	2007	DBLP DOI BibTeX RDF	compositional programming, features, product lines, SAT solvers
18	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	Arjen van Weelden, Rinus Plasmeijer	A Functional Shell That Dynamically Combines Compiled Code.	IFL	2003	DBLP DOI BibTeX RDF
17	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	Tue Becher Jensen, Terkel K. Tolstrup, Michael R. Hansen	Generating web-based systems from specifications.	SAC	2004	DBLP DOI BibTeX RDF	navigation safeness, type safeness, specification, Web engineering, automatic generation
16	Kim B. Bruce, Martin Odersky, Philip Wadler	A Statically Safe Alternative to Virtual Types.	ECOOP	1998	DBLP DOI BibTeX RDF	virtual types, static type checking, Language design, parametric polymorphism
15	Luís Soares Barbosa, Jácome Cunha, Joost Visser 0001	A type-level approach to component prototyping.	SYANCO	2007	DBLP DOI BibTeX RDF	type-level programming, Haskell, coalgebra, mealy machine, combinator library
15	Martin Elsman, Ken Friis Larsen	Typing XHTML Web Applications in ML.	PADL	2004	DBLP DOI BibTeX RDF
15	Mads Torgersen, Christian Plesner Hansen, Erik Ernst, Peter von der Ahé, Gilad Bracha, Neal M. Gafter	Adding wildcards to the Java programming language.	SAC	2004	DBLP DOI BibTeX RDF	genericity, wildcards, parameterized types
14	Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner	Deep typechecking and refactoring.	OOPSLA	2008	DBLP DOI BibTeX RDF	JPA query analysis, cross language refactoring, cross language typechecking
14	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
14	Babak Salamat, Andreas Gal, Todd Jackson, Karthikeyan Manivannan, Gregor Wagner, Michael Franz	Multi-variant Program Execution: Using Multi-core Systems to Defuse Buffer-Overflow Vulnerabilities.	CISIS	2008	DBLP DOI BibTeX RDF
14	Heinz Kredel	Evaluation of a Java Computer Algebra System.	ASCM	2007	DBLP DOI BibTeX RDF
13	George Zakhour, Pascal Weisenburger, Guido Salvaneschi	Type-Safe Dynamic Placement with First-Class Placed Values.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
13	Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev	Type-safe Quantum Programming in Idris.	ESOP	2023	DBLP DOI BibTeX RDF