Sciweavers

249 search results - page 11 / 50
» Polymorphic Binding-Time Analysis
Sort
View
IE
2007
13 years 9 months ago
Capturing polymorphic creations: towards ontological heterogeneity and transmodiology
This paper addresses the vast practice encompassed under the placeholder term polymorphic creations: contemporary tie-ins, pervasive gaming, telematic arts and so on. A position i...
Christy Dena
LICS
1999
IEEE
13 years 11 months ago
Region Analysis and the Polymorphic Lambda Calculus
Anindya Banerjee, Nevin Heintze, Jon G. Riecke
IFL
2000
Springer
103views Formal Methods» more  IFL 2000»
13 years 11 months ago
A Usage Analysis with Bounded Usage Polymorphism and Subtyping
Jörgen Gustavsson, Josef Svenningsson
ICSE
2008
IEEE-ACM
14 years 7 months ago
LISABETH: automated content-based signature generator for zero-day polymorphic worms
Modern worms can spread so quickly that any countermeasure based on human reaction might not be fast enough. Recent research has focused on devising algorithms to automatically pr...
Lorenzo Cavallaro, Andrea Lanzi, Luca Mayer, Matti...