Document Search Results

Newest Citations Relevance

Arceri, Vincenzo; Olliaro, Martina; Cortesi, Agostino; Ferrara, Pietro

Relational string abstract domains. (English) Zbl 1498.68070

Finkbeiner, Bernd (ed.) et al., Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13182, 20-42 (2022).

MSC: 68N30

Cite Review PDF

Full Text: DOI

Colvin, Robert J.

An operational semantics for object-oriented concepts based on the class hierarchy. (English) Zbl 1342.68057

Formal Asp. Comput. 26, No. 3, 491-535 (2014).

MSC: 68N19 68Q55 68Q85

Cite Review PDF

Full Text: DOI

Dissegna, Stefano; Logozzo, Francesco; Ranzato, Francesco

Tracing compilation by abstract interpretation. (English) Zbl 1284.68177

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 47-59 (2014).

MSC: 68N30 68Q60 68Q55 68N20

Cite Review PDF

Full Text: DOI

Spoto, Fausto; Payet, Étienne

Magic-sets for localised analysis of Java bytecode. (English) Zbl 1244.68052

High.-Order Symb. Comput. 23, No. 1, 29-86 (2010).

Reviewer: Luigi Palopoli (Rende)

MSC: 68Q55 68N30 68N19

Cite Review PDF

Full Text: DOI HAL

Logozzo, Francesco

Cibai: An abstract interpretation-based static analyzer for modular analysis and verification of Java classes. (English) Zbl 1132.68329

Cook, Byron (ed.) et al., Verification, model checking, and abstract interpretation. 8th international conference, VMCAI 2007, Nice, France, January 14–16, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-69735-0/pbk). Lecture Notes in Computer Science 4349, 283-298 (2007).

MSC: 68N19 68Q55

Cite Review PDF

Full Text: DOI

Found 5 Documents (Results 1–5)

Relational string abstract domains. (English) Zbl 1498.68070

An operational semantics for object-oriented concepts based on the class hierarchy. (English) Zbl 1342.68057

Tracing compilation by abstract interpretation. (English) Zbl 1284.68177

Magic-sets for localised analysis of Java bytecode. (English) Zbl 1244.68052

Cibai: An abstract interpretation-based static analyzer for modular analysis and verification of Java classes. (English) Zbl 1132.68329

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field

Software