An abstract interpretation approach for enhancing the java bytecode verifier /

क्यूआर कोड

An abstract interpretation approach for enhancing the java bytecode verifier /

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	Barbuti, Roberto.
अन्य लेखक:	Francesco, Nicoletta De., Tesei, Luca.
स्वरूप:	लेख
भाषा:	English
विषय:	Abstract interpretation Bytecode verifier Java bytecode
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

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

समान संसाधन

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

Book of abstracts
प्रकाशित: (2005)

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

Fundamentals of Java Programming
द्वारा: Ogihara, Mitsunori
प्रकाशित: (2020)

Introduction to indexing and abstracting
द्वारा: Cleveland, Donald B.
प्रकाशित: (2001)

Applied abstract algebra /
द्वारा: Lidl, Rudolf.
प्रकाशित: (1998)

Practical Java Machine Learning
द्वारा: Wickham, Mark
प्रकाशित: (2020)

Beginning EJB in Java EE 8
द्वारा: Wetherbee, Jonathan, और अन्य
प्रकाशित: (2020)

Topics in applied abstract algebra
द्वारा: S. R. Nagpaul
प्रकाशित: (2005)

Advanced indexing and abstracting practices
द्वारा: Parekh, L. R.
प्रकाशित: (2000)

Biological abstracts :
प्रकाशित: (1997)

Biological abstracts :
प्रकाशित: (1997)

Scala for Java Developers. 1st ed.
द्वारा: Weston, Toby
प्रकाशित: (2020)

Abstract algebra: the basic graduate year
द्वारा: Ash, Robert B.
प्रकाशित: (2009)

A first course in abstract algebra
द्वारा: Fraleigh, John B.
प्रकाशित: (2003)

Abstracting practices in libraries
प्रकाशित: (2001)

Sémantique interprétative
द्वारा: Francois Rastier
प्रकाशित: (1987)

Data abstraction and problem solving with Java :
द्वारा: Carrano, Frank M.
प्रकाशित: (2005)

Verified Software. Theories, Tools, and Experiments
द्वारा: Chakraborty, Supratik, और अन्य
प्रकाशित: (2020)

Library indexing and abstracting
प्रकाशित: (2001)

Interactive Object-Oriented Programming in Java
द्वारा: Sarcar, Vaskaran
प्रकाशित: (2020)

Program analysis probably counts /
द्वारा: Pierro, Alessandra Di.

Digital abstract & macro photography
द्वारा: Milburn, Ken
प्रकाशित: (2005)

Java 9 Recipes. 3rd ed.
द्वारा: Juneau, Josh
प्रकाशित: (2020)

Java 9 Revealed. 1st ed.
द्वारा: Sharan, Kishori
प्रकाशित: (2020)

Interpreting 2 /Phiên dịch 2
द्वारा: Khoa tiếng Anh

Heuristic-guided abstraction refinement /

Java in Two Semesters. 4th ed.
द्वारा: Charatan, Quentin, और अन्य
प्रकाशित: (2020)

Program develoment in Java: Abstraction, specification, and object-oriented design
द्वारा: Barbara Liskov
प्रकाशित: (2000)

Interpreting and translation coursebook
प्रकाशित: (1997)

Abstract and macro photography
द्वारा: Milburn, Ken
प्रकाशित: (2005)

Ellipsis in abstracts of business journal articles in english and vietnamese
द्वारा: Nguyễn Thị Thanh Nga
प्रकाशित: (2025)

Interpreting American Drama
द्वारा: Đinh Minh Hiền
प्रकाशित: (2002)

Interpreting American Poetry
द्वारा: Đinh Minh Hiền
प्रकाशित: (2002)

Interpretation 1
द्वारा: Nguyễn, Thị Thảo Hiền
प्रकाशित: (2025)

Abstracts of M. S. theses and PH. D. dissertations(1970 - 1978) of searca scholarts at the university of the Philippinesat los banos (UPLB)
प्रकाशित: (1979)

Introducing interpreting studies
द्वारा: Pöchhacker, Franz
प्रकाशित: (2016)

Concrete abstractions : an introduction to computer science using scheme /
द्वारा: Hailperin, Max.
प्रकाशित: (1999)

Interpreting Spanish :
द्वारा: McFall, Ann
प्रकाशित: (2001)

Java genesis /
द्वारा: Duke, Roger
प्रकाशित: (2000)