An abstract interpretation approach for enhancing the java bytecode verifier /

QR code

An abstract interpretation approach for enhancing the java bytecode verifier /

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Barbuti, Roberto.
Andere auteurs:	Francesco, Nicoletta De., Tesei, Luca.
Formaat:	Artikel
Taal:	English
Onderwerpen:	Abstract interpretation Bytecode verifier Java bytecode
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

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

Gelijkaardige items

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

Book of abstracts
Gepubliceerd in: (2005)

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

Fundamentals of Java Programming
door: Ogihara, Mitsunori
Gepubliceerd in: (2020)

Introduction to indexing and abstracting
door: Cleveland, Donald B.
Gepubliceerd in: (2001)

Applied abstract algebra /
door: Lidl, Rudolf.
Gepubliceerd in: (1998)

Practical Java Machine Learning
door: Wickham, Mark
Gepubliceerd in: (2020)

Beginning EJB in Java EE 8
door: Wetherbee, Jonathan, et al.
Gepubliceerd in: (2020)

Topics in applied abstract algebra
door: S. R. Nagpaul
Gepubliceerd in: (2005)

Advanced indexing and abstracting practices
door: Parekh, L. R.
Gepubliceerd in: (2000)

Biological abstracts :
Gepubliceerd in: (1997)

Biological abstracts :
Gepubliceerd in: (1997)

Scala for Java Developers. 1st ed.
door: Weston, Toby
Gepubliceerd in: (2020)

Abstract algebra: the basic graduate year
door: Ash, Robert B.
Gepubliceerd in: (2009)

A first course in abstract algebra
door: Fraleigh, John B.
Gepubliceerd in: (2003)

Abstracting practices in libraries
Gepubliceerd in: (2001)

Sémantique interprétative
door: Francois Rastier
Gepubliceerd in: (1987)

Data abstraction and problem solving with Java :
door: Carrano, Frank M.
Gepubliceerd in: (2005)

Verified Software. Theories, Tools, and Experiments
door: Chakraborty, Supratik, et al.
Gepubliceerd in: (2020)

Library indexing and abstracting
Gepubliceerd in: (2001)

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

Interactive Object-Oriented Programming in Java
door: Sarcar, Vaskaran
Gepubliceerd in: (2020)

Digital abstract & macro photography
door: Milburn, Ken
Gepubliceerd in: (2005)

Java 9 Recipes. 3rd ed.
door: Juneau, Josh
Gepubliceerd in: (2020)

Java 9 Revealed. 1st ed.
door: Sharan, Kishori
Gepubliceerd in: (2020)

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

Heuristic-guided abstraction refinement /

Java in Two Semesters. 4th ed.
door: Charatan, Quentin, et al.
Gepubliceerd in: (2020)

Program develoment in Java: Abstraction, specification, and object-oriented design
door: Barbara Liskov
Gepubliceerd in: (2000)

Interpreting and translation coursebook
Gepubliceerd in: (1997)

Interpreting American Drama
door: Đinh Minh Hiền
Gepubliceerd in: (2002)

Interpreting American Poetry
door: Đinh Minh Hiền
Gepubliceerd in: (2002)

Abstract and macro photography
door: Milburn, Ken
Gepubliceerd in: (2005)

Ellipsis in abstracts of business journal articles in english and vietnamese
door: Nguyễn Thị Thanh Nga
Gepubliceerd in: (2025)

Interpretation 1
door: Nguyễn, Thị Thảo Hiền
Gepubliceerd in: (2025)

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

Introducing interpreting studies
door: Pöchhacker, Franz
Gepubliceerd in: (2016)

Concrete abstractions : an introduction to computer science using scheme /
door: Hailperin, Max.
Gepubliceerd in: (1999)

Interpreting Spanish :
door: McFall, Ann
Gepubliceerd in: (2001)

Java genesis /
door: Duke, Roger
Gepubliceerd in: (2000)