Sciweavers

10575 search results - page 427 / 2115
» Programming Languages
Sort
View
ICFP
2006
ACM
16 years 7 months ago
Towards an automatic complexity analysis for generic programs
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
Kyle D. Ross
ICFP
1999
ACM
15 years 12 months ago
Calling Hell From Heaven and Heaven From Hell
The increasing popularity of component-based programming tools offer a big opportunity to designers of advanced programming languages, such as Haskell. If we can package our progr...
Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon L....
OOPSLA
2007
Springer
16 years 1 months ago
No ifs, ands, or buts: uncovering the simplicity of conditionals
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
Jonathan Edwards
WCRE
2005
IEEE
16 years 1 months ago
Symbolic Interpretation of Legacy Assembly Language
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. Fro...
Jacques Carette, Pulak Kumar Chowdhury
POPL
2005
ACM
16 years 8 months ago
A probabilistic language based upon sampling functions
As probabilistic computations play an increasing role in solving various problems, researchers have designed probabilistic languages that treat probability distributions as primit...
Sungwoo Park, Frank Pfenning, Sebastian Thrun