Sciweavers

5810 search results - page 249 / 1162
» An Approach to Programming Based on Concepts
Sort
View
COMPSAC
2007
IEEE
16 years 25 days ago
Visualization of Concurrent Program Executions
Various program analysis techniques are efficient at discovering failures and properties. However, it is often difficult to evaluate results, such as program traces. ls for abst...
Cyrille Artho, Klaus Havelund, Shinichi Honiden
COMSIS
2006
99views more  COMSIS 2006»
15 years 6 months ago
A Structure Editor for the Program Composing Assistant
The Program Composing Assistant is an interactive generic development environment dedicated to programming languages. It provides a structure editor with graphical user interface a...
Zorica Suvajdzin, Miroslav Hajdukovic
ICLP
2005
Springer
16 years 3 hour ago
Techniques for Scaling Up Analyses Based on Pre-interpretations
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...
John P. Gallagher, Kim S. Henriksen, Gourinath Ban...
CD
2004
Springer
15 years 12 months ago
Customizing Component-Based Architectures by Contract
This paper presents an approach to describe, deploy and manage component-based applications having dynamic functional and non-functional requirements. The approach is centered on a...
Orlando Loques, Alexandre Sztajnberg
VL
2006
IEEE
125views Visual Languages» more  VL 2006»
16 years 15 days ago
The Visula programming language and environment
Visula is a general-purpose object-oriented visual programming language (VPL). The language uses a new approach, by basing its notation upon UML sequence diagrams, instead of trad...
Calum Grant