7430 search results - page 684 / 1486 » Programming Applications in CIFF |
216
click to vote
PPDP
2005
Springer
16 years 26 days ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
204
click to vote
PLDI
2004
ACM
16 years 24 days ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
213
click to vote
EUROCRYPT
2004
Springer
16 years 23 days ago
2004
Springer
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...
225
click to vote
BIRTHDAY
2003
Springer
16 years 18 days ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
191
click to vote
PLDI
1998
ACM
15 years 11 months ago
1998
ACM
This paper presents a typed programming language and compiler for run-time code generation. The language, called ML2, extends ML with modal operators in the style of the Mini-ML2 ...