1359 search results - page 45 / 272 » Black-Box Program Specialization |
COLT
1995
Springer
14 years 7 days ago
1995
Springer
In this paper, we study PAC-leaming algorithms for specialized classes of deterministic finite automata (DFA). Inpartictdar, we study branchingprogrsms, and we investigate the int...
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
Over the past decade, it has been established that a good education in software engineering requires a specialized program of study different from traditional computer science prog...
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
The paper describes a library supporting effective programming and design of matrix algorithms and programs. The important feature of proposed library is the visual algorithm repr...
PADL
2004
Springer
14 years 2 months ago
2004
Springer
An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a typepreserving XML–Haskell data binding that handles docume...
ACMSE
2008
ACM
13 years 10 months ago
2008
ACM
Using a problem domain motivated by Bentley's"Little Languages" column [1], this paper explores the use of the Ruby programming language's flexible syntax, dyn...