Search Results - denotational semantics Java byte-code~

Magic-sets for localised analysis of Java bytecode

Authors: SPOTO, Nicola Fausto Payet É. Alarcon, Nicolas

Contributors: SPOTO, Nicola Fausto Payet É. Alarcon, Nicolas

Source: Higher-Order and Symbolic Computation. 23:29-86

Subject Terms: denotational semantics Java byte-code, Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.), Semantics in the theory of computing, Magic-sets, abstract interpretation, static analysis, denotational semantics, [MATH] Mathematics [math], 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], 01 natural sciences, magic-sets, 0202 electrical engineering, electronic engineering, information engineering

File Description: application/pdf; application/xml

Access URL: https://hal.univ-reunion.fr/hal-01186160/file/Magic_sets_for_localised_analysis_of_java_bytecode.pdf
https://hal.univ-reunion.fr/hal-01186160v1/document
https://hal.univ-reunion.fr/hal-01186160v1
https://doi.org/10.1007/s10990-010-9063-7
https://hdl.handle.net/11562/341536
https://doi.org/10.1007/s10990-010-9063-7

Axiomatising an information flow logic based on partial equivalence relations.

Authors: Filinski, Andrzej Larsen, Ken Friis Jensen, Thomas P.

Source: International Journal on Software Tools for Technology Transfer; Aug2024, Vol. 26 Issue 4, p445-461, 17p

Subject Terms: SEMANTICS

On some innovations in teaching the formal semantics using software tools.

Authors: Steingartner, William

Source: Ecological Genomics; 2021, Vol. 11 Issue 1, p2-11, 10p

Model-Based Language Engineering with EMFText.

Authors: Heidenreich, Florian Johannes, Jendrik Karol, Sven et al.

Source: Generative & Transformational Techniques in Software Engineering IV; 2013, p322-345, 24p

Formal Syntax and Semantics of Java

Authors: Jim Alves-Foss

Resource Type: eBook.

Subjects: Compilers (Computer programs), Computer science, Software engineering

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General

A Practical Method for Specification and Analysis of Exception Handling -- A Java/JVM Case Study.

Authors: Börger, Egon Schulte, Wolfram

Source: IEEE Transactions on Software Engineering; Sep2000, Vol. 26 Issue 9, p872-887, 16p

Subject Terms: PROGRAMMING languages, JAVA programming language, VIRTUAL machine systems, CASE studies, COMPILERS (Computer programs), ERROR messages (Computer science)

A unifying approach to goal-directed evaluation.

Authors: Danvy, Olivier Grobauer, Bernd Rhiger, Morten

Source: New Generation Computing; Mar2002, Vol. 20 Issue 1, p53-73, 21p

Precise null-pointer analysis.

Authors: Spoto, Fausto

Source: Software & Systems Modeling; May2011, Vol. 10 Issue 2, p219-252, 34p, 11 Diagrams, 2 Charts

Subject Terms: JAVA programming language, C++, OBJECT-oriented programming languages, PROGRAMMING languages, COMPUTER programming

Theorem-proving support in programming language semantics.

Source: From Semantics to Computer Science; 2009, p337-362, 26p

Interoperable domain-specific languages families for code generation.

Authors: Malohlava, Michal Plasil, Frantisek Bures, Tomas et al.

Source: Software: Practice & Experience; May2013, Vol. 43 Issue 5, p479-499, 21p

Subject Terms: DOMAIN-specific programming languages, DOCUMENT markup languages, XHTML (Document markup language), JAVA programming language, PROGRAMMING languages, CODE generators

A Completely Verified Realistic Bootstrap Compiler.

Authors: Bold, Axel Von Henke, Friedrich Goerigk, Wolfgang

Source: International Journal of Foundations of Computer Science; Aug2003, Vol. 14 Issue 4, p659, 22p

Subject Terms: COMPILERS (Computer programs), PROGRAMMING languages, PEARL (Computer program language), STATISTICAL bootstrapping, SEMANTICS

Aspects of functional programming

Authors: Meehan, Gary

Subject Terms: 005, QA76 Electronic computers. Computer science. Computer software

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.344079

A Formal Foundation for Metamodeling.

Authors: Favre, Liliana

Source: Reliable Software Technologies - Ada-europe 2009; 2009, p177-191, 15p

A formal framework for software faults and permissions based on unified theory of programming.

Authors: Zhu, Zhilin Liu, Xiaojian

Source: Cluster Computing; Nov2019 Supplement 6, Vol. 22, p14049-14059, 11p

Subject Terms: SOFTWARE frameworks, SECURITY systems, MOBILE apps

Formally Proving a Compiler Transformation Safe.

Authors: Breitner, Joachim

Source: ACM / SIGPLAN Notices; Dec2015, Vol. 50 Issue 12, p35-46, 12p

Ensuring that your dart will hit the mark: An introduction to dart contracts.

Authors: Chalin, Patrice

Source: Proceedings of the 2014 IEEE 15th International Conference on Information Reuse & Integration (IEEE IRI 2014); 2014, p369-377, 9p

Certified Transformation for Static Single Assignment of SPMD Programs.

Authors: Zawawy, Mohamed A. El

Source: 2014 14th International Conference on Computational Science & Its Applications; 2014, p12-17, 6p

Environments.

Authors: Fritzson, Peter

Source: Principles of Object Oriented Modeling & Simulation with Modelica 3.3; 2014, p1029-1060, 32p

On the Correctness of Transformations in Compiler Back-Ends.

Authors: Margaria, Tiziana Steffen, Bernhard Zimmermann, Wolf

Source: Leveraging Applications of Formal Methods; 2006, p74-95, 22p

Static and Dynamic Program Compilation by Interpreter Specialization.

Authors: Thibault, Scott Consel, Charles Lawall, Julia et al.

Source: Higher-Order & Symbolic Computation; Sep2000, Vol. 13 Issue 3, p161-178, 18p