E-LIB Suche - Ergebnisse für: Mairson, Harry G.

1

DecidingkCFA is complete for EXPTIME:

Van Horn, David ; Mairson, Harry G.
ACM SIGPLAN Notices. 43 (2008) 9 - p. 275-282 , 2008

Link: https://doi.org/10.1145/..

2

Deciding kCFA is complete for EXPTIME:

, In: Proceedings of the 13th ACM SIGPLAN international conference on Functional programming,

Van Horn, David ; Mairson, Harry G. - p. 275-282 , 2008

Link: https://dl.acm.org/doi/1..

3

Relating complexity and precision in control flow analysis:

, In: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming,

Van Horn, David ; Mairson, Harry G. - p. 85-96 , 2007

Link: https://dl.acm.org/doi/1..

4

Relating complexity and precision in control flow analysis:

Van Horn, David ; Mairson, Harry G.
ACM SIGPLAN Notices. 42 (2007) 9 - p. 85-96 , 2007

Link: https://doi.org/10.1145/..

5

Types, potency, and idempotency : why nonlinearity and a..:

, In: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming,

Neergaard, Peter Møller ; Mairson, Harry G. - p. 138-149 , 2004

Link: https://dl.acm.org/doi/1..

6

FUNCTIONAL PEARL Linear lambda calculus and PTIME-completen..:

MAIRSON, HARRY G.
Journal of Functional Programming. 14 (2004) 6 - p. 623-633 , 2004

Link: https://doi.org/10.1017/..

7

Types, potency, and idempotency: why nonlinearity and amnes..:

Neergaard, Peter Møller ; Mairson, Harry G.
ACM SIGPLAN Notices. 39 (2004) 9 - p. 138-149 , 2004

Link: https://doi.org/10.1145/..

8

From Hilbert space to Dilbert space : context semantics ..:

, In: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming,

Mairson, Harry G. - p. 125 ff. , 2003

Link: https://dl.acm.org/doi/1..

9

From Hilbert space to Dilbert space: context semantics as a..:

Mairson, Harry G.
ACM SIGPLAN Notices. 38 (2003) 9 - p. 125-125 , 2003

Link: https://doi.org/10.1145/..

10

In Memoriam : Paris C. Kanellakis:

, In: Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday,

Abiteboul, Serge ; Kuper, Gabriel M. ; Mairson, Harry G... - p. 1-8 , 2003

Link: https://dl.acm.org/doi/1..

11

Parallel Beta Reduction Is Not Elementary Recursive:

Asperti, Andrea ; Mairson, Harry G.
Information and Computation. 170 (2001) 1 - p. 49-80 , 2001

Link: https://doi.org/10.1006/..

12

Relating typability and expressiveness in finite-rank inter..:

Kfoury, Assaf J. ; Mairson, Harry G. ; Turbak, Franklyn A..
ACM SIGPLAN Notices. 34 (1999) 9 - p. 90-101 , 1999

Link: https://doi.org/10.1145/..

13

Relating typability and expressiveness in finite-rank inter..:

, In: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming,

Kfoury, Assaf J. ; Mairson, Harry G. ; Turbak, Franklyn A.. - p. 90-101 , 1999

Link: https://dl.acm.org/doi/1..

14

Parallel beta reduction is not elementary recursive:

, In: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Asperti, Andrea ; Mairson, Harry G. - p. 303-315 , 1998

Link: https://dl.acm.org/doi/1..

15

On global dynamics of optimal graph reduction:

Lawall, Julia L. ; Mairson, Harry G.
ACM SIGPLAN Notices. 32 (1997) 8 - p. 188-195 , 1997

Link: https://doi.org/10.1145/..