Výsledky vyhľadávania - Software notations and tools–General programming languages~

History of Logo

Autori: Solomon, Cynthia Harvey, Brian Kahn, Ken a ďalší

Zdroj: Proceedings of the ACM on Programming Languages. 4(HOPL)

Predmety: 4613 Theory Of Computation (for-2020), 46 Information and Computing Sciences (for-2020), 4612 Software Engineering (for-2020), 4 Quality Education (sdg), Logo, Lisp, Constructionism, Constructivism, turtle geometry, Education-Interactive learning environments, History of computingsHistory of programming languages, Computing educations- Computational thinking, Computing education programsDComputer science education, Informal education, Computing literacy, K-12 education (ages 5-18), Software notations and tools- General programming languages, Imperative languages, Functional languages, Language featuressControl structures, Data types and structures, Recursion, Procedures, functions and subroutines, Theory of computations-Models of computation-computabilitys-, Lambda calculus, Recursive functions, Interactive computation., Logo, Lisp, Constructionism, Constructivism, turtle geometry, Education– Interactive learning environments, History of computing–History of programming languages, Computing education– Computational thinking, Computing education programs—Computer science education, Informal education, Computing literacy, K-12 education (ages 5-18), Software notations and tools–General programming languages, Imperative languages, Functional languages, Language features–Control structures, Data types and structures, Recursion, Procedures, functions and subroutines, Theory of computation–Models of computation— Computability–Lambda calculus, Recursive functions, Interactive computation., 4612 Software engineering (for-2020), 4613 Theory of computation (for-2020), 4903 Numerical and computational mathematics (for-2020)

Popis súboru: application/pdf

Prístupová URL adresa: https://escholarship.org/uc/item/1623m1p3
https://escholarship.org/content/qt1623m1p3/qt1623m1p3.pdf

Assessing and Analyzing the Correctness of GitHub Copilot's Code Suggestions.

Autori: Mo, Ran Wang, Dongyu Zhan, Wenjing a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-32, 32p

Predmety: PROGRAMMING languages, CODE generators, STATISTICAL accuracy, FAILURE analysis, EMPIRICAL research, COMPUTER software development

Korporácia: GITHUB Inc.

A Survey of Machine Learning for Big Code and Naturalness.

Autori: ALLAMANIS, MILTIADIS BARR, EARL T. DEVANBU, PREMKUMAR a ďalší

Zdroj: ACM Computing Surveys; Jul2019, Vol. 51 Issue 4, p1-37, 37p

Predmety: COMPUTER programming education, SOFTWARE engineering, PROGRAMMING languages, SOFTWARE engineers, NATURAL languages, MACHINE learning

History of Logo

Autori: Solomon, C Harvey, B Kahn, K a ďalší

Zdroj: Proceedings of the ACM on Programming Languages; vol 4, iss HOPL, 1-66; 2475-1421

Témy: Logo, Lisp, Constructionism, Constructivism, turtle geometry, Education-Interactive learning environments, History of computingsHistory of programming languages, Computing educations- Computational thinking, Computing education programsDComputer science education, Informal education, Computing literacy, K-12 education, Software notations and tools- General programming languages, Imperative languages, Functional languages, Language featuressControl structures, Data types and structures, Recursion, Procedures, functions and subroutines, Theory of computations-Models of computation-computabilitys, Lambda calculus, Recursive functions, Interactive computation., Quality Education, Education– Interactive learning environments, History of computing–History of programming languages, Computing education– Computational thinking, Computing education programs—Computer science education, K-12 education (ages 5-18), Software notations and tools–General programming languages, Language features–Control structures, Theory of computation–Models of computation— Computability–Lambda calculus, article

URL: https://escholarship.org/uc/item/1623m1p3
https://escholarship.org/

A universal and scalable CNC interpreter for CNC systems.

Autori: Liu, Lisi Yao, Yingxue Du, Jianjun

Zdroj: International Journal of Advanced Manufacturing Technology; Aug2019, Vol. 103 Issue 9-12, p4453-4466, 14p, 6 Illustrations, 9 Diagrams, 1 Chart

Predmety: TRANSLATORS, PROGRAMMING languages

JAVACOP: Declarative Pluggable Types for Java.

Autori: MARKSTRUM, SHANE MARINO, DANIEL ESQUIVEL, MATTHEW a ďalší

Zdroj: ACM Transactions on Programming Languages & Systems; Jan2010, Vol. 32 Issue 2, p4-4:37, 37p, 7 Charts

Predmety: PROGRAMMING languages, JAVA programming language, JAVASPACES technology, SYNTAX in programming languages, COMPUTER programming, COMPUTER software testing

The Liver Meeting: 2025 Abstracts.

Zdroj: Hepatology (02709139); 2025Supplement, Vol. 82, pS1-S2308, 2308p

Metamodels in Europe: Languages, Tools, and Applications.

Autori: Passerone, Roberto Hafaiedh, Imene Ben Graf, Susanne a ďalší

Zdroj: IEEE Design & Test of Computers; May/Jun2009, Vol. 26 Issue 3, p38-52, 15p, 6 Diagrams

Predmety: INFORMATION modeling, SYSTEM analysis, SYSTEM integration, SYSTEMS engineering, PROGRAMMING languages

Geografický termín: EUROPE

PERMISSION-BASED SEPARATION LOGIC FOR MULTITHREADED JAVA PROGRAMS.

Autori: AMIGHI, AFSHIN HAACK, CHRISTIAN HUISMAN, MARIEKE a ďalší

Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 1, p1-66, 66p

Predmety: SEPARATION (Technology), THREADS (Computer programs), JAVA programming language, PROGRAMMING languages, MATHEMATICAL models

WHEN IS A CONTAINER A COMONAD?

Autori: AHMAN, DANEL CHAPMAN, JAMES UUSTALU, TARMO

Zdroj: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 3, p1-48, 48p

Predmety: PROGRAMMING languages, DATA structures, TREE graphs, PARAMETERS (Statistics), ABSTRACT data types (Computer science), PROBLEM solving

AN EFFECT SYSTEM FOR ALGEBRAIC EFFECTS AND HANDLERS.

Autori: BAUER, ANDREJ PRETNAR, MATIJA

Zdroj: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 4, p1-29, 29p

Predmety: SYSTEMS design, PROGRAMMING languages, SEMANTICS, COMPUTATIONAL complexity, MATHEMATICS theorems

Detection, assessment and mitigation of vulnerabilities in open source dependencies.

Autori: Ponta, Serena Elisa Plate, Henrik Sabetta, Antonino

Zdroj: Empirical Software Engineering; Sep2020, Vol. 25 Issue 5, p3175-3215, 41p

Predmety: OPEN source software, COMPUTER software, SOFTWARE product line engineering, JAVA programming language, EMPIRICAL research

Towards a Digital Transformation Hyper-Framework: The Essential Design Principles and Components of the Initial Prototype.

Autori: Perisic, Ana Perisic, Branko

Zdroj: Applied Sciences (2076-3417); Jan2025, Vol. 15 Issue 2, p611, 38p

Predmety: DIGITAL transformation, ELECTRONIC information resources, DIGITAL technology, DIGITAL twin, SYSTEMS engineering

CoReaAgents: A Collaboration and Reasoning Framework Based on LLM-Powered Agents for Complex Reasoning Tasks.

Autori: Han, Zhonghe Wang, Jiaxin Yan, Xiaolu a ďalší

Zdroj: Applied Sciences (2076-3417); May2025, Vol. 15 Issue 10, p5663, 26p

Predmety: ARTIFICIAL intelligence, MACHINE learning, MULTIAGENT systems, DIVISION of labor, INTELLIGENCE officers

From Business Process Models to Process-Oriented Software Systems.

Autori: CHUN OUYANG DUMAS, MARLON VAN DER AALST, WIL M. P. a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Aug2009, Vol. 19 Issue 1, p2:1-2:37, 37p, 8 Diagrams, 5 Charts, 2 Graphs

Predmety: BPEL (Computer program language), SYSTEM analysis, COMPUTER software development, WEB services, FLOW charts, ALGORITHMS

Natural language techniques supporting decision modelers.

Autori: Arco, Leticia Nápoles, Gonzalo Vanhoenshoven, Frank a ďalší

Zdroj: Data Mining & Knowledge Discovery; 2021, Vol. 35 Issue 1, p290-320, 31p

Predmety: NATURAL languages, TASK analysis, STONE implements, DISCOURSE analysis

A Regression Test Selection Technique for Embedded Software.

Autori: BISWAS, SWARNENDU MALL, RAJIB SATPATHY, MANORANJAN

Zdroj: ACM Transactions on Embedded Computing Systems; Dec2013, Vol. 13 Issue 3, p47:1-47:39, 39p

Predmety: REGRESSION testing (Computer science), EMBEDDED computer systems, COMPUTER software, COMPUTER programming, TELECOMMUNICATION, SOURCE code

Digital Twins Verification and Validation Approach through the Quintuple Helix Conceptual Framework.

Autori: Perisic, Ana Perisic, Branko

Zdroj: Electronics (2079-9292); Aug2024, Vol. 13 Issue 16, p3303, 32p

Predmety: DIGITAL twin, DIGITAL computer simulation, SYSTEMS engineering, INFORMATION resources, INFORMATION dissemination

A Method for Web Service Description by Using Problem Frames Approach.

Autori: Guangjun Cai Zhi Jin Zhijing Feng

Zdroj: ICSE: International Conference on Software Engineering; 2008, p23-28, 6p, 4 Diagrams, 6 Charts

Predmety: WEB services, COMPUTER software development, COMPUTER programming, SOFTWARE engineering, APPLICATION software

PROGRAM LOGICS FOR HOMOGENEOUS GENERATIVE RUN-TIME META-PROGRAMMING.

Autori: BERGER, MARTIN TRATT, LAURENCE

Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 1, p1-50, 50p

Predmety: COMPUTER programming, HOMOGENEOUS polynomials, MATHEMATICAL formulas, DERIVATIVES (Mathematics), MATHEMATICAL models