Year of publication
Type of material
Licence
Language
TIB reading rooms collection
Synonyms were used for: Declarative Programming
Search without synonyms: keywords:("Declarative Programming")
Used synonyms:
- deklarative programmierung
- denotationelle programmierung
- deskriptive programmierung
- nichtprozedurale programmierung
-
Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming : July 20 - 22, 2011, Odense, Denmark
TIBKAT | 2011|Keywords: Deklarative Programmierung -
Parameterized complexity in the polynomial hierarchy : extending parameterized complexity theory to higher levels of the hierarchy
TIBKAT | 2019|Keywords: Deklarative Programmierung -
Declarative logic programming : theory, systems, and applications
TIBKAT | 2018|Keywords: Declarative programming -
ConFuzz: Coverage-Guided Property Fuzzing for Event-Driven Programs
TIBKAT | 2021|Keywords: Deklarative Programmierung -
A Family of Unification-Oblivious Program Transformations and Their Applications
TIBKAT | 2021|Keywords: Deklarative Programmierung -
On Adding Pattern Matching to Haskell-Based Deeply Embedded Domain Specific Languages
TIBKAT | 2021|Keywords: Deklarative Programmierung -
Practical aspects of declarative languages : 23rd international symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021 : proceedings
TIBKAT | 2021|Keywords: Deklarative Programmierung -
Lightweight Declarative Server-Side Web Programming
TIBKAT | 2021|Keywords: Deklarative Programmierung -
Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo
TIBKAT | 2022|Keywords: Deklarative Programmierung -
Principles and practice of declarative programming : PPDP'12 ; proceedings of the 2012 ACM SIGPLAN ; September 19 - 21, 2012, Leuven, Belgium ; [the 14th Symposium on Principles and Practice of Declarative Programming]
TIBKAT | 2012|Keywords: Deklarative Programmierung, Declarative programming -
Declarative programming and knowledge management : Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017 : revised selected papers
TIBKAT | 2018|Keywords: Deklarative Programmierung -
Causal-Consistent Reversible Debugging: Improving CauDEr
TIBKAT | 2021|Keywords: Deklarative Programmierung -
A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States
TIBKAT | 2021|Keywords: Deklarative Programmierung -
KBSET — Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative IX Markup and a Core Written in SWI-Prolog
TIBKAT | 2020|Keywords: Deklarative Programmierung
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.