Search results for "type-safety"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	Xiaofeng Yang, Mohammad Zulkernine	Secure Method Calls by Instrumenting Bytecode with Aspects. (PDF / PS)	DBSec	2009	DBLP DOI BibTeX RDF	code security, aspects, Bytecode instrumentation
6	Frank Otto, Victor Pankratius, Walter F. Tichy	High-level multicore programming with XJava.	ICSE Companion	2009	DBLP DOI BibTeX RDF
6	Michael D. Bond, Kathryn S. McKinley	Leak pruning.	ASPLOS	2009	DBLP DOI BibTeX RDF	leak tolerance, garbage collection, memory leaks, managed languages
6	Jevgeni Kabanov, Rein Raudjärv	Embedded typesafe domain specific languages for Java.	PPPJ	2008	DBLP DOI BibTeX RDF
6	Lorenzo Bettini, Viviana Bono	Type safe dynamic object delegation in class-based languages.	PPPJ	2008	DBLP DOI BibTeX RDF	delegation, language extensions, object composition, featherweight Java
6	Christian Hofer, Klaus Ostermann, Tillmann Rendel, Adriaan Moors	Polymorphic embedding of dsls.	GPCE	2008	DBLP DOI BibTeX RDF	pure embedding, domain-specific languages, extensibility, compositionality, algebraic semantics, scala
6	Pierre Duquesne, Ciarán Bryce	A Language Model for Dynamic Code Updating.	HotSWUp	2008	DBLP DOI BibTeX RDF
6	Lorenzo Bettini, Viviana Bono, Betti Venneri	Object Incompleteness and Dynamic Composition in Java-Like Languages.	TOOLS (46)	2008	DBLP DOI BibTeX RDF
6	Shi Zhang, Linpeng Huang	Research on dynamic update transaction for Java classes.	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	Java language, program design, dynamic software update, update transaction
6	Liwen Huang, Paul Hudak, John Peterson	HPorter: Using Arrows to Compose Parallel Processes.	PADL	2007	DBLP DOI BibTeX RDF
6	Shi Zhang, Linpeng Huang	Type-Safe Dynamic Update Transaction.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
6	Peter Müller 0001, Martin Nordio	Proof-transforming compilation of programs with abrupt termination.	SAVCBS	2007	DBLP DOI BibTeX RDF	proof-transforming compiler, proof-carrying code, trusted components
6	V. Benjamin Livshits, Úlfar Erlingsson	Using web application construction frameworks to protect against code injection attacks.	PLAS	2007	DBLP DOI BibTeX RDF	software construction frameworks, software security, same-origin policy, code injection attacks
6	Gabor Szeder, Walter F. Tichy	A Communication Middleware for Smart Room Environments.	AmI	2007	DBLP DOI BibTeX RDF
6	Danil Shopyrin	Multimethods in C++ using recursive deferred dispatching.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	template metaprogramming, C++, polymorphism, multimethods, multiple dispatch, reusable libraries
6	Prabhanjan Kambadur, Douglas P. Gregor, Andrew Lumsdaine, Amey Dharurkar	Modernizing the C++ Interface to MPI.	PVM/MPI	2006	DBLP DOI BibTeX RDF
6	Timothy Boudreau, Jaroslav Tulach, Rich Unger	Decoupled design: building applications on the NetBeans platform.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	NetBeans, Java, modular, decoupled, loose coupling, API design
6	Timothy Boudreau, Jaroslav Tulach, Rich Unger	Decoupled design: building applications on the NetBeans platform.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	NetBeans, Java, modular, decoupled, loose coupling, API design
6	Jeremy G. Siek, Walid Taha	A Semantic Analysis of C++ Templates.	ECOOP	2006	DBLP DOI BibTeX RDF
6	Edwin C. Brady, Kevin Hammond	A verified staged interpreter is a verified compiler.	GPCE	2006	DBLP DOI BibTeX RDF	domain specific language implementation, resource aware programming, functional programming, partial evaluation, dependent types, multi-stage programming
6	Christof Lutteroth	AP1: A Platform for Model-Based Software Engineering.	TEAA	2006	DBLP DOI BibTeX RDF
6	Iulian Neamtiu, Michael W. Hicks, Gareth Paul Stoyle, Manuel Oriol	Practical dynamic software updating for C.	PLDI	2006	DBLP DOI BibTeX RDF	function indirection, loop extraction, type wrapping, dynamic software updating
6	Philip Miseldine, A. Taleb-Bendiab	Retrofitting Zeroconf to Type-Safe Self-Organising Systems.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
6	Shi Zhang, Linpeng Huang	Formalizing Class Dynamic Software Updating.	QSIC	2006	DBLP DOI BibTeX RDF
6	Michael Stilkerich, Christian Wawersich, Andreas Gal, Wolfgang Schröder-Preikschat, Michael Franz	OSEK/VDX API for Java.	PLOS	2006	DBLP DOI BibTeX RDF
6	Rajeev Kumar, Vikram Agrawal, Anil Mangolia	Realization of multimethods in single dispatch object oriented languages.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	message dispatch, single dispatch, Java, object-oriented programming, C++, C#, multimethods, multiple dispatch
6	Jim Steel, Jean-Marc Jézéquel	Model Typing for Improving Reuse in Model-Driven Engineering.	MoDELS	2005	DBLP DOI BibTeX RDF
6	Hans-Juergen Boehm	Threads cannot be implemented as a library.	PLDI	2005	DBLP DOI BibTeX RDF	optimization, threads, data race, pthreads, register promotion
6	Christopher L. Conway, Stephen A. Edwards	NDL: a domain-specific language for device drivers.	LCTES	2004	DBLP DOI BibTeX RDF	domain-specific languages, device drivers, systems programming
6	Daniel von Dincklage, Amer Diwan	Converting Java classes to use generics.	OOPSLA	2004	DBLP DOI BibTeX RDF	generics, type inference, parametric polymorphism
6	Tian-jun Zuo, Jun-gang Han, Ping Chen	Formalizing Java Dynamic Loading in HOL.	TPHOLs	2004	DBLP DOI BibTeX RDF
6	Kathryn S. McKinley	Polar opposites: next generation languages and architectures.	Memory System Performance	2004	DBLP DOI BibTeX RDF
6	Haruo Hosoya, Benjamin C. Pierce	XDuce: A statically typed XML processing language.	ACM Trans. Internet Techn.	2003	DBLP DOI BibTeX RDF	XML, Type systems, subtyping, tree automata
6	Karl Crary	Toward a foundational typed assembly language.	POPL	2003	DBLP DOI BibTeX RDF	proof-carrying code, typed assembly language
6	Matthew Hennessy, James Riely	Information flow vs. resource access in the asynchronous pi-calculus.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Distributed process language, I/O subtyping, may testing, security types, security, information flow, pi-calculus, noninterference
6	Claus Brabrand, Michael I. Schwartzbach	Growing languages with metamorphic syntax macros.	PEPM	2002	DBLP DOI BibTeX RDF
6	Daniel Pfeifer	Flexible Object-Oriented Views Using Method Propagation.	OOIS	2002	DBLP DOI BibTeX RDF
6	George C. Necula, Shree Prakash Rahul	Oracle-based checking of untrusted software.	POPL	2001	DBLP DOI BibTeX RDF	ORACLE
6	Matthew Hennessy, James Riely	Information Flow vs. Resource Access in the Asynchronous Pi-Calculus.	ICALP	2000	DBLP DOI BibTeX RDF
6	Tobias Grundmann, Marcus Ritt, Wolfgang Rosenstiel	Object-Oriented Message-Passing with TPO++ (Research Note).	Euro-Par	2000	DBLP DOI BibTeX RDF
6	João Costa Seco, Luís Caires	A Basic Model of Typed Components.	ECOOP	2000	DBLP DOI BibTeX RDF
6	Scott Malabarba, Raju Pandey, Jeff Gragg, Earl T. Barr, J. Fritz Barnes	Runtime Support for Type-Safe Dynamic Java Classes.	ECOOP	2000	DBLP DOI BibTeX RDF
6	Christopher Colby, Peter Lee 0001, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline	A certifying compiler for Java.	PLDI	2000	DBLP DOI BibTeX RDF
6	Sanjay Ghemawat, Keith H. Randall, Daniel J. Scales	Field analysis: getting useful and low-cost interprocedural information.	PLDI	2000	DBLP DOI BibTeX RDF
6	Tobias Grundmann, Marcus Ritt, Wolfgang Rosenstiel	TPO++: An Object-Oriented Message-Passing Library in C++.	ICPP	2000	DBLP DOI BibTeX RDF	Object-orientation, C++, MPI, Message-passing, Scientific Computing
6	Bowen Alpern, C. Richard Attanasio, John J. Barton, Anthony Cocchi, Susan Flynn Hummel, Derek Lieber, Ton Ngo, Mark F. Mergen, Janice C. Shepherd, Stephen E. Smith	Implementing Jalapeño in Java.	OOPSLA	1999	DBLP DOI BibTeX RDF	Java
6	James M. Stichnoth, Guei-Yuan Lueh, Michal Cierniak	Support for Garbage Collection at Every Instruction in a Java Compiler.	PLDI	1999	DBLP DOI BibTeX RDF	Java, Java, compilers, garbage collection
6	Daniel Wu, Divyakant Agrawal, Amr El Abbadi	StratOSphere: Unification of Code, Data, Location, Scope, and Mobility.	DOA	1999	DBLP DOI BibTeX RDF
6	Li Gong, Roland Schemers	Signing, Sealing, and Guarding Java Objects.	Mobile Agents and Security	1998	DBLP DOI BibTeX RDF
6	Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles	PLAN: A Packet Language for Active Networks.	ICFP	1998	DBLP DOI BibTeX RDF
6	Michael Oudshoorn, Stephen Crawley	Beyond Ada 95: The Addition of Persistence and Its Consequences.	Ada-Europe	1996	DBLP DOI BibTeX RDF
6	Rolf Adams, Walter F. Tichy, Annette Weinert	The Cost of Selective Recompilation and Environment Processing.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	environment processing, selective recompilation, smart recompilation, software evolution, empirical analysis, separate compilation
6	Mark Cashman	The benefits of enumerated types in Modula-2.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	Modula-2