Výsledky vyhledávání - "Studies of Program Constructs—Object-oriented constructs General Terms"

FeatherTrait: a modest extension of Featherweight Java

Autoři: Luigi Liquori Arnaud Spiwack The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Luigi Liquori Arnaud Spiwack The Pennsylvania State University CiteSeerX Archives

Zdroj: http://hal.archives-ouvertes.fr/docs/00/43/25/38/PDF/fjtraits.pdf.

Témata: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory—Syntax and Semantics, D.3.2 [Programming Languages, Language Classifications— Object-oriented languages, D.3.3 [Programming Languages, Language Constructs and Features—Classes and objects, Inheritance, F.3.3 [Logics and Meaning of Programs, Studies of Program Constructs—Object-oriented constructs General Terms, Design, Languages, Theory Additional Key Words and Phrases, Java, Language design, Language semantics

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.7747

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.7747
http://hal.archives-ouvertes.fr/docs/00/43/25/38/PDF/fjtraits.pdf

A machine-checked model for a Java-like language, virtual machine and compiler

Autoři: Gerwin Klein Tobias Nipkow Technische Universität München a další

Přispěvatelé: Gerwin Klein Tobias Nipkow Technische Universität München a další

Zdroj: http://www.cse.unsw.edu.au/~kleing/papers/jinja-journal.pdf.

Témata: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics, D.3.4 [Programming Languages, Processors—Compilers, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Object-oriented constructs General Terms, Languages, Verification Additional Key Words and Phrases, Java, operational semantics, theorem proving

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.4669

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.4669
http://www.cse.unsw.edu.au/~kleing/papers/jinja-journal.pdf

A machine-checked model for a Java-like language, virtual machine and compiler

Autoři: Gerwin Klein Tobias Nipkow The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Gerwin Klein Tobias Nipkow The Pennsylvania State University CiteSeerX Archives

Zdroj: http://users.cecs.anu.edu.au/~jeremy/isabelle/2005/key/jinja-tr.pdf.

Témata: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics, D.3.4 [Programming Languages, Processors—Compilers, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Object-oriented constructs General Terms, Languages, Verification Additional Key Words and Phrases, Java, operational semantics, theorem proving

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.595.2598

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.595.2598
http://users.cecs.anu.edu.au/~jeremy/isabelle/2005/key/jinja-tr.pdf