Sciweavers

CAV
2011
Springer
365views Hardware» more  CAV 2011»
12 years 9 months ago
BAP: A Binary Analysis Platform
Abstract. BAP is a publicly available infrastructure for performing program verification and analysis tasks on binary (i.e., executable) code. In this paper, we describe BAP as we...
David Brumley, Ivan Jager, Thanassis Avgerinos, Ed...
MEMOCODE
2010
IEEE
13 years 3 months ago
Compilation of imperative synchronous programs with refined clocks
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
Mike Gemunde, Jens Brandt, Klaus Schneider
ENTCS
2007
107views more  ENTCS 2007»
13 years 5 months ago
Formal Translation of Bytecode into BoogiePL
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
Hermann Lehner, Peter Müller
ENTCS
2007
101views more  ENTCS 2007»
13 years 5 months ago
From Functional Programs to Interaction Nets via the Rewriting Calculus
We use the ρ-calculus as an intermediate language to compile functional languages with pattern-matching features, and give an interaction net encoding of the ρ-terms arising fro...
Horatiu Cirstea, Germain Faure, Maribel Fern&aacut...
ENTCS
2006
146views more  ENTCS 2006»
13 years 5 months ago
Strong Update, Disposal, and Encapsulation in Bunched Typing
We present a bunched intermediate language for strong (type-changing) update and disposal of first-order references. In contrast to other substructural type systems, the additive ...
Josh Berdine, Peter W. O'Hearn
FUIN
2008
101views more  FUIN 2008»
13 years 5 months ago
Translation of Intermediate Language to Timed Automata with Discrete Data
The aim of this work is to describe the translation from Intermediate Language, one of the input formalisms of the model checking platform VerICS, to timed automata with discrete d...
Agata Janowska, Pawel Janowski, Dobieslaw Wr&oacut...
ENTCS
2008
98views more  ENTCS 2008»
13 years 5 months ago
An Intermediate Language for the Simulation of Biological Systems
We propose String MultiSet Rewriting (SMSR) as an intermediate language for simulation of biomolecular systems. Higher level formalisms for biological systems description can be t...
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo...
ICFP
2010
ACM
13 years 5 months ago
A certified framework for compiling and executing garbage-collected languages
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
Andrew McCreight, Tim Chevalier, Andrew P. Tolmach
EON
2003
13 years 6 months ago
Evaluation experiment of ontology tools' interoperability with the WebODE ontology engineering workbench
This paper presents the results of the interoperability experiment proposed in EON2003, using the following ontology tools: Protégé-2000 and WebODE. We will show which knowledge ...
Óscar Corcho, Asunción Gómez-...
TIC
2000
Springer
110views System Software» more  TIC 2000»
13 years 9 months ago
Program Representation Size in an Intermediate Language with Intersection and Union Types
Abstract. The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both te...
Allyn Dimock, Ian Westmacott, Robert Muller, Frank...