Sciweavers

1359 search results - page 31 / 272
» Black-Box Program Specialization
Sort
View
CSEE
1994
Springer
14 years 22 days ago
A Five Year Perspective on Software Engineering Graduate Programs at George Mason University
This paper describes the experience obtained at George Mason University while developing a Master of Science program in software engineering. To date, the program has graduated ov...
Paul Ammann, Hassan Gomaa, A. Jefferson Offutt, Da...
INFORMATICALT
2000
82views more  INFORMATICALT 2000»
13 years 8 months ago
Some Grammatical Structures of Programming Languages as Simple Bracketed Languages
Abstract. We consider in this paper so called simple bracketed languages having special limitations. They are sometimes used for the definitions of some grammatical structures of p...
Boris Melnikov, Elena Kashlakova
IFIP
1994
Springer
14 years 22 days ago
Evolving Algebras
We describe the architecture of an evolving algebra partial evaluator, a program which specializes an evolving algebra with respect to a portion of its input. We discuss the parti...
Yuri Gurevich
PADL
2004
Springer
14 years 2 months ago
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
Martin Erwig, Zhe Fu
SODA
2000
ACM
120views Algorithms» more  SODA 2000»
13 years 10 months ago
Minimum ratio canceling is oracle polynomial for linear programming, but not strongly polynomial, even for networks
This paper shows that the minimum ratio canceling algorithm of Wallacher (1989) (and a faster relaxed version) can be generalized to an algorithm for general linear programs with ...
S. Thomas McCormick, Akiyoshi Shioura