Sciweavers

2496 search results - page 14 / 500
» Error-detecting properties of languages
Sort
View
PLDI
1995
ACM
14 years 1 months ago
EEL: Machine-Independent Executable Editing
EEL (Executable Editing Library) is a library for building tools to analyze and modify an executable (compiled) program. The systems and languages communities have built many tool...
James R. Larus, Eric Schnarr
CIA
2006
Springer
14 years 1 months ago
Agent-Based Analysis and Support for Incident Management
This paper presents an agent-based approach for error detection in incident management organizations. The approach consists of several parts. First, a formal approach for the speci...
Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur, ...
FM
2009
Springer
127views Formal Methods» more  FM 2009»
14 years 4 months ago
Automated Property Verification for Large Scale B Models
Michael Leuschel, Jérôme Falampin, Fa...
LATA
2010
Springer
14 years 4 months ago
Operator Precedence and the Visibly Pushdown Property
Operator precedence languages, designated as Floyd’s Languages (FL) to honor their inventor, are a classical deterministic context-free family. FLs are known to be a boolean fami...
Stefano Crespi-Reghizzi, Dino Mandrioli