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

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/..

3

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/..

4

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/..

5

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/..

6

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/..

7

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/..

8

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/..

9

In memoriam Paris C. Kanellakis:

Abiteboul, Serge ; Kuper, Gabriel M. ; Mairson, Harry G...
ACM Computing Surveys (CSUR). 28 (1996) 1 - p. 3-15 , 1996

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

10

Optimality and inefficiency: what isn't a cost model of the..:

Lawall, Julia L. ; Mairson, Harry G.
ACM SIGPLAN Notices. 31 (1996) 6 - p. 92-101 , 1996

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

11

IN MEMORIAM Paris C. Kanellakis (1953–1995):

Abiteboul, Serge ; Kuper, Gabriel M. ; Mairson, Harry G...
Journal of Algorithms. 20 (1996) 2 - p. 203-204 , 1996

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

12

In memoriam Paris C. Kanellakis:

Abiteboul, Serge ; Kuper, Gabriel M. ; Mairson, Harry G...
ACM Computing Surveys. 28 (1996) 1 - p. 3-15 , 1996

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

13

Database Query Languages Embedded in the Typed Lambda Calcu..:

Hillebrand, Gerd G. ; Kanellakis, Paris C. ; Mairson, Harry G.
Information and Computation. 127 (1996) 2 - p. 117-144 , 1996

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

14

Undecidable boundedness problems for datalog programs:

Hillebrand, Gerd G ; Kanellakis, Paris C ; Mairson, Harry G.
The Journal of Logic Programming. 25 (1995) 2 - p. 163-190 , 1995

Link: https://doi.org/10.1016/..

15

Generating words in a context-free language uniformly at ra..:

Mairson, Harry G.
Information Processing Letters. 49 (1994) 2 - p. 95-99 , 1994

Link: https://doi.org/10.1016/..