5090 search results - page 343 / 1018 » Constructing Strategies for Programming |
135
click to vote
ML
2007
ACM
15 years 4 months ago
2007
ACM
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
141
click to vote
SCAM
2006
IEEE
15 years 11 months ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
156
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
Meta-programming is a discipline of writing programs in a certain programming language that generate, manipulate or execute programs written in another language. In a typed settin...
190
click to vote
ICFP
2001
ACM
16 years 5 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
170
click to vote
CIE
2010
Springer
15 years 10 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...