arXiv 2000-10-10 EN Towards rule-based visual programming of generic visual systems Hoffmann, Berthold · Minas, Mark
arXiv 2000-10-03 EN An Approach to the Implementation of Overlapping Rules in Standard ML Pucella, Riccardo
arXiv 2000-09-29 EN From Syntactic Theories to Interpreters: A Specification Language and Its Compilation Xiao, Yong · Ariola, Zena M. · Mauny, Michel
arXiv 2000-07-13 EN Polynomial-time Computation via Local Inference Relations Givan, Robert · McAllester, David
arXiv 2000-07-03 EN Constraint Exploration and Envelope of Simulation Trajectories Teran, Oswaldo · Edmonds, Bruce · Wallis, Steve
arXiv 2000-06-26 EN Type Classes and Constraint Handling Rules Glynn, Kevin · Sulzmann, Martin · Stuckey, Peter J.
arXiv 2000-05-19 EN C++ programming language for an abstract massively parallel SIMD architecture Lonardo, Alessandro · Panizzi, Emanuele · Proietti, Benedetto
arXiv 2000-05-03 EN Application Software, Domain-Specific Languages, and Language Design Assistants Heering, Jan
arXiv 2000-04-17 EN On Redundancy Elimination Tolerant Scheduling Rules Ferrucci, F. · Pacini, G. · Sessa, M. I.
arXiv 2000-04-05 EN Programming in Alma-0, or Imperative and Declarative Programming Reconciled Apt, Krzysztof R. · Schaerf, Andrea
arXiv 2000-03-24 EN Constraint Programming viewed as Rule-based Programming Apt, Krzysztof R. · Monfroy, Eric
arXiv 2000-03-17 EN A Polyvariant Binding-Time Analysis for Off-line Partial Deduction Bruynooghe, Maurice · Leuschel, Michael · Sagonas, Konstantinos
arXiv 2000-03-14 EN Reasoning with Higher-Order Abstract Syntax in a Logical Framework McDowell, Raymond C. · Miller, Dale A.
arXiv 2000-02-27 EN SLT-Resolution for the Well-Founded Semantics Shen, Yi-Dong · Yuan, Li-Yan · You, Jia-Huai
