Search results
From MaRDI portal
Did you mean: java virtual machines languages
- rs 2009-03-12 Paper Preservation of Proof Obligations from Java to the Java Virtual Machine 2008-11-27 Paper Type-Based Termination with Sized Products...10 bytes (15 words) - 18:19, 10 April 2026
- certified abstraction layers 2016-09-29 Paper Representing Java classes in a typed intermediate language 2016-09-01 Paper Transparent modules with fully syntatic...10 bytes (15 words) - 23:51, 11 April 2026
- rs 2009-03-12 Paper Preservation of Proof Obligations from Java to the Java Virtual Machine 2008-11-27 Paper Type-Based Termination with Sized Products...10 bytes (13 words) - 12:46, 11 April 2026
- coupling metrics 2006-10-19 Paper Platform independent dynamic Java virtual machine analysis: the Java Grande Forum benchmark suite 2003-03-25 Paper Decorating...10 bytes (15 words) - 09:33, 25 September 2023
- survivable routing algorithm with differentiated domain protection based on a virtual topology graph in multi-domain optical networks 2009-07-22 Paper Using sticker...10 bytes (15 words) - 03:51, 11 April 2026
- An Executable Specification of the Java Virtual Machine Using Dependent Types 2008-06-03 Paper Automata, Languages and Programming 2005-08-24 Paper...10 bytes (13 words) - 13:22, 7 October 2023
- degree congruences 2018-11-07 Paper One-counter automata for parsing and language approximation 2018-11-07 Paper Controlling mixed directional false discovery...10 bytes (12 words) - 23:39, 13 April 2026
- http://eprints.maynoothuniversity.ie/6450/1/JP-Java-Virtual.pdf zbMATH Keywords Java Virtual MachineJava Grandeinstruction frequencymethod profiling Mathematics...15 bytes (239 words) - 01:48, 15 April 2026
- the presence of discontinuities 2019-03-18 Paper Implementation of the virtual element method for coupled thermo-elasticity in Abaqus 2019-03-18 Paper...10 bytes (13 words) - 12:19, 11 April 2026
- real title available?) Preservation of Proof Obligations from Java to the Java Virtual Machine scientific article; zbMATH DE number 2089402 (Why is no real...15 bytes (415 words) - 01:54, 15 April 2026
- Keywords bytecode verifierJava Virtual Machine Language Mathematics Subject Classification ID Theory of programming languages (68N15) Other programming...15 bytes (231 words) - 05:44, 12 April 2026
- verification of Java card programs JCML: A specification language for the runtime verification of Java card programs Lightweight bytecode verification Java bytecode...15 bytes (223 words) - 01:03, 15 April 2026
- assembly language Heap-bounded assembly language Verification, Model Checking, and Abstract Interpretation zbMATH Keywords typed assembly languageJava virtual...15 bytes (204 words) - 16:19, 3 February 2024
- verificationsubroutinesdataflow analysisJava Virtual Machine Mathematics Subject Classification ID Theory of programming languages (68N15) Mathematical aspects of...15 bytes (466 words) - 03:03, 13 April 2026
- Keywords typed assembly languageJava virtual machine language Mathematics Subject Classification ID Theory of programming languages (68N15) Theory of compilers...15 bytes (256 words) - 06:15, 7 February 2024
- and Software Technology Implementation of Java card virtual machine Specification and runtime verification of Java card programs Publication:3044980 Cited...15 bytes (243 words) - 02:16, 15 April 2026
- type systemsbytecode verificationJava Virtual Machine Mathematics Subject Classification ID Theory of programming languages (68N15) Mathematical aspects of...15 bytes (344 words) - 03:03, 13 April 2026
- Quotients in Isabelle/HOL CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types Zenon: An Extensible Automated Theorem Prover...12 bytes (849 words) - 14:06, 13 March 2026
- multithreaded Java Automatic object and thread distribution in a virtual machine Developing a distributed scalable Java component server Java Virtual Machine support...15 bytes (308 words) - 01:43, 15 April 2026
- data in a Java interface to MPI More efficient serialization and RMI for Java Publication:4413579 A distributed implementation of a virtual machine for Java...15 bytes (232 words) - 02:32, 15 April 2026
