Výsledky vyhledávání - denotational semantics Java byte-code

Magic-sets for localised analysis of Java bytecode

Autoři: SPOTO, Nicola Fausto Payet É. Alarcon, Nicolas

Přispěvatelé: SPOTO, Nicola Fausto Payet É. Alarcon, Nicolas

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

Témata: 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

Popis souboru: application/pdf; application/xml

Přístupová URL adresa: 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.

Autoři: Filinski, Andrzej Larsen, Ken Friis Jensen, Thomas P.

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

Témata: SEMANTICS

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

Autoři: Steingartner, William

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

Model-Based Language Engineering with EMFText.

Autoři: Heidenreich, Florian Johannes, Jendrik Karol, Sven a další

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

Formal Syntax and Semantics of Java

Autoři: Jim Alves-Foss

Resource Type: eBook.

Témata: 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.

Autoři: Börger, Egon Schulte, Wolfram

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

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

A unifying approach to goal-directed evaluation.

Autoři: Danvy, Olivier Grobauer, Bernd Rhiger, Morten

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

Precise null-pointer analysis.

Autoři: Spoto, Fausto

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

Témata: JAVA programming language, C++, OBJECT-oriented programming languages, PROGRAMMING languages, COMPUTER programming

Theorem-proving support in programming language semantics.

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

Interoperable domain-specific languages families for code generation.

Autoři: Malohlava, Michal Plasil, Frantisek Bures, Tomas a další

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

Témata: DOMAIN-specific programming languages, DOCUMENT markup languages, XHTML (Document markup language), JAVA programming language, PROGRAMMING languages, CODE generators

A Completely Verified Realistic Bootstrap Compiler.

Autoři: Bold, Axel Von Henke, Friedrich Goerigk, Wolfgang

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

Témata: COMPILERS (Computer programs), PROGRAMMING languages, PEARL (Computer program language), STATISTICAL bootstrapping, SEMANTICS

Aspects of functional programming

Autoři: Meehan, Gary

Témata: 005, QA76 Electronic computers. Computer science. Computer software

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.344079

A Formal Foundation for Metamodeling.

Autoři: Favre, Liliana

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

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

Autoři: Zhu, Zhilin Liu, Xiaojian

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

Témata: SOFTWARE frameworks, SECURITY systems, MOBILE apps

Formally Proving a Compiler Transformation Safe.

Autoři: Breitner, Joachim

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

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

Autoři: Chalin, Patrice

Zdroj: 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.

Autoři: Zawawy, Mohamed A. El

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

Environments.

Autoři: Fritzson, Peter

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

On the Correctness of Transformations in Compiler Back-Ends.

Autoři: Margaria, Tiziana Steffen, Bernhard Zimmermann, Wolf

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

Static and Dynamic Program Compilation by Interpreter Specialization.

Autoři: Thibault, Scott Consel, Charles Lawall, Julia a další

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