|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16 occurrences of 14 keywords
|
|
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera |
A Core Calculus for Provenance.  |
POST  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | James Cheney, Amal Ahmed, Umut A. Acar |
Provenance as dependency analysis. |
Mathematical Structures in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Derek Dreyer, Amal Ahmed, Lars Birkedal |
Logical Step-Indexed Logical Relations |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler |
Blame for all. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amal Ahmed, Matthias Blume |
An equivalence-preserving CPS translation via multi-language semantics. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang |
Semantic foundations for typed assembly languages. |
ACM Trans. Program. Lang. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Amal Ahmed, Derek Dreyer, Andreas Rossberg |
State-dependent representation independence. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
local state, representation independence, abstract data types, existential types, step-indexed logical relations |
| 1 | Andrew Kennedy, Amal Ahmed (eds.) |
Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009 |
TLDI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Derek Dreyer, Amal Ahmed, Lars Birkedal |
Logical Step-Indexed Logical Relations. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | James Cheney, Umut A. Acar, Amal Ahmed |
Provenance Traces |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Umut A. Acar, Amal Ahmed, Matthias Blume |
Imperative self-adjusting computation. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
mutable state, incremental computation, memoization, change propagation, self-adjusting computation, imperative programming, step-indexed logical relations |
| 1 | Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett |
08061 Executive Summary -- Types, Logics and Semantics for State. |
Types, Logics and Semantics for State |
2008 |
DBLP BibTeX RDF |
|
| 1 | Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett (eds.) |
Types, Logics and Semantics for State, 03.02. - 08.02.2008 |
Types, Logics and Semantics for State |
2008 |
DBLP BibTeX RDF |
|
| 1 | Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett |
08061 Abstracts Collection -- Types, Logics and Semantics for State. |
Types, Logics and Semantics for State |
2008 |
DBLP BibTeX RDF |
|
| 1 | Amal Ahmed, Matthias Blume |
Typed closure conversion preserves observational equivalence. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
equivalence-preserving compilation, typed closure conversion, full abstraction, step-indexed logical relations |
| 1 | Jacob Matthews, Amal Ahmed |
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Amal Ahmed, Matthew Fluet, Greg Morrisett |
L3: A Linear Language with Locations. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | James Cheney, Amal Ahmed, Umut A. Acar |
Provenance as Dependency Analysis |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | James Cheney, Amal Ahmed, Umut A. Acar |
Provenance as Dependency Analysis. |
DBPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal |
Abstract Predicates and Mutable ADTs in Hoare Type Theory. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Fluet, Greg Morrisett, Amal J. Ahmed |
Linear Regions Are All You Need. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Amal J. Ahmed |
Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Morrisett, Amal J. Ahmed, Matthew Fluet |
L3: A Linear Language with Locations. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Amal J. Ahmed, Matthew Fluet, Greg Morrisett |
A step-indexed model of substructural state. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
mutable references, stepindexed model, substructural type system |
| 1 | Amal J. Ahmed, David Walker |
The logical approach to stack typing. |
TLDI |
2003 |
DBLP DOI BibTeX RDF |
bunched logic, ordered logic, type systems, memory management, linear logic, stack, typed assembly language |
| 1 | Amal J. Ahmed, Limin Jia, David Walker |
Reasoning about Hierarchical Storage. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Amal J. Ahmed, Andrew W. Appel, Roberto Virga |
A Stratified Semantics of General References A Stratified Semantics of General References. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")