E-LIB Suche - Ergebnisse für: Stansifer, Ryan D.

1

Proceedings of the Principles and Practices of Programming ..:

Stansifer, Ryan ; Krall, Andreas , 2015

2

"Stacking the Deck" Attack on Software Updates : Solutio..:

, In: Proceedings of the 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Volume 02,

Alhamed, Khalid ; Silaghi, Marius C. ; Hussien, Ihsan.. - p. 293-300 , 2013

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

3

Higher-order functional programming and wildcards in java:

, In: Proceedings of the 45th annual ACM Southeast Conference,

Sridranop, Nattawut ; Stansifer, Ryan - p. 42-46 , 2007

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

4

Polymorphic type inference for the relational algebra in th..:

, In: Proceedings of the 44th annual ACM Southeast Conference,

Nagy, Lajos ; Stansifer, Ryan - p. 673-678 , 2006

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

5

Supporting debates over citizen initiatives:

, In: Proceedings of the 2005 national conference on Digital government research,

Kattamuri, Kishore ; Silaghi, Marius ; Kaner, Cem.. - p. 279-280 , 2005

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

6

Adding polymorphic tuples and lists to the syntax of Java:

, In: Proceedings of the 42nd annual ACM Southeast Conference,

Sridranop, Nattawut ; Stansifer, Ryan - p. 255-260 , 2004

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

7

Type reconstruction for coercion polymorphism:

, In: Proceedings of the 1994 ACM symposium on Applied computing,

Stansifer, Ryan ; Wetklow, Dan - p. 420-424 , 1994

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

8

Modeling concurrent programs with colored Petri nets:

Stansifer, Ryan ; Beaven, Mike ; Marinescu, Dan C
Journal of Systems and Software. 26 (1994) 2 - p. 129-148 , 1994

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

9

Book Review: Semantics of Programming Languages: Structures..:

Stansifer, Ryan
ACM SIGACT News. 24 (1993) 1 - p. 28-29 , 1993

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

10

Method reuse in typed object-oriented languages:

, In: Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice,

Stansifer, Ryan ; Wetklow, Dan - p. 63-70 , 1993

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

11

Book Review: Semantics of Programming Languages: Structures..:

Stansifer, Ryan
ACM SIGACT News. 24 (1993) 1 - p. 28-29 , 1993

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

12

Explaining type errors in polymorphic languages:

Beaven, Mike ; Stansifer, Ryan
ACM Letters on Programming Languages and Systems. 2 (1993) 1-4 - p. 17-30 , 1993

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

13

Explaining type errors in polymorphic languages:

Beaven, Mike ; Stansifer, Ryan
ACM Letters on Programming Languages and Systems (LOPLAS). 2 (1993) 1-4 - p. 17-30 , 1993

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

14

A formal algorithmic model compatible with the conceptual m..:

Bailey Jr., Andrew D. ; Han, Kyeong S. ; Stansifer, Ryan D..
Accounting, Management and Information Technologies. 2 (1992) 2 - p. 57-76 , 1992

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

15

The calculation of Easter:

Stansifer, Ryan
ACM SIGPLAN Notices. 27 (1992) 12 - p. 61-65 , 1992

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