Event-based Program Analysis with DeWiz
Ch. Schaubschlaeger, D. Kranzlmueller, J. Volkert · 2003
Abstract onlyNot checked
Software
Filters2 filters applied
Status
- Not checked
- From publisher notices and Retraction Watch. Not checked means nobody has looked yet.
Year
432 papersQuestions on this topic
Timestamp Based Execution Control for C and Java Programs
Kazutaka Maruyama, Minoru Terada · 2003
Abstract onlyNot checked
The Community Authorization Service: Status and Future
L. Pearlman, V. Welch, I. Foster et al. · 2003
Abstract onlyNot checked
An Abstract Programming System
David A. Plaisted · 2003
Abstract onlyNot checked
Recursive function templates as a solution of linear algebra expressions in C++
Volodymyr Myrnyy · 2003
Abstract onlyNot checked
Postmortem Object Type Identification
Bryan M. Cantrill · 2003
Abstract onlyNot checked
Generic and Efficient Program Monitoring by trace analysis
Erwan Jahier, Mireille Ducass'e · E. Jahier and M. Ducass'e "Generic Program Monitoring by Trace Analysis" in the Theory and Practice of Logic Programming journal, Volume 2 part 4&5, pp 613-645, September 2002, Special Issue Program Development, Cambridge University Press · 2003
Abstract onlyNot checked
Pure Prolog Execution in 21 Rules
Marija Kulas · 2003
Abstract onlyNot checked
The Witness Properties and the Semantics of the Prolog Cut
James H. Andrews · 2002
Abstract onlyNot checked
Design Patterns for Functional Strategic Programming
Ralf Laemmel, Joost Visser · 2002
Abstract onlyNot checked
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator
Michael Leuschel, Jesper Joergensen, Wim Vanhoof et al. · 2002
Abstract onlyNot checked
An Assessment of the Consistency for Software Measurement Methods
R. Asensio Monge, F. Sanchis Marco, F. Torre Cervigon · 2002
Abstract onlyNot checked
Efficient Groundness Analysis in Prolog
Jacob M. Howe, Andy King · 2002
Abstract onlyNot checked
The analysis of the IFPUG method sensitivity
R. Asensio Monge, F. Sanchis Marco, F. Torre Cervigon · 2002
Abstract onlyNot checked
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems
Andree Blotz, Franz Huber, Heiko Loetzbeyer et al. · 2002
Abstract onlyNot checked
Declarative program development in Prolog with GUPU
Ulrich Neumerkel, Stefan Kral · 2002
Abstract onlyNot checked
Three Optimisations for Sharing
Jacob M. Howe, Andy King · 2002
Abstract onlyNot checked
Towards Generic Refactoring
Ralf Laemmel · 2002
Abstract onlyNot checked
Exporting Prolog source code
Nicos Angelopoulos · 2002
Abstract onlyNot checked
The Sketch of a Polymorphic Symphony
Ralf Laemmel · 2002
Abstract onlyNot checked