robertjohnsimmons's abstract-interpretation [12 articles] Export

Recent papers added to robertjohnsimmons's library classified by the tag abstract-interpretation. You can also see everyone's abstract-interpretation.

Hide details

	Abstract Interpretation Using Laziness: Proving Conway's Lost Cosmological Theorem [My Copy] by Kevin Watkins posted to theorem-proving proof lazy-computation haskell functional-programming correctness abstract-interpretation by robertjohnsimmons on 2009-12-10 21:16:00 as along with 1 person and 1 group noam_zeilberger ConcertRG
	Control-flow analysis of function calls and returns by abstract interpretation [My Copy] In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 287-298. by Jan Midtgaard, Thomas P. Jensen posted to program-analysis possible-concertrg-paper galois-connections abstract-interpretation by robertjohnsimmons on 2009-10-19 17:01:19 as along with 1 person and 1 group mattmight ConcertRG
	Abstract Interpretation of Concurrent Languages based on Linear Logic [My Copy] In GULP (1993), pp. 267-284. by Jean M. Andreoli, Tiziana Castagnetti, Remo Pareschi edited by Domenico Saccà, Domenico Saccà posted to abstract-interpretation linear-logic logic-programming by robertjohnsimmons on 2009-08-05 23:40:20 as
	Abstract interpretation [My Copy] ACM Comput. Surv., Vol. 28, No. 2. (June 1996), pp. 324-328. by Patrick Cousot posted to abstract-interpretation program-analysis by robertjohnsimmons on 2009-08-05 23:38:25 as
	The Succinct Solver Suite [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2004), pp. 251-265. by Flemming Nielson, Hanne R. Nielson, Hongyan Sun, et al.Mikael Buchholtz, Rydhof Hansen, Henrik Pilegaard, Helmut Seidl posted to abstract-interpretation forward-chaining logic-programming saturation by robertjohnsimmons on 2009-07-24 00:54:57 as along with 1 person tuncay
	Monadic parsing in Haskell [My Copy] Journal of Functional Programming, Vol. 8, No. 04. (1998), pp. 437-444. by N. Graham Hutto, R. Erik Meije posted to abstract-interpretation complexity control-flow linear-logic by robertjohnsimmons on 2009-07-22 21:24:31 as
	Relating complexity and precision in control flow analysis [My Copy] SIGPLAN Not., Vol. 42, No. 9. (2007), pp. 85-96. by David Van Horn, Harry G. Mairson posted to abstract-interpretation complexity control-flow linear-logic by robertjohnsimmons on 2009-07-22 21:13:42 as
	Flow Analysis, Linearity, and PTIME [My Copy] Static Analysis (2008), pp. 255-269. by David Van Horn, Harry Mairson posted to abstract-interpretation complexity flow-analysis linear-logic by robertjohnsimmons on 2009-07-14 01:29:35 as along with 1 person dvanhorn
	An Effective Fixpoint Semantics for Linear Logic Programs [My Copy] (23 Mar 2001) by Marco Bozzano, Giorgio Delzanno, Maurizio Martelli posted to abstract-interpretation linear-logic by robertjohnsimmons on 2009-07-14 01:03:56 as
	Linear logical approximations [My Copy] In PEPM '09: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation (2009), pp. 9-20. by Robert J. Simmons, Frank Pfenning posted to abstract-interpretation forward-chaining linear-logic logic-programming substructural-operational-semantics by robertjohnsimmons on 2009-06-30 16:30:43 as
	Proofs from tests [My Copy] In ISSTA '08: Proceedings of the 2008 international symposium on Software testing and analysis (2008), pp. 3-14. by Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons posted to abstract-interpretation by robertjohnsimmons on 2009-06-30 15:43:59 as along with 1 person mbaluda
	Abstractions of uniform proofs [My Copy] Algebraic and Logic Programming (1996), pp. 224-237. by Paolo Volpe posted to abstract-interpretation backward-chaining forward-chaining logic-programming sequent-calculus weanreview by robertjohnsimmons on 2009-06-30 15:25:09 as

Note: You may cite this page as: http://www.citeulike.org/user/robertjohnsimmons/tag/abstract-interpretation

robertjohnsimmons's tags

All tags in robertjohnsimmons's library

Filter:

Privacy Statement | Terms & Conditions

logic-programming	42
linear-logic	40
forward-chaining	28
functional-programming	24
weanreview	24
program-analysis	20
logical-frameworks	19
saturation	16
categorial-logic	15
metatheory	15
modal-logic	14
backward-chaining	13
focusing	13
abstract-interpretation	12
twelf	12
complexity	12
matching	12
lambda-calculus	12
zipper	11
linguistics	10
unification	10
proof-theory	10
theorem-proving	9
concurrency	9
higher-order-abstract-syntax	9
negation	8
sequent-calculus	8
bunched-logic	8
logic	8
rewriting-logic	7
control-flow	7
resolution	6
display-logic	6
induction	6
substructural-logic	6
process-calculi	6
temporal-logic	5
cut-elimination	5
classical-logic	5
classic-papers-fall09	5
distributed-programming	5
lax-logic	5
linear-terms	5
natural-deduction	5
dependent-types	5
case-analysis	5
polymorphism	4
matching-modulo	4
ordered-logic	4
weighted-logic-programming	4
semantics	4
parsing	4
bisimulation	4
typed-assembly-language	4
implementation	4
security	4
hoare-logic	4
pedagogy	4
binary-decision-diagram	4
refinement-types	4
canonical-forms	4
polarization	4
explicit-substitutions	4
aci	4
design	4
tuple-programming	3
substructural-operational-semantics	3
proof-nets	3
associativity	3
type-inference	3
archproject	3
unification-algorithms	3
parallelism	3
equivalence	3
computability-logic	3
formalize-this	3
rg-2009	3
program-transformation	3
higher-order-logic-programming	3
cost-semantics	3
datatypes	3
logical-framework	3
termination	3
category-theory	3
bidirectional-type-systems	3
structural-induction	3
uniform-proofs	3
isabelle	2
derivative	2
proof-assistants	2
spatial-logic	2
recursion	2
interpreters	2
coq	2
types	2
de-bruijn-index	2
equality	2
kriple-models	2
context-unification	2
stratification	2
classical-linear-logic	2
agda	2
clf	2
linda	2
lollimon	2
denotational-semantics	2
observational-proofs	2
judgmental-reconstruction	2
haskell	2
pattern-matching	2
authorization-logic	2
lazy-computation	2
complexity-chart	2
acl2	2
iterators	2
dynamic-logic	2
logical-relations	2
object-oriented-programming	2
hybrid-logic	2
intersection-types	2
evaluation-contexts	2
contexts	2
fold	2
nonclausal-resolution	2
ludics	2
semigroups	2
probabilistic-programming	2
natural-language	1
program-extraction	1
alfp	1
possible-concertrg-paper	1
standard-ml	1
conservative-extension	1
separate-compilation	1
locally-nameless	1
ironies	1
non-commutative-logic	1
natural-logic	1
monads	1
phase-change-memory	1
teaching-logic	1
nilpotence	1
algebra	1
stack-integrity	1
type-theory	1
regular-worlds	1
inference	1
work-stealing	1
congruence-closure	1
poylmorphism	1
citeulike	1
functional-pearl	1
correctness	1
lisp	1
backtrack	1
incremental-compilation	1
separation-logic	1
incremental-evaluation	1
type-logical-grammar	1
box-proofs	1
stress	1
abstract-containers	1
pure-type-systems	1
skolemization	1
committed-choice	1
coverage-checking	1
definability-theory	1
tabled-logic-programming	1
transactions	1
distributed-consensus	1
constraint-logic-programming	1
horn-clauses	1
full-abstraction	1
flattening	1
dependency-parsing	1
fault-tolerance	1
factored-models	1
core-calculi	1
abstraction	1
calculus-of-constructions	1
static-analysis	1
decision-procedures	1
coinduction	1
hash-consing	1
binding	1
language-design	1
algebraic-logic	1
pcf	1
data-abstraction	1
translating-ordered-logic	1
futures	1
deduction	1
modularity	1
extensionality	1
mismatch	1
fold-unfold	1
church-rosser	1
dram	1
flow-analysis	1
term-observation	1
set-theory	1
graphs	1
graph-algorithms	1
partial-evaluation	1
union-types	1
survey	1
optimization	1
verification	1
categorical-logic	1
equational-unification	1
curry-howard	1
hybrid-systems	1
definitional-reflection	1
semi-naive-evaluation	1
defunctionalization	1
dyna	1
normalization	1
confluence	1
storage	1
nlp	1
java	1
free-variables	1
boolean-algebras	1
compilers	1
omega-rules	1
galois-connections	1
continuations	1
evaluation-order	1
multi-focusing	1
semiring	1
forcing	1
comp-ling	1
spine-form	1
structural-operational-semantics	1
completeness	1
to-appear	1
secd-machine	1
groupoids	1
self-adjusting-computation	1
cirquent-calculus	1
cooperative-learning	1
algol	1
operational-semantics	1
queue-logic	1
power-management	1
yi	1
heyting-algebras	1
greediness	1
proof	1
concurrent-constraint-programming	1