LuaJava - A Scripting Tool for Java
Carlos Cassino, Roberto Ierusalimschy, Noemi Rodriguez · 1999
Abstract onlyNot checked
Software
Filters3 filters applied
29 papersQuestions on this topic
SCR3: towards usability of formal methods
M. Chechik · Proceedings of CASCON'98, December 1998, pp. 177-191 · 1999
Abstract onlyNot checked
Managing Object-Oriented Integration and Regression Testing
Mario Winter · 1999
Abstract onlyNot checked
Events in Property Patterns
M. Chechik, D. Paun · Lecture notes in Computer Science (Proceedings of 6 Spin'99 Workshop) · 1999
Abstract onlyNot checked
A Machine-Independent Debugger--Revisited
David R. Hanson · Software--Practice & Experience, vol. 29, no. 10, 849-862, Aug. 1999 · 1999
Abstract onlyNot checked
Formal Modeling in a Commercial Setting: A Case Study
A. Wong, M. Chechik · 1999
Abstract onlyNot checked
Semantics of Programming Languages: A Tool-Oriented Approach
Jan Heering, Paul Klint · ACM SIGPLAN Notices V. 35(3) March 2000 pp. 39-48 · 1999
Abstract onlyNot checked
An Algebraic Programming Style for Numerical Software and its Optimization
T. B. Dinesh, M. Haveraaen, J. Heering · Scientific Programming 8 (2000) 4 pages 247-259 (Special issue on coordinate-free numerics) · 1999
Abstract onlyNot checked
A Reasonable C++ Wrappered Java Native Interface
Craig Bordelon · 1999
Abstract onlyNot checked
Perpetual Adaptation of Software to Hardware: An Extensible Architecture for Providing Code Optimization as a Central System Service
Thomas Kistler, Michael Franz · 1999
Abstract onlyNot checked
Fast Computational Algorithms for the Discrete Wavelet Transform and Applications of Localized Orthonormal Bases in Signal Classification
Eirik Fossgaard · 1999
Abstract onlyNot checked
A Polymorphic Groundness Analysis of Logic Programs
Lunjin Lu · 1998
Abstract onlyNot checked
Object-Oriented Design of Graph Oriented Data Structures
Maurizio Pizzonia, Giuseppe Di Battista · 1998
Abstract onlyNot checked
Automatic Hardware Synthesis for a Hybrid Reconfigurable CPU Featuring Philips CPLDs
Bernardo Kastrup · 1998
Abstract onlyNot checked
A nested transaction mechanism for LOCUS
Erik T. Mueller, Johanna D. Moore, Gerald J. Popek · 1998
Abstract onlyNot checked
Linguistic Reflection in Java
G. N. C. Kirby, R. Morrison, D. W. Stemple · Software - Practice & Experience 28, 10 (1998) pp 1045-1077 · 1998
Abstract onlyNot checked
Evolving Algebras and Partial Evaluation
Yuri Gurevich, James K. Huggins · In IFIP 13th World Computer Congress 1994, Volume I: Technology and Foundations, eds. B. Pehrson and I. Simon, North-Holland, Amsterdam, 587-592 · 1998
Abstract onlyNot checked
Hyper-Systolic Matrix Multiplication
Thomas Lippert, Nikolay Petkov, Paolo Palazzari et al. · 1998
Abstract onlyNot checked
Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution
James K. Huggins · 1998
Abstract onlyNot checked
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions
Yuri Gurevich, James K. Huggins · Selected papers from CSL'95, ed. H.K. Buening, Springer Lecture Notes in Computer Science 1092, 1996, 266--290 · 1998
Abstract onlyNot checked