Katalog der Deutschen Nationalbibliothek

Go to:

Knowledge Web

Subject heading
Subject heading

Allgemeinbegriff

Funktionale Semantik

Formale Semantik

Subject heading

Funktionale Semantik

Synonym

Denotationale Semantik
Mathematische Semantik
Scottsche Semantik
Fixpunktsemantik
Funktionensemantik

Broader term

Formale Semantik

Topic

Informatik, Datenverarbeitung
Allgemeine Sprachtheorie

Source

Lex. Informatik

Record type

Allgemeinbegriff

GND-Identifier

4194483-5

Record ID

041944836

Topic of

show all

Eine Fixpunkt-Semantik für temporal stratifizierte Programme

Semantics of probabilistic typed lambda calculus : markov chain semantics, termination behavior, and denotational semantics

Semantics of the Probabilistic Typed Lambda Calculus : Markov Chain Semantics, Termination Behavior, and Denotational Semantics

La imperfectividad en la prensa española y su relación con las categorías semánticas de modalidad y evidencialidad

La imperfectividad en la prensa española y su relación con las categorías semánticas de modalidad y evidencialidad

"Wem muss das Schnitzel schmecken, damit es lecker ist?"

Optimised modal translation and resolution

The Parametric Lambda Calculus : A Metamodel for Computation

Action refinement in end based choice settings

Action refinement in end-based choice settings

Konstruktion relationaler Kategorien

The parametric lambda calculus : a meta-model for computation

Verbale Präfigierung im Mittelhochdeutschen : eine semantisch-funktionale Korpusanalyse

Verbale Präfigierung im Mittelhochdeutschen : Eine semantisch-funktionale Korpusanalyse

Bereichstheoretische Semantik der linearen Logik

Intensional equality for process calculi based on ε-structures [epsilon-structures]

Principles of declarative programming : 10th international symposium ; proceedings

Semantik von Programmiersprachen

A fully abstract model for sequential computation

Intensional equality for process calculi based on ε-structures [epsilon-structures]

Aspekte des funktional-semantischen Feldes der Art und Weise im modernen Englisch

Continuous D-cones: convexity and powerdomain constructions

Denotationelle Analysen funktional-logischer Programme

Comparative metric semantics of programming languages : nondeterminism and recursion

Games and full abstraction for a functional metalanguage with recursive types

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Modeling interaction and causality : a two-level declarative approach

Principles of declarative programming : 10th international symposium ; proceedings

Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdeterminismus in Programmiersprachen

Ein denotationales Modell für parallele objektbasierte Systeme

Ein denotationales Modell für parallele objektbasierte Systeme

Logically timed Chu process semantics for statecharts

Optimised modal translation and resolution

Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion

Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen

INCH - ein Konzept für interactive computational hypermedia auf der Basis einer funktionalen Objektinterpretation

Mathematische und operationale Semantik funktionaler Programmiersprachen

Faire Semantiken

Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems

Techniques for Modelling Structured Operational and Denotational Semantics Definitions with Term Rewriting Systems

Vergleich zweier Theorien nebenläufiger Prozesse

Software-Bewertung : ein semantischer Ansatz für Informationsmasse

Software-Bewertung : Ein semantischer Ansatz für Informationsmaße

Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme

Logic of domains

Logic of Domains

MetaSoft primer : towards a metalanguage for applied denotational semantics

Backus-FP : e. funktionales Programmiersystem

Der Funktionenstab op. 27
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal