Sciweavers

10912 search results - page 456 / 2183
» Object-Oriented Programming Languages
Sort
View
ISORC
2002
IEEE
15 years 11 months ago
Program Instrumentation for Debugging and Monitoring with AspectC++
Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...
Daniel Mahrenholz, Olaf Spinczyk, Wolfgang Schr&ou...
185
Voted
AFP
2008
Springer
252views Formal Methods» more  AFP 2008»
16 years 1 months ago
Dependently Typed Programming in Agda
Ulf Norell
VL
2000
IEEE
136views Visual Languages» more  VL 2000»
15 years 11 months ago
A Data-Flow Visual Approach to Symbolic Computing: Implementing a Production-Rule-Based Programming System through a General-Pur
The main aim of this paper is to investigate how the production-rule-based computational paradigm can be implemented through visual data-flow techniques. We propose a simple yet e...
Mauro Mosconi, Marco Porta