2477 search results - page 210 / 496 » First-Order Interactive Programming |
IWPC
2006
IEEE
14 years 3 months ago
2006
IEEE
Code obfuscation makes it harder for a security analyst to understand the malicious payload of a program. In most cases an analyst needs to study the program at the machine code l...
HASKELL
2006
ACM
14 years 3 months ago
2006
ACM
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...
IFIP
1999
Springer
14 years 1 months ago
1999
Springer
: The field of Virtual Environments (VEs) is rapidly evolving into a new means of communication and accessing information, likely to overcome many existent technologies. However, b...
ECOOP
1998
Springer
14 years 1 months ago
1998
Springer
Framework optimizations capitalize on object dependencies, while framework flexibility and composability demand object independence. This paper shows how to balance these conflicti...
ICFP
1996
ACM
14 years 1 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...