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 flowbased approach for variant parametric types

Autoři: Wei-ngan Chin Florin Craciun Siau-cheng Khoo a další

Přispěvatelé: Wei-ngan Chin Florin Craciun Siau-cheng Khoo a další

Zdroj: http://www.model.in.tum.de/~popeea/research/flow-based.oopsla06.pdf.

Témata: jects, Polymorphism, Constraints, D.3.1 [Programming Lan- guages, Formal Definitions and Theory, D.3.2 [Programming Languages, Language Classifications—Object-oriented languages, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Object-oriented constructs, Type structure General Terms Design, Languages, Theory, Verification Keywords Genericity, Flow Analysis, Variant Parametric Types, Subtyping

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.490.2136
http://www.model.in.tum.de/~popeea/research/flow-based.oopsla06.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

Fault Diagnosis Techniques for Electrical Distribution Network Based on Artificial Intelligence and Signal Processing: A Review.

Autoři: Cao, Yunyu Tang, Jinrui Shi, Shaohui a další

Zdroj: Processes; Jan2025, Vol. 13 Issue 1, p48, 32p

Témata: ARTIFICIAL intelligence, FAULT diagnosis, ELECTRONIC surveillance, SIGNAL processing, DATA security

From Observation to Active Learning: A Collaborative Learning Approach for Object Oriented Programming Course.

Autoři: Manikandakumar, M. Sridevi, S.

Zdroj: Journal of Engineering Education Transformations; Apr2023, Vol. 36 Issue 4, p150-160, 11p

Témata: OBJECT-oriented programming, ACTIVE learning, COLLABORATIVE learning, LEARNING, TEACHING methods

A virtual class calculus

Autoři: Erik Ernst Klaus Ostermann William R. Cook a další

Přispěvatelé: Erik Ernst Klaus Ostermann William R. Cook a další

Zdroj: http://www.daimi.au.dk/~eernst/tool09/papers/p270-ernst.pdf.

Témata: General Terms Languages, theory Keywords Virtual classes, soundness

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.214.2093
http://www.daimi.au.dk/~eernst/tool09/papers/p270-ernst.pdf

A Collaborative method for Code Clone Detection Using Lexical, Syntactic, Semantic and Structural Features.

Autoři: Sekar, Karthik Balasubramanian, Rajdeepa

Zdroj: International Journal of Intelligent Engineering & Systems; 2023, Vol. 16 Issue 1, p67-78, 12p

Témata: MOLECULAR cloning, FEATURE extraction, SOURCE code, BLOCK codes, GENETIC vectors

Software psychology: The need for an interdisciplinary program.

Autoři: Curtis, B. Soloway, E.M. Brooks, R.E. a další

Zdroj: Proceedings of the IEEE; 1986, Vol. 74 Issue 8, p1092-1106, 15p

Object-Oriented Compilers: A Review.

Autoři: Chakraborty, Pinaki

Zdroj: IUP Journal of Information Technology; Mar2017, Vol. 13 Issue 1, p36-47, 12p, 2 Charts

Témata: COMPILERS (Computer programs), OBJECT-oriented programming, SOURCE code, MODULAR design, PROGRAMMING software

A Quick Development Toolkit for Augmented Reality Visualization (QDARV) of a Factory.

Autoři: Chen, Chengjun Liang, Runbei Pan, Yong a další

Zdroj: Applied Sciences (2076-3417); Aug2022, Vol. 12 Issue 16, pN.PAG-N.PAG, 24p

Témata: AUGMENTED reality, VISUALIZATION, INDUSTRIAL applications

Building the IT Workforce of the Future: The Demand for More Complex, Abstract, and Strategic Knowledge.

Autoři: Armstrong, Deborah J. Nelson, H. James Nelson, Kay M. a další

Zdroj: Information Resources Management Journal; Apr-Jun2008, Vol. 21 Issue 2, p63-79, 17p, 3 Diagrams, 1 Chart

Témata: COMPUTER software development, INFORMATION technology, LABOR supply, COMPUTER software developers, KNOWLEDGE management, STRATEGIC planning, TECHNOLOGICAL innovations, COGNITIVE maps (Psychology), COMPUTER systems

Volunteer engagement: conceptual extensions and value-in-context outcomes.

Autoři: Conduit, Jodie Karpen, Ingo Oswald Tierney, Kieran D.

Zdroj: Journal of Service Theory & Practice; 2019, Vol. 29 Issue 4, p462-487, 26p

Empirical taxonomy of refactoring methods for aspect-oriented programming.

Autoři: Alshayeb, Mohammad Al‐Jamimi, Hamdi Elish, Mahmoud O.

Zdroj: Journal of Software: Evolution & Process; Jan2013, Vol. 25 Issue 1, p1-25, 25p, 13 Charts

Témata: ASPECT-oriented programming, COMPUTER programming, SOFTWARE refactoring, SOFTWARE maintenance, SOFTWARE measurement

Essential AOP: The A Calculus.

Autoři: FRAINE, BRUNO DE ERNST, ERIK SÜDHOLT, MARIO

Zdroj: ACM Transactions on Programming Languages & Systems; Oct2012, Vol. 34 Issue 3, p12:1-12:43, 43p

Témata: ASPECT-oriented programming, AD hoc computer networks, PROGRAMMING languages, SEMANTIC computing, SAINT Hilaire method, CALCULUS

Changes in Students' Perceptions Regarding the Characteristics of a Good Programmer and their Correspondence with Industry's Expectations.

Autoři: Lavy, Ilana Rashkovits, Rami

Zdroj: International Journal of Learning; 2012, Vol. 18 Issue 3, p113-129, 17p

Témata: STUDENT attitudes, PSYCHOLOGY of students, SENSORY perception, EXPECTATION (Psychology), PROFESSIONALISM, PERSONALITY & occupation, SOCIAL skills

Programming and Problem Solving with C++

Autoři: Nell Dale Chip Weems Tim Richards

Resource Type: eBook.

Témata: C++ (Computer program language)

Categories: COMPUTERS / Security / Network Security

This Type for Object-Oriented Languages: From Theory to Practice.

Autoři: SUKYOUNG RYU

Zdroj: ACM Transactions on Programming Languages & Systems; Apr2016, Vol. 38 Issue 3, p8:01-8:66, 66p

Témata: OBJECT-oriented programming languages, BINARY principle (Linguistics), ENCODING, LAMBDA calculus, SOFTWARE compatibility

Abstraction in Computer Science.

Autoři: Colburn, Timothy Shute, Gary

Zdroj: Minds & Machines; May2007, Vol. 17 Issue 2, p169-184, 16p

Témata: ABSTRACT thought, COMPUTER science, MATHEMATICS, PROGRAMMING languages, COMPUTER operating systems, COMPUTER network architectures

Types, classes and collections in object-oriented analysis.

Autoři: Eckert, G.

Zdroj: Proceedings of IEEE International Conference on Requirements Engineering; 1994, p32-39, 8p