An abstract interpretation approach for enhancing the java bytecode verifier /

QR-Code

An abstract interpretation approach for enhancing the java bytecode verifier /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Barbuti, Roberto.
Weitere Verfasser:	Francesco, Nicoletta De., Tesei, Luca.
Format:	Artikel
Sprache:	English
Schlagworte:	Abstract interpretation Bytecode verifier Java bytecode
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Ähnliche Einträge

Detecting common modules in java packages based on static object trace birthmark /

Book of abstracts
Veröffentlicht: (2005)

Fundamentals of Java Programming
von: Ogihara, Mitsunori
Veröffentlicht: (2020)

Enhancing practitioner knowledge through a unique abstracting format used with research on social work practice journal articles /
von: Holosko, Michael J.

Introduction to indexing and abstracting
von: Cleveland, Donald B.
Veröffentlicht: (2001)

Applied abstract algebra /
von: Lidl, Rudolf.
Veröffentlicht: (1998)

Practical Java Machine Learning
von: Wickham, Mark
Veröffentlicht: (2020)

Beginning EJB in Java EE 8
von: Wetherbee, Jonathan, et al.
Veröffentlicht: (2020)

Topics in applied abstract algebra
von: S. R. Nagpaul
Veröffentlicht: (2005)

Advanced indexing and abstracting practices
von: Parekh, L. R.
Veröffentlicht: (2000)

Biological abstracts :
Veröffentlicht: (1997)

Biological abstracts :
Veröffentlicht: (1997)

Scala for Java Developers. 1st ed.
von: Weston, Toby
Veröffentlicht: (2020)

Abstract algebra: the basic graduate year
von: Ash, Robert B.
Veröffentlicht: (2009)

A first course in abstract algebra
von: Fraleigh, John B.
Veröffentlicht: (2003)

Abstracting practices in libraries
Veröffentlicht: (2001)

Sémantique interprétative
von: Francois Rastier
Veröffentlicht: (1987)

Data abstraction and problem solving with Java :
von: Carrano, Frank M.
Veröffentlicht: (2005)

Verified Software. Theories, Tools, and Experiments
von: Chakraborty, Supratik, et al.
Veröffentlicht: (2020)

Library indexing and abstracting
Veröffentlicht: (2001)

Interactive Object-Oriented Programming in Java
von: Sarcar, Vaskaran
Veröffentlicht: (2020)

Program analysis probably counts /
von: Pierro, Alessandra Di.

Digital abstract & macro photography
von: Milburn, Ken
Veröffentlicht: (2005)

Java 9 Recipes. 3rd ed.
von: Juneau, Josh
Veröffentlicht: (2020)

Java 9 Revealed. 1st ed.
von: Sharan, Kishori
Veröffentlicht: (2020)

Zk-Cred: A Decentralized, Privacy-Preserving Credit Scoring Protocol
von: Pham, Vu Thu Nguyet, et al.
Veröffentlicht: (2026)

Interpreting 2 /Phiên dịch 2
von: Khoa tiếng Anh

Heuristic-guided abstraction refinement /

Java in Two Semesters. 4th ed.
von: Charatan, Quentin, et al.
Veröffentlicht: (2020)

Program develoment in Java: Abstraction, specification, and object-oriented design
von: Barbara Liskov
Veröffentlicht: (2000)

Interpreting and translation coursebook
Veröffentlicht: (1997)

Abstract and macro photography
von: Milburn, Ken
Veröffentlicht: (2005)

Ellipsis in abstracts of business journal articles in english and vietnamese
von: Nguyễn Thị Thanh Nga
Veröffentlicht: (2025)

Interpreting American Drama
von: Đinh Minh Hiền
Veröffentlicht: (2002)

Interpreting American Poetry
von: Đinh Minh Hiền
Veröffentlicht: (2002)

Interpretation 1
von: Nguyễn, Thị Thảo Hiền
Veröffentlicht: (2025)

Abstracts of M. S. theses and PH. D. dissertations(1970 - 1978) of searca scholarts at the university of the Philippinesat los banos (UPLB)
Veröffentlicht: (1979)

Introducing interpreting studies
von: Pöchhacker, Franz
Veröffentlicht: (2016)

Concrete abstractions : an introduction to computer science using scheme /
von: Hailperin, Max.
Veröffentlicht: (1999)

Interpreting Spanish :
von: McFall, Ann
Veröffentlicht: (2001)