Výsledky vyhľadávania - "Studies of Program Constructs—Object-oriented constructs General Terms"

FeatherTrait: a modest extension of Featherweight Java

Autori: Luigi Liquori Arnaud Spiwack The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Luigi Liquori Arnaud Spiwack The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Gerwin Klein Tobias Nipkow Technische Universität München a ďalší

Prispievatelia: Gerwin Klein Tobias Nipkow Technische Universität München a ďalší

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Gerwin Klein Tobias Nipkow The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Gerwin Klein Tobias Nipkow The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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