Search results for "mutable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Greg Morrisett, Amal J. Ahmed 0001, Matthew Fluet	L3: A Linear Language with Locations.	TLCA	2005	DBLP DOI BibTeX RDF
12	Derek Rayside, Lucy Mendel, Robert Seater, Daniel Jackson 0001	An analysis and visualization for revealing object sharing.	eTX	2005	DBLP DOI BibTeX RDF
12	Gerald Kotonya, John Edward Hutchinson	Managing Change in COTS-Based Systems.	ICSM	2005	DBLP DOI BibTeX RDF	Components, Impact Analysis, Change, CBSE
12	Lisa Stead, Petar Goulev, Caroline Evans, Ebrahim Mamdani	The Emotional Wardrobe.	Pers. Ubiquitous Comput.	2004	DBLP DOI BibTeX RDF	Emotional Wardrobe, AffectiveWare, Electroluminescence, Affective computing, Fashion, Emotional design
12	Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo	Shrinking Reductions in SML.NET.	IFL	2004	DBLP DOI BibTeX RDF
12	Élodie-Jane Sims	Extending Separation Logic with Fixpoints and Postponed Substitution.	AMAST	2004	DBLP DOI BibTeX RDF
12	Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk	Secure Information Flow by Self-Composition.	CSFW	2004	DBLP DOI BibTeX RDF
12	Peter W. O'Hearn, Hongseok Yang, John C. Reynolds	Separation and information hiding.	POPL	2004	DBLP DOI BibTeX RDF	resource protection, modularity, separation logic
12	João Canas Ferreira, José Silva Matos	A Development Support System for Applications That Use Dynamically Reconfigurable Hardware.	FPL	2004	DBLP DOI BibTeX RDF
12	Stephen D. Brookes	A Semantics for Concurrent Separation Logic.	CONCUR	2004	DBLP DOI BibTeX RDF
12	Shuvendu K. Lahiri, Randal E. Bryant	Constructing Quantified Invariants via Predicate Abstraction.	VMCAI	2004	DBLP DOI BibTeX RDF
12	Shaohua Liu, Jun Wei 0001, Yinglong Ma, Yu Liu	Web Service Cooperation Ideology.	Web Intelligence	2004	DBLP DOI BibTeX RDF
12	Jonathan Moody	Logical Mobility and Locality Types.	LOPSTR	2004	DBLP DOI BibTeX RDF
12	Hansrudi Noser, Christian Stern, Peter Stucki	Distributed Virtual Reality Environments Based on Rewriting Systems.	IEEE Trans. Vis. Comput. Graph.	2003	DBLP DOI BibTeX RDF	Virtual Reality (VR), interaction, computer animation, distributed environment, Rewriting systems, Lindenmayer-systems
12	Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni	A Syntactic Approach to Foundational Proof-Carrying Code.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	foundational proof-carrying code, syntactic soundness proof, typed assembly language
12	Gérard P. Huet	Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics.	PADL	2003	DBLP DOI BibTeX RDF
12	Paolo Boldi, Sebastiano Vigna	Rethinking Java strings.	PPPJ	2003	DBLP BibTeX RDF
12	Cormac Flanagan	Automatic Software Model Checking Using CLP.	ESOP	2003	DBLP DOI BibTeX RDF
12	Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo	A Generic Persistence Model for (C)LP Systems.	ICLP	2003	DBLP DOI BibTeX RDF
12	Rex L. Page	Software is discrete mathematics.	ICFP	2003	DBLP DOI BibTeX RDF	software engineering, formal methods, functional programming, correctness proofs, discrete mathematics, predicate logic
12	Victoria Ungureanu, Benjamin Melamed, Michael N. Katehakis	Towards an Efficient Cluster-Based E-Commerce Server.	CLUSTER	2003	DBLP DOI BibTeX RDF
12	Anindya Banerjee 0001, David A. Naumann	Secure Information Flow and Pointer Confinement in a Java-like Language.	CSFW	2002	DBLP DOI BibTeX RDF
12	Amal J. Ahmed 0001, Andrew W. Appel, Roberto Virga	A Stratified Semantics of General References A Stratified Semantics of General References.	LICS	2002	DBLP DOI BibTeX RDF
12	Ana Cavalcanti 0001, David A. Naumann	Forward Simulation for Data Refinement of Classes.	FME	2002	DBLP DOI BibTeX RDF	soundness of simulation, program analysis and verification, object-orientation, data refinement
12	Amin Vahdat, Jeffrey S. Chase, Rebecca Braynard, Dejan Kostic, Patrick Reynolds, Adolfo Rodriguez	Self-Organizing Subsets: From Each According to His Abilities, to Each According to His Needs.	IPTPS	2002	DBLP DOI BibTeX RDF
12	Didier Galmiche, Daniel Méry	Connection-Based Proof Search in Propositional BI Logic.	CADE	2002	DBLP DOI BibTeX RDF
12	Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey	To the Gates of HAL: A HAL Tutorial.	FLOPS	2002	DBLP DOI BibTeX RDF
12	Marisa DeMeglio, Markku T. Häkkinen, Hiroshi Kawamura	Accessible Interface Design: Adaptive Multimedia Information System (AMIS).	ICCHP	2002	DBLP DOI BibTeX RDF
12	Luci Pirmez, Luiz F. Rust da Costa Carmo, Reinaldo de Barros Correia, Renata F. Corrêa, Roberta Lima-Gomes, Luiz F. Bacellar	An Adaptive Distributed System Based on Conditional Dependencies.	WORDS	2002	DBLP DOI BibTeX RDF	conditional dependencies, distributed systems, adaptive systems, dependable systems
12	Didier Galmiche, Daniel Méry, David J. Pym	Resource Tableaux.	CSL	2002	DBLP DOI BibTeX RDF
12	Andre Renaud, Padmanabhan Krishnan	An Environment for Specifying and Verifying Security Properties.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF
12	Didier Galmiche, Daniel Méry	Proof-Search and Countermodel Generation in Propositional BI Logic.	TACS	2001	DBLP DOI BibTeX RDF
12	Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn	Computability and Complexity Results for a Spatial Assertion Language for Data Structures.	FSTTCS	2001	DBLP DOI BibTeX RDF
12	Dan Grossman, J. Gregory Morrisett, Steve Zdancewic	Syntactic type abstraction.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	proof techniques, syntactic proofs, type abstraction, operational semantics, parametricity
12	Frédéric Lang, Pierre Lescanne, Luigi Liquori	A Framework for Defining Object-Calculi.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF	Design of functional and imperative object-oriented languages, memory management, operational semantics, implementation issues
12	Flemming Nielson, Hanne Riis Nielson	Interprocedural Control Flow Analysis.	ESOP	1999	DBLP DOI BibTeX RDF
12	Ken Wakita, Takashi Asano 0002, Masataka Sassa	D'Caml: Native Support for Distributed ML Programming in Heterogeneous Environment.	Euro-Par	1999	DBLP DOI BibTeX RDF
12	Aaron Greenhouse, John Boyland	An Object-Oriented Effects System.	ECOOP	1999	DBLP DOI BibTeX RDF
12	Alexandre V. Zamulin	Language Independent Container Specification.	Generic Programming	1998	DBLP DOI BibTeX RDF
12	James Noble 0001, Jan Vitek, John Potter	Flexible Alias Protection.	ECOOP	1998	DBLP DOI BibTeX RDF
12	Robert Harper 0001, J. Gregory Morrisett	Compiling Polymorphism Using Intensional Type Analysis.	POPL	1995	DBLP DOI BibTeX RDF	ML
12	Ian T. Foster, Stephen Taylor	A Compiler Approach to Scalable Concurrent-Program Design.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	program composition, monotonicity, programming abstractions, source-to-source transformations
12	Suresh Jagannathan, Stephen Weeks	Analyzing Stores and References in a Parallel Symbolic Language.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	T
12	John Launchbury, Simon L. Peyton Jones	Lazy Functional State Threads.	PLDI	1994	DBLP DOI BibTeX RDF
12	Todd M. Austin, Scott E. Breach, Gurindar S. Sohi	Efficient Detection of All Pointer and Array Access Errors.	PLDI	1994	DBLP DOI BibTeX RDF	C
12	William Claude Welch, Andrew P. Witkin	Free-form shape design using triangulated surfaces.	SIGGRAPH	1994	DBLP DOI BibTeX RDF	fair surface design, Delaunay triangulation, adaptive meshing, polygonal models, functional minimization
12	Andrew D. Marshall	Supporting communications infrastructure evolution.	CASCON	1994	DBLP BibTeX RDF
12	Martin Odersky, Dan Rabin, Paul Hudak	Call by Name, Assignment, and the Lambda Calculus.	POPL	1993	DBLP DOI BibTeX RDF
12	Damien Doligez, Xavier Leroy	A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML.	POPL	1993	DBLP DOI BibTeX RDF	LML
12	Colin Ashford	The OSI Managed-Object Model.	ECOOP	1993	DBLP DOI BibTeX RDF
12	Martin Odersky	Observers for Linear Types.	ESOP	1992	DBLP DOI BibTeX RDF
12	Richard Hull 0001, Dean Jacobs	On the Semantics of Rules in Database Programming Languages.	East/West Database Workshop	1990	DBLP DOI BibTeX RDF
12	Williams Ludwell Harrison III, Zahira Ammarguellat	The Design of Automatic Parallelizers for Symbolic and Numeric Programs.	Workshop on Parallel Lisp	1989	DBLP DOI BibTeX RDF
12	Daniel G. Bobrow	Managing Reentrant Structures Using Reference Counts.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF