Suchergebnisse - Semantics of Programming Languages. Algebraic approaches to semantics

Treffer weiter einschränken
  1. 1

    Equivalence of the schemes of programs based on the algebraic approach to setting the semantics of programming languages

    Autoren: Y. P. Korablin

    Quelle: Российский технологический журнал, Vol 10, Iss 1, Pp 18-27 (2022)

    Schlagwörter: program scheme, semantic domains, process semantics, equational characterization of the semantic meanings of programs, equivalence of program schemes, Information theory, Q350-390

    Dateibeschreibung: electronic resource

    Relation: https://www.rtj-mirea.ru/jour/article/view/451; https://doaj.org/toc/2782-3210; https://doaj.org/toc/2500-316X

    Zugangs-URL: https://doaj.org/article/b1fb99ea0ca6488194fa4596762ff711

    View record in DOAJ Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    Conceptualising Programming Language Semantics.

    Autoren: Astarte, Troy Kaighin

    Quelle: Philosophies; Aug2025, Vol. 10 Issue 4, p90, 22p

    Schlagwörter: PROGRAMMING languages, SEMANTICS, COMPUTER science education, HISTORICAL analysis, THEORY of knowledge, METAPHOR

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    On the Interpretation of Denotational Semantics.

    Autoren: Cardone, Felice

    Quelle: Philosophies; Jun2025, Vol. 10 Issue 3, p54-N.PAG, 18p

    Schlagwörter: SEMANTICS, PROGRAMMING language semantics, MATHEMATICAL category theory, PROGRAMMING languages, INTUITIONISTIC mathematics, FUNCTIONAL programming (Computer science)

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  4. 4

    ExAIS: executable AI semantics.

    Autoren: Schumi, Richard Sun, Jun

    Quelle: ICSE: International Conference on Software Engineering; 2022, p859-870, 12p

    Schlagwörter: NEURAL circuitry, ARTIFICIAL intelligence, SEMANTICS, PROGRAMMING languages, LIBRARIES

    Zu den Favoriten
  5. 5

    Semantic methods in our research and teaching.

    Autoren: Steingartner, William Novitzká, Valerie

    Quelle: Central European Conference on Information & Intelligent Systems; 2023, p525-533, 9p

    Schlagwörter: PROGRAMMING languages, SEMANTICS

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  6. 6

    An algebraic approach to syntax, semantics and compilation

    Autoren: Stephenson, K.

    Schlagwörter: 004.01

    Zugangs-URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.639106

    View record in EThOS Nájsť tento článok vo Web of Science
    Zu den Favoriten
  7. 7

    Exploring the intersection of algebraic and computational thinking.

    Autoren: Bråting, Kajsa Kilhamn, Cecilia

    Quelle: Mathematical Thinking & Learning; Apr-Jun2021, Vol. 23 Issue 2, p170-185, 16p

    Schlagwörter: PROGRAMMING language semantics, SYNTAX in programming languages, MATHEMATICAL programming, REPRESENTATION theory

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  8. 8

    A type-theoretic approach to proof support for algebraic design frameworks

    Autoren: Mylonakis Pascual, Nicos

    Weitere Verfasser: University/Department: Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics

    Thesis Advisors: Orejas Valdes, Fernando

    Quelle: TDX (Tesis Doctorals en Xarxa)

    Schlagwörter: verificació, programació, validació, especificacions algebraiques, disseny algebraic, 1203. Ciència dels ordinadors

    Dateibeschreibung: application/pdf

    Zugangs-URL: http://www.tdx.cat/TDX-0420101-105035
    http://hdl.handle.net/10803/6634
    https://dx.doi.org/10.5821/dissertation-2117-93945

    View record in TDX
    Zu den Favoriten
  9. 9

    A General Procedure to Formulate 3D Elements for Finite Element Applications.

    Autoren: Shahriar, Adnan Majlesi, Arsalan Montoya, Arturo

    Quelle: Computation; Oct2023, Vol. 11 Issue 10, p197, 36p

    Schlagwörter: TRANSITION metals, FINITE element method, PROGRAMMING languages, SPECTRAL element method, RESEARCH personnel

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  10. 10

    Modelling and Specifying Name Visibility and Binding Semantics

    Autoren: Scott A. Vorthmann The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Scott A. Vorthmann The Pennsylvania State University CiteSeerX Archives

    Quelle: ftp://reports.adm.cs.cmu.edu/usr/anon/1993/CMU-CS-93-158.ps

    Schlagwörter: Programming Languages, Formal Definitions and Theory- Semantics, Language Constructs and Features- Modules, Packages, Logics and Meanings of Programs, Semantics of Programming Languages- algebraic approaches to semantics

    Dateibeschreibung: application/postscript

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.2185

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  11. 11

    Comparing approaches to free dcpo-algebra constructions

    Autoren: Battenfeld, Ingo1 ingo.battenfeld@tu-dortmund.de

    Quelle: Journal of Logic & Algebraic Programming. Jan2013, Vol. 82 Issue 1, p53-70. 18p.

    Schlagwörter: *ALGEBRA, *PROGRAMMING language semantics, *APPLICATION software, *MATHEMATICAL mappings, *GENERALIZATION, *COMPUTER simulation, *DENOTATIONAL semantics

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  12. 12

    The Denotational Semantics of Programming Languages.

    Autoren: Tennent, R.D. Wegbreit, B.

    Quelle: Communications of the ACM; Aug1976, Vol. 19 Issue 8, p437-453, 17p, 1 Chart

    Schlagwörter: PROGRAMMING language semantics, COMPUTER programming, COMPILERS (Computer programs), PROGRAM generators (Computer programs)

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  13. 13

    AspectKE*: Security aspects with program analysis for distributed systems

    Autoren: Fan, Yang Masuhara, Hidehiko Aotani, Tomoyuki et al.

    Quelle: Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10) / Bram Adams, Michael Haupt, Daniel Lohmann (Hrsg.). - Potsdam : Universitätsverlag Potsdam, 2010. - ISBN 978-3-86956-043-4. - S. 27 - 31

    Schlagwörter: aspect oriented programming, program analysis, security policies, distributed systems, tuple spaces, Data processing Computer science, Language Constructs and Features (E.2), Abstract data types, Classes and objects (NEW), Concurrent programming structures, Constraints (NEW), Control structures, Coroutines, Data types and structures, Dynamic storage management, Frameworks (NEW), Inheritance (NEW), Input/output, Modules, packages, Patterns (NEW), Polymorphism (NEW), Procedures, functions, and subroutines, Recursion, Security and Protection (K.6.5), Access controls, Authentication, Cryptographic controls, Information flow controls, Invasive software (e.g., viruses, worms, Trojan horses), Security kernels, Verification, Semantics of Programming Languages (D.3.1), Algebraic approaches to semantics, Denotational semantics, Operational semantics, Partial evaluation (NEW), Process models (NEW), Program analysis (NEW)

    Dateibeschreibung: application/pdf

    Verfügbarkeit: http://opus.kobv.de/ubp/volltexte/2010/4136/

    View record from Networked Digital Library of Theses & Dissertations Nájsť tento článok vo Web of Science
    Zu den Favoriten
  14. 14

    Logic programming revisited: logic programs as inductive definitions

    Autoren: Marc Denecker Maurice Bruynooghe Victor Marek et al.

    Weitere Verfasser: Marc Denecker Maurice Bruynooghe Victor Marek et al.

    Quelle: http://www.cs.uky.edu/~marek/papers.dir/02.dir/indDefs.pdf.

    Schlagwörter: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics, F.3.2 [Logics And Meanings Of Programs, Semantics of Programming Languages—Algebraic approaches to semantics, F.4.1 [Mathematical Logic And Formal Languages, Mathematical Logic— Computational logic, Logic and constraint programming, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic programming, Nonmonotonic reasoning and belief revision, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods General Terms, Languages, Theory

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.120.7036; http://www.cs.uky.edu/~marek/papers.dir/02.dir/indDefs.pdf

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.120.7036
    http://www.cs.uky.edu/~marek/papers.dir/02.dir/indDefs.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  15. 15

    A Calculus for Team Automata

    Autoren: ter Beek M. GADDUCCI, FABIO Janssens D.

    Quelle: Brazilian Symposium on Formal Methods (SBMF'06), pp. 41–55, Natal, Rio Grande do Norte, Brazil, 17-23 Settembre 2006
    info:cnr-pdr/source/autori:Ter Beek M. H.; Gadducci F.; Janssens D./congresso_nome:Brazilian Symposium on Formal Methods (SBMF'06)/congresso_luogo:Natal, Rio Grande do Norte, Brazil/congresso_data:17-23 Settembre 2006/anno:2008/pagina_da:41/pagina_a:55/intervallo_pagine:41–55
    Brazilian Symposium on Formal Methods (SBMF'06), Natal, Rio Grande do Norte, Br, 17-23/09/2017
    info:cnr-pdr/source/autori:Ter Beek M., Gadducci F., Janssens D./congresso_nome:Brazilian Symposium on Formal Methods (SBMF'06)/congresso_luogo:Natal, Rio Grande do Norte, Br/congresso_data:17-23%2F09%2F2017/anno:2006/pagina_da:/pagina_a:/intervallo_pagine
    ISTI Technical reports, 2005
    Brazilian Symposium on Formal Methods, 59-72, Universitate Federal do Rio Grande do Sul, Natal, Brazil, September 17-23, 2006
    Electronic notes in theoretical computer science

    Schlagwörter: Computer. Automation, process calculi, Semantics of Programming Languages. Algebraic approaches to semantics, Semantics of Programming Languages. Process models, F.1.1 Models of Computation. Automata, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Process calculi, Team automata, Theoretical Computer Science, F.3.2 Models of Computation. Relations between models, 0202 electrical engineering, electronic engineering, information engineering, Compositional specification, Process calculus, Computer Science(all)

    Dateibeschreibung: application/pdf; pdf

    Zugangs-URL: https://publications.cnr.it/doc/120355
    http://fmt.isti.cnr.it/~mtbeek/terBeekGadducciJanssens.pdf
    http://www.cnr.it/prodotto/i/120355
    https://publications.cnr.it/doc/160216
    http://www.cnr.it/prodotto/i/160216
    https://www.sciencedirect.com/science/article/abs/pii/S157106610800011X
    https://core.ac.uk/display/54913895
    http://fmt.isti.cnr.it/~mtbeek/SBMF08.pdf
    https://repository.uantwerpen.be/docman/irua/4ee01a/7a249c44.pdf
    https://dblp.uni-trier.de/db/journals/entcs/entcs195.html#BeekGJ08
    https://arpi.unipi.it/handle/11568/125939
    https://hdl.handle.net/20.500.14243/102149
    http://fmt.isti.cnr.it/~mtbeek/terBeekGadducciJanssens.pdf
    https://hdl.handle.net/20.500.14243/58471
    https://doi.org/10.1016/j.entcs.2007.08.022
    https://hdl.handle.net/10067/646170151162165141
    https://repository.uantwerpen.be/docman/irua/4ee01a/7a249c44.pdf
    https://hdl.handle.net/10067/1009270151162165141

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  16. 16

    Bayesian estimation in veterinary pharmacology: A conceptual and practical introduction.

    Autoren: Woodward, Andrew P.1 (AUTHOR) andrew.woodward@canberra.edu.au

    Quelle: Journal of Veterinary Pharmacology & Therapeutics. Jul2024, Vol. 47 Issue 4, p322-352. 31p.

    HTML Volltext PDF-Volltext
    Zu den Favoriten
  17. 17

    Presentable signatures and initial semantics

    Autoren: Benedikt Ahrens André Hirschowitz Ambroise Lafont et al.

    Quelle: Logical Methods in Computer Science, Vol 17, Issue 2 (2021)

    Schlagwörter: computer science - logic in computer science, computer science - programming languages, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

    Dateibeschreibung: electronic resource

    Relation: https://lmcs.episciences.org/5136/pdf; https://doaj.org/toc/1860-5974

    Zugangs-URL: https://doaj.org/article/6dee9c3af7944403a8068cd53b861c21

    View record in DOAJ Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  18. 18

    Operational ontological approach to formal programming language specification.

    Autoren: I. Anureev

    Quelle: Programming & Computer Software; Jan2009, Vol. 35 Issue 1, p35-42, 8p

    Schlagwörter: PROGRAMMING languages, TECHNICAL specifications, COMPUTER software, SEMANTICS

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  19. 19

    The origins of structural operational semantics

    Autoren: Plotkin, Gordon D.1 gdp@inf.ed.ac.uk

    Quelle: Journal of Logic & Algebraic Programming. Jul2004, Vol. 60-61, p3-15. 13p.

    Schlagwörter: *PROGRAMMING language semantics, *SEMANTICS, *COMPUTER software, *COMPUTER science, *OPERATIONAL definitions

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  20. 20

    Denotational semantics and its algebraic derivation for an event-driven system-level language.

    Autoren: Zhu, H. He, Jifeng Qin, Shengchao et al.

    Quelle: Formal Aspects of Computing. Jan2015, Vol. 27 Issue 1, p133-166. 34p.

    Schlagwörter: *DENOTATIONAL semantics, *EVENT driven systems (Computer science), *PROGRAMMING languages, *COMPUTER programming, *TIME delay systems

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: