Zum Inhalt springen

Suchergebnisse

Ähnlicher Begriff: semantic programming language

Der Artikel „Semantics programming languages“ existiert in der deutschsprachigen Wikipedia nicht. Du kannst den Artikel erstellen (Quelltext-Editor, Anleitung).
Wenn dir die folgenden Suchergebnisse nicht weiterhelfen, wende dich bitte an die Auskunft oder suche nach „Semantics programming languages“ in anderssprachigen Wikipedias.

  • Vorschaubild für Edsger W. Dijkstra
    Edsger W. Dijkstra
    ): Programming Languages: NATO Advanced Study Institute. Academic Press, 1968, S. 43–112. Mit Ole-Johan Dahl und Tony Hoare: Structured Programming. Academic…
    9 KB (921 Wörter) - 13:31, 20. Apr. 2024
  • Vorschaubild für Neuro-Linguistisches Programmieren
    Neuro-Linguistisches Programmieren
    Reading 2010, ISBN 978-1-907496-11-0.  Karen Stolznow: Bad Language. Not-so Linguistic Programming. In: Skeptic. Band 15, Nr. 4, 2010, S. 7.  Barry L. Beyerstein:…
    57 KB (6.606 Wörter) - 09:33, 19. Dez. 2025
  • Semantik (Logik)
    ISBN 3-540-16816-8. Manfred Droste, Yuri Gurevich (Hrsg.): Semantics of Programming Languages and Model Theory (Algebra, Logic, and Application; Bd. 5)…
    5 KB (555 Wörter) - 20:15, 13. Jun. 2022
  • Vienna Definition Language
    Prentice Hall International, 1982. ISBN 0-13-880733-7 P. Lucas: "Formal Semantics of Programming Languages: VDL," IBM J. Res. Develop. 25,549-561 (1981)…
    2 KB (191 Wörter) - 20:30, 17. Apr. 2024
  • Auszeichnungssprache (Weiterleitung von „Markup Language“)
    (englisch descriptive markup languages) im Gegensatz zu „prozeduralen Auszeichnungssprachen“ (englisch procedural markup languages) gesprochen; wann eine Aussprache…
    82 KB (7.631 Wörter) - 21:38, 27. Sep. 2025
  • Backus-Naur-Form
    Syntax Description (englisch).  Saul Gorn: Specification languages for mechanical languages and their processors – a baker’s dozen. In: Communications…
    17 KB (1.728 Wörter) - 10:58, 21. Dez. 2025
  • Sabine Glesner
    Glesner, W. Zimmermann: Natural Semantics as a Static Program Analysis Framework. In: ACM Transactions on Programming Languages and Systems (TOPLAS). Band…
    6 KB (572 Wörter) - 10:55, 13. Apr. 2023
  • Peter J. Landin
    book Programming from First Principles by Richard Bornat. Published by Prentice Hall, 1987. ISBN 9780137291045. Program Verification and Semantics: Report…
    7 KB (828 Wörter) - 20:35, 19. Mär. 2023
  • Liste von Abkürzungen (Computer)
    Interrupt Controller APIPA Automatic Private IP Addressing APL A Programming Language APL Abschlusspunkt Linientechnik APM Advanced Power Management APOP…
    66 KB (42 Wörter) - 16:42, 20. Jan. 2026
  • Jaco de Bakker
    Amsterdam bei Aad van Wijngaarden promoviert (Formal Description of Programming Languages: with an application to the definition of ALGOL 60). De Bakker war…
    3 KB (239 Wörter) - 08:36, 25. Okt. 2024
  • Vorschaubild für Gordon Plotkin
    Gordon Plotkin
    Structural Operational Semantics) mit John C. Mitchell: Abstract types have existential type, ACM Transactions on Programming Languages and Systems 10, 1988…
    3 KB (258 Wörter) - 19:22, 13. Nov. 2023
  • Vorschaubild für Helmut Schnelle
    Helmut Schnelle
    Cahiers du XXe siècle, no. II. Paris: Klincksieck. Schnelle, H. (1981). Semantics and pragmatics in psycho-physiological context. Pp. 211-220, in: Klein…
    21 KB (2.573 Wörter) - 22:33, 9. Jan. 2026
  • PL/S
    PL/S, Programming Language/Systems. In: Proc GUIDE Intl GUIDE 34, May 14, 1972, S. 540–556. Gio Wiederhold, John Ehrman: Inferred SYNTAX and SEMANTICS of…
    973 Bytes (122 Wörter) - 17:56, 28. Jun. 2020
  • Vorschaubild für Peter W. O’Hearn
    Peter W. O’Hearn
    BI as an assertion language for mutable data structures, Proceedings of the 28. Symposium on Principles of Programming Languages (POPL) 2001, S. 36–49…
    4 KB (492 Wörter) - 17:28, 14. Jan. 2025
  • Abstrakter Datentyp
    Transaction on Programming Languages ans Systems, Vol. 10, No. 3, Juli 1988, S. 470–502. Peter Müller: Introduction to Object-Oriented Programming Using C++…
    15 KB (1.746 Wörter) - 11:24, 10. Feb. 2022
  • Vorschaubild für Wissen
    Wissen
    0-444-52211-5. Hermann Helbig: Knowledge Representation and the Semantics of Natural Language. Springer, 2005, ISBN 3-540-24461-1. Hartmut Krech: Wieviel…
    110 KB (13.021 Wörter) - 10:47, 22. Jan. 2026
  • Eugene Charniak
    Wills: Computational Semantics, North Holland 1976 mit Chris Riesbeck, Drew McDermott, James Meehan: Artificial Intelligence Programming, Lawrence Erlbaum…
    3 KB (253 Wörter) - 17:31, 9. Mai 2024
  • Vorschaubild für Mila Majster-Cederbaum
    Mila Majster-Cederbaum
    To Interpret And Establish Consistency Results For Semantics Of Concurrent Programming Languages. Fundam. Inf. 29, 3 (August 1997), 225–256. Lambertz…
    7 KB (692 Wörter) - 21:41, 12. Okt. 2025
  • Semantic Web
    vieles mehr. Relevante Zeitschriften sind vor allem das Journal of Web Semantics bei Elsevier, das Journal of Applied Ontologies und das Semantic Web Journal…
    33 KB (4.012 Wörter) - 21:07, 4. Feb. 2026
  • Vorschaubild für Martin Wirsing (Informatiker)
    Martin Wirsing (Informatiker)
    Event-Based Structural Operational Semantics of Multi-Threaded Java. In: Jim Alves-Foss (ed.): Formal Syntax and Semantics of Java, Lect. Notes Comp. Sci…
    12 KB (1.209 Wörter) - 16:04, 24. Nov. 2025
Abgerufen von „https://de.wikipedia.org/wiki/Spezial:Suche“