Programming Languages

Authors and titles for October 1998

[1] arXiv:cs/9810010 [pdf, other]

Title: C++ Templates as Partial Evaluation

Todd L. Veldhuizen

Comments: 13 pages

Subjects: Programming Languages (cs.PL); Performance (cs.PF)

[2] arXiv:cs/9810013 [pdf, other]

Title: Early Experience with ASDL in lcc

David R. Hanson

Comments: 16 pages, 12 figures

Journal-ref: Software--Practice & Experience, vol. 29, no. 5, 417-435, Apr. 1999

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[3] arXiv:cs/9810027 [pdf, other]

Title: Linguistic Reflection in Java

G. N. C. Kirby, R. Morrison, D. W. Stemple

Comments: 25 pages. Source code for examples at this http URL Dynamic compilation package at this http URL

Journal-ref: Software - Practice & Experience 28, 10 (1998) pp 1045-1077

Subjects: Programming Languages (cs.PL)

[4] arXiv:cs/9810001 (cross-list from cs.LO) [pdf, other]

Title: On Dart-Zobel Algorithm for Testing Regular Type Inclusion

Lunjin Lu, John G. Cleary

Comments: 16 pages

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[5] arXiv:cs/9810018 (cross-list from cs.AI) [pdf, other]

Title: A Proof Theoretic View of Constraint Programming

Krzysztof R. Apt

Comments: 25 pages

Journal-ref: Fundamenta Informaticae 34(1998), pp. 295-321

Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

[6] arXiv:math/9810022 (cross-list from math.NA) [pdf, other]

Title: Active Libraries: Rethinking the roles of compilers and libraries

Todd L. Veldhuizen, Dennis Gannon

Comments: 16 pages, 1998 SIAM Workshop on Object Oriented Methods for Inter-operable Scientific and Engineering Computing

Subjects: Numerical Analysis (math.NA); Programming Languages (cs.PL)