1–20 of 67 hits
Sort by:
Sort by:
-
Verification of Certifying Computations through AutoCorres and Simpl
Tema Archive | 2014|Keywords: imperative language -
Environmental bisimulations for probabilistic higher-order languages
Free accessBASE | 2016|Keywords: Imperative language -
Environmental bisimulations for probabilistic higher-order languages
Free accessBASE | 2019|Keywords: Imperative language -
A tour of Tempo: a program specializer for the C language
Elsevier | 2004|Keywords: Imperative language -
Converting an imperative program to a declarative one
Elsevier | 2005|Keywords: Imperative language -
Carrying on the legacy of imperative languages in the future parallel computing era
Elsevier | 2014|Keywords: Imperative language -
Constraint-based partial evaluation for imperative languages
Online Contents | 2002|Keywords: imperative language -
Reusing OCL in the definition of imperative languages
Tema Archive | 2011|Keywords: imperative language, SOIL (simple OCL-based imperative language) -
Enforcing Information Flow by Combining Static and Dynamic Analysis
Tema Archive | 2014|Keywords: imperative language -
Reversible Imperative Parallel Programs and Debugging
Springer Verlag | 2019|Keywords: Imperative language -
Implementing Fudgets with Standard Widget Sets
Springer Verlag | 1994|Keywords: Imperative Language -
Soundness and Completeness of the NRB Verification Logic
Springer Verlag | 2014|Keywords: Imperative Language -
The Semantics of wlp and slp of Fuzzy Imperative Programming Languages
Springer Verlag | 2011|Keywords: Fuzzy imperative language -
Computational Topology via Functional Programming: A Baseline Analysis
Springer Verlag | 2014|Keywords: Imperative Language -
Toward a Standard Benchmark Format and Suite for Floating-Point Analysis
Springer Verlag | 2017|Keywords: Imperative Language -
Implementing Functional Languages on the Transputer
Springer Verlag | 1990|Keywords: Imperative Language -
Verification of Certifying Computations through AutoCorres and Simpl
Springer Verlag | 2014|Keywords: Imperative Language
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:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
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.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.