Suchergebnisse - "Formal Definitions and Theory: Syntax and Semantics"

A Framework for Defining Logical Frameworks

Autoren: HONSELL, Furio LENISA, Marina LIQUORI LUIGI et al.

Weitere Verfasser: HONSELL, Furio LENISA, Marina LIQUORI LUIGI et al.

Quelle: Electronic Notes in Theoretical Computer Science. 172:399-436

Schlagwörter: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Dependent-type systems, Lambda calculus, Logical Framework, Logics, Pattern matching, Logic and constraint programming, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Formal Definitions and Theory: Syntax and Semantics, Theoretical Computer Science, Lambda calculus and related systems, Constraint and logic languages Category, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], Language Classifications: Applicative (functional) languages, 0202 electrical engineering, electronic engineering, information engineering, Mechanical theorem proving, Computer Science(all)

Dateibeschreibung: application/pdf

Zugangs-URL: https://inria.hal.science/hal-01148312v1/document
https://doi.org/10.1016/j.entcs.2007.02.014
https://inria.hal.science/hal-01148312v1
https://hal.inria.fr/hal-01148312/document
https://dblp.uni-trier.de/db/journals/entcs/entcs172.html#HonsellLL07
https://www-sop.inria.fr/members/Luigi.Liquori/PAPERS/Plotkin.pdf
https://hal.inria.fr/inria-00088809
https://users.dimi.uniud.it/~marina.lenisa/Papers/Soft-copy-pdf/plo07.pdf
https://www.sciencedirect.com/science/article/pii/S1571066107000862

FeatherTrait: a modest extension of Featherweight Java

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

Weitere Verfasser: Luigi Liquori Arnaud Spiwack The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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