Suchergebnisse - Semantics of Programming Languages General Terms Design

Treffer weiter einschränken
  1. 1

    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
  2. 2

    Abstraction, Composition, and Resolvable Ambiguity in Programming Language Implementation

    Autoren: Palmkvist, Viktor

    Index Begriffe: Domain-specific languages, Programming languages, Syntax, Ambiguity, Data structures, Computer Sciences, Datavetenskap (datalogi), Doctoral thesis, comprehensive summary, info:eu-repo/semantics/doctoralThesis, text

    URL: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-353270
    TRITA-EECS-AVL ; 2024:69

    View this record from OAIster Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    Semantics of static pointcuts in AspectJ

    Autoren: Pavel Avgustinov Elnar Hajiyev Neil Ongkingco et al.

    Weitere Verfasser: Pavel Avgustinov Elnar Hajiyev Neil Ongkingco et al.

    Quelle: http://progtools.comlab.ox.ac.uk/members/oege/publications/documents/pcsemantics.pdf.

    Schlagwörter: Programs, Semantics of Programming Languages General Terms Design, Experimentation, Languages Keywords Aspect-oriented programming, pointcuts, logic programming, Datalog, term rewriting

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.1796; http://progtools.comlab.ox.ac.uk/members/oege/publications/documents/pcsemantics.pdf

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.1796
    http://progtools.comlab.ox.ac.uk/members/oege/publications/documents/pcsemantics.pdf

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

    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
  5. 5

    Pharmacometrics in the Age of Large Language Models: A Vision of the Future.

    Autoren: Tosca, Elena Maria Aiello, Ludovica De Carlo, Alessandro et al.

    Quelle: Pharmaceutics; Oct2025, Vol. 17 Issue 10, p1274, 26p

    Schlagwörter: LANGUAGE models, ARTIFICIAL intelligence, PREDICTION models, DIGITAL twin, PHARMACOLOGY, ELECTRONIC data processing, DRUG development

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

    Natural language processing in veterinary pathology: A review.

    Autoren: Stimmer, Lev Kuiper, Raoul V. Polledo, Laura et al.

    Quelle: Veterinary Pathology. Nov2025, Vol. 62 Issue 6, p829-848. 20p.

    HTML Volltext PDF-Volltext
    Zu den Favoriten
  7. 7

    Bayesian Estimation of Generalized Log-Linear Poisson Item Response Models for Fluency Scores Using brms and Stan.

    Autoren: Myszkowski, Nils Storme, Martin

    Quelle: Journal of Intelligence; Mar2025, Vol. 13 Issue 3, p26, 34p

    Schlagwörter: ITEM response theory, DIVERGENT thinking, STRUCTURAL equation modeling, PROGRAMMING languages, PSYCHOMETRICS

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

    An overview of the SATURN project

    Autoren: Alex Aiken Suhabe Bugrara Isil Dillig et al.

    Weitere Verfasser: Alex Aiken Suhabe Bugrara Isil Dillig et al.

    Quelle: http://www.stanford.edu/~suhabe/paste07.pdf.

    Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages General Terms Design, Experimentation, Languages Keywords program analysis, verification, boolean satisfiability

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.488.7169; http://www.stanford.edu/~suhabe/paste07.pdf

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.488.7169
    http://www.stanford.edu/~suhabe/paste07.pdf

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

    Conservative approximations for heterogeneous design

    Autoren: Roberto Passerone Jerry R. Burch Alberto L. Sangiovanni et al.

    Weitere Verfasser: Roberto Passerone Jerry R. Burch Alberto L. Sangiovanni et al.

    Quelle: http://disi.unitn.it/~roby/pdfs/PasseroneBurchASV04EMSOFT.pdf.

    Schlagwörter: Categories and Subject Descriptors F.1.1 [Computation by Abstract Devices, Models of Compu- tation—Relations between models, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Algebraic approaches to semantics, Denotational semantics, I.6.4 [Simula- tion and Modeling, Model Validation and Analysis General Terms Design, Theory, Verification Keywords Approximation, Abstraction, Refinement, Verification, Model of computation, Heterogeneous, Polymorphism

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.597.2649; http://disi.unitn.it/~roby/pdfs/PasseroneBurchASV04EMSOFT.pdf

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.597.2649
    http://disi.unitn.it/~roby/pdfs/PasseroneBurchASV04EMSOFT.pdf

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

    Inductive Verification of Data Model Invariants for Web Applications ∗

    Autoren: Ivan Bocic ́ Tevfik Bultan The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Ivan Bocic ́ Tevfik Bultan The Pennsylvania State University CiteSeerX Archives

    Quelle: http://www.cs.ucsb.edu/%7Ebo/papers/icse14.pdf.

    Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verifi- cation—Model checking, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Invariants, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Pro- gram analysis General Terms Design, Verification Keywords Automated verification, data model, inductive invariants, Ruby on Rails

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.153; http://www.cs.ucsb.edu/%7Ebo/papers/icse14.pdf

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.153
    http://www.cs.ucsb.edu/%7Ebo/papers/icse14.pdf

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

    SPL LIFT -- Statically Analyzing Software Product Lines in Minutes Instead of Years

    Autoren: Eric Bodden Társis Tolêdo Márcio Ribeiro et al.

    Weitere Verfasser: Eric Bodden Társis Tolêdo Márcio Ribeiro et al.

    Quelle: http://www.bodden.de/pubs/bmb+13spllift.pdf.

    Schlagwörter: Categories and Subject Descriptors F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms Design, Languages, Performance Keywords Software product lines, inter-procedural static analysis, context

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.1599; http://www.bodden.de/pubs/bmb+13spllift.pdf

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.1599
    http://www.bodden.de/pubs/bmb+13spllift.pdf

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

    SPL LIFT -- Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines

    Autoren: Eric Bodden Mira Mezini Claus Brabrand et al.

    Weitere Verfasser: Eric Bodden Mira Mezini Claus Brabrand et al.

    Quelle: http://www.bodden.de/pubs/bmb%2B13spllift.pdf.

    Schlagwörter: Categories and Subject Descriptors F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms Design, Languages, Performance Keywords Software product lines, inter-procedural static analysis, context

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.7682; http://www.bodden.de/pubs/bmb%2B13spllift.pdf

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.7682
    http://www.bodden.de/pubs/bmb%2B13spllift.pdf

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

    Semantics of Programming Languages—Denotational seman-

    Autoren: Hideaki Takeda The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Hideaki Takeda The Pennsylvania State University CiteSeerX Archives

    Quelle: http://www-kasm.nii.ac.jp/papers/takeda/09/koide09elw.pdf.

    Schlagwörter: General Terms Design, Standardization, Languages, Theory Keywords CLOS, Semantic Web, metacircularity, membership circu- larity, denotational semantics, extensional semantics, RDF, RDFS, OWL, OWL Full, metamodeling, meta-programming, MOP

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.570.5454
    http://www-kasm.nii.ac.jp/papers/takeda/09/koide09elw.pdf

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

    Image-Based Dietary Energy and Macronutrients Estimation with ChatGPT-5: Cross-Source Evaluation Across Escalating Context Scenarios.

    Autoren: Rodríguez-Jiménez, Marcela Martín-del-Campo-Becerra, Gustavo Daniel Sumalla-Cano, Sandra et al.

    Quelle: Nutrients. Nov2025, Vol. 17 Issue 22, p3613. 38p.

    HTML Volltext PDF-Volltext
    Zu den Favoriten
  15. 15

    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
  16. 16

    Semantics of Programming Languages—Denotational seman-

    Autoren: Hideaki Takeda The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Hideaki Takeda The Pennsylvania State University CiteSeerX Archives

    Quelle: http://www-kasm.nii.ac.jp/~koide/SWCLOS2/KoideELW.pdf.

    Schlagwörter: General Terms Design, Standardization, Languages, Theory Keywords CLOS, Semantic Web, metacircularity, membership circu- larity, denotational semantics, extensional semantics, RDF, RDFS, OWL, OWL Full, metamodeling, meta-programming, MOP

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.569.6189
    http://www-kasm.nii.ac.jp/~koide/SWCLOS2/KoideELW.pdf

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

    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
  18. 18

    Localisation as Sociocultural Adaptation of Modern Design of Visual Communications

    Autoren: Natalya Udris-Borodavko Vadym Abyzov

    Quelle: Культура і мистецтво у сучасному світі, Iss 25 (2024)

    Schlagwörter: visual communications, graphic design, sociocultural adaptation, localisation, target group, Arts in general, NX1-820

    Dateibeschreibung: electronic resource

    Relation: http://culture-art-knukim.pp.ua/article/view/312664; https://doaj.org/toc/2410-1915; https://doaj.org/toc/2616-423X

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

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

    Accelerating Conjugate Heat Transfer Simulations in Squared Heated Cavities through Graphics Processing Unit (GPU) Computing.

    Autoren: da Silva Reis, César Augusto Borges Botezelli, Daniel de Azevedo, Arthur Mendonça et al.

    Quelle: Computation; May2024, Vol. 12 Issue 5, p106, 18p

    Schlagwörter: SUSTAINABLE engineering, HEAT transfer, AEROSPACE engineers, MATHEMATICAL optimization, PROGRAMMING languages, GRAPHICS processing units

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

    Denotational semantics of recursive types in synthetic guarded domain theory.

    Autoren: MØGELBERG, RASMUS E. PAVIOTTI, MARCO

    Quelle: Mathematical Structures in Computer Science; Mar2019, Vol. 29 Issue 3, p465-510, 46p

    Schlagwörter: DENOTATIONAL semantics, RECURSIVE functions, PROGRAMMING languages, FIXED point theory, CALCULUS

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

Suchwerkzeuge: