An abstract interpretation approach for enhancing the java bytecode verifier /

Mã QR

An abstract interpretation approach for enhancing the java bytecode verifier /

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Barbuti, Roberto.
Tác giả khác:	Francesco, Nicoletta De., Tesei, Luca.
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Abstract interpretation Bytecode verifier Java bytecode
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

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

Book of abstracts
Được phát hành: (2005)

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

Fundamentals of Java Programming
Bỡi: Ogihara, Mitsunori
Được phát hành: (2020)

Practical Java Machine Learning
Bỡi: Wickham, Mark
Được phát hành: (2020)

Introduction to indexing and abstracting
Bỡi: Cleveland, Donald B.
Được phát hành: (2001)

Applied abstract algebra /
Bỡi: Lidl, Rudolf.
Được phát hành: (1998)

Beginning EJB in Java EE 8
Bỡi: Wetherbee, Jonathan, et al.
Được phát hành: (2020)

Topics in applied abstract algebra
Bỡi: S. R. Nagpaul
Được phát hành: (2005)

Advanced indexing and abstracting practices
Bỡi: Parekh, L. R.
Được phát hành: (2000)

Biological abstracts :
Được phát hành: (1997)

Biological abstracts :
Được phát hành: (1997)

Scala for Java Developers. 1st ed.
Bỡi: Weston, Toby
Được phát hành: (2020)

Abstract algebra: the basic graduate year
Bỡi: Ash, Robert B.
Được phát hành: (2009)

Sémantique interprétative
Bỡi: Francois Rastier
Được phát hành: (1987)

A first course in abstract algebra
Bỡi: Fraleigh, John B.
Được phát hành: (2003)

Abstracting practices in libraries
Được phát hành: (2001)

Verified Software. Theories, Tools, and Experiments
Bỡi: Chakraborty, Supratik, et al.
Được phát hành: (2020)

Data abstraction and problem solving with Java :
Bỡi: Carrano, Frank M.
Được phát hành: (2005)

Library indexing and abstracting
Được phát hành: (2001)

Interactive Object-Oriented Programming in Java
Bỡi: Sarcar, Vaskaran
Được phát hành: (2020)

Digital abstract & macro photography
Bỡi: Milburn, Ken
Được phát hành: (2005)

Java 9 Recipes. 3rd ed.
Bỡi: Juneau, Josh
Được phát hành: (2020)

Java 9 Revealed. 1st ed.
Bỡi: Sharan, Kishori
Được phát hành: (2020)

Program analysis probably counts /
Bỡi: Pierro, Alessandra Di.

Interpreting and translation coursebook
Được phát hành: (1997)

Program develoment in Java: Abstraction, specification, and object-oriented design
Bỡi: Barbara Liskov
Được phát hành: (2000)

Heuristic-guided abstraction refinement /

Java in Two Semesters. 4th ed.
Bỡi: Charatan, Quentin, et al.
Được phát hành: (2020)

Abstract and macro photography
Bỡi: Milburn, Ken
Được phát hành: (2005)

Introducing interpreting studies
Bỡi: Pöchhacker, Franz
Được phát hành: (2016)

Abstracts of M. S. theses and PH. D. dissertations(1970 - 1978) of searca scholarts at the university of the Philippinesat los banos (UPLB)
Được phát hành: (1979)

Java
Bỡi: Phương Lan
Được phát hành: (2004)

Interpreting Spanish :
Bỡi: McFall, Ann
Được phát hành: (2001)

Course Notes on the Interpretation of Infrared and Raman Spectra /
Bỡi: W. Mayo Dana
Được phát hành: (2004)

Advances in interpreting research : inquiry in action
Bỡi: Benjamins
Được phát hành: (2015)

Java Closures and Lambda
Bỡi: Fischer, Robert
Được phát hành: (2015)

Interpretation :
Bỡi: Nolan, James
Được phát hành: (2005)

Java How to Program /
Bỡi: Deitel Harvey M.
Được phát hành: (2001)

Consecutive Interpreting. 1st ed. 2018
Bỡi: Kozin, Alexander V.
Được phát hành: (2020)