• Suche: Termination graphs for Java bytecode

Treffer 1 - 20 von 656

1

Termination Graphs for Java Bytecode
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Brockschmidt, M. ; Otto, C. ; von Essen, C. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE. (6463):17-37

Zeitschrift
Merkliste
2

Termination graphs for Java Bytecode
Marc Brockschmidt ; Carsten Otto ; Christian Von Essen ; et al.
http://verify.rwth-aachen.de/giesl/papers/TerminationGraphs-distribute.pdf.

Fachzeitschrift
Merkliste
4

Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting
Brockschmidt, Marc ; Otto, Carsten ; Brockschmidt, Marc ; et al.

E-Ressource
Merkliste
5

Termination graphs for Java bytecode
Brockschmidt, Marc

54.00
Fachzeitschrift
Merkliste
6

Modular termination proofs of recursive Java Bytecode programs by term rewriting
Marc Brockschmidt ; Carsten Otto ; Jürgen Giesl ; et al.
http://drops.dagstuhl.de/opus/volltexte/2011/3114/pdf/7.pdf.

Java Bytecode term rewriting recursion Digital Object...
Fachzeitschrift
Merkliste
8

Provably correct control flow graphs from Java bytecode programs with exceptions.
Amighi, Afshin ; Gomes, Pedro de Carvalho ; Gurov, Dilian ; et al.
International Journal on Software Tools for Technology Transfer; Nov2016, Vol. 18 Issue 6, p653-684, 32p

JAVA programming languag... COMPUTER programming FLOWGRAPHS SOFTWARE verification COMPUTER simulation
Fachzeitschrift
Merkliste
9

A Termination Analyzer for Java Bytecode Based on Path-Length.
SPOTO, FAUSTO ; MESNARD, FRED ; PAYET, ÉTIENNE
ACM Transactions on Programming Languages & Systems; Mar2010, Vol. 32 Issue 3, p8-8.70, 70p, 9 Diagrams, 8 Charts

JAVA programming languag... COMPUTER software termin... PROGRAMMING language sem... SOFTWARE verification COMPUTER logic CONSTRAINT programming …
Fachzeitschrift
Merkliste
10

COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode.
Albert, Elvira ; Arenas, Puri ; Genaim, Samir ; et al.
Formal Methods for Components & Objects (9783540921875); 2008, p113-132, 20p

Buch
Merkliste
11

J-Viz: Finding algorithmic complexity attacks via graph visualization of Java bytecode.
Alam, Md. Jawaherul ; Goodrich, Michael T. ; Johnson, Timothy
2016 IEEE Symposium on Visualization for Cyber Security (VizSec); 2016, p1-8, 8p

Konferenz
Merkliste
12

Field-sensitive unreachability and non-cyclicity analysis
Scapin, Enrico ; Spoto, Fausto
In Science of Computer Programming 1 December 2014 95 Part 3:359-375

Fachzeitschrift
Merkliste
16

Reachability Analysis of Program Variables.
NIKOLIĆ, ĐURICA ; SPOTO, FAUSTO
ACM Transactions on Programming Languages & Systems; Dec2013, Vol. 35 Issue 4, p14:1-14:68, 68p

ANDROID (Operating syste... JAVA programming languag... PROGRAMMING languages MATHEMATICAL variables MOBILE operating systems
Fachzeitschrift
Merkliste
17

Finch: A System for Evolving Java (Bytecode).
Orlov, Michael ; Sipper, Moshe
Genetic Programming Theory & Practice VIII; 2011, p1-16, 16p

Buch
Merkliste
18

SAT-based termination analysis using monotonicity constraints over the integers.
CODISH, MICHAEL ; GONOPOLSKIY, IGOR ; BEN-AMRAM, AMIR M. ; et al.
Theory & Practice of Logic Programming; Jul2011, Vol. 11 Issue 4/5, p503-520, 18p

MONOTONIC functions CONSTRAINT satisfaction DATA encryption JAVA programming languag... LOGIC programming PROGRAMMING languages
Fachzeitschrift
Merkliste
19

Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode.
Hutchison, David ; Kanade, Takeo ; Kittler, Josef ; et al.
Fundamental Approaches to Software Engineering (9783540712886); 2007, p215-229, 15p

Buch
Merkliste
20

Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode.
Bernardeschi, Cinzia ; De Francesco, Nicoletta
Verification, Model Checking & Abstract Interpretation (9783540436317); 2002, p1-15, 15p

Buch
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter