All
All

What are you looking for?

All
Projects
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

-
19912025

Join usingOrAnd

Join usingOrAnd

SelectAll/None

    • Show more

SelectAll/None

    • Show more

        • Show more

        • Show more

        • Show more

        • Show more

      • Show more

SelectAll/None

    • Show more

More filters

Results

34 053 results (0,227s) •

Result

Programing with pointers in C languare

In C language lesson it turned out that the programing with pointer is big problem for students in any programing language. However most of the programs do not without pointers and they are important for n...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2006
    • •
  • Jx
Result

Forester: A Tool for Verification of Programs with Pointers

The tool allows verification of programs which manipulate complex dynamic data structures.

IN - Informatika

  • 2010
    • •
  • R
Result

Broom: A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning

Broom is a static analyzer for C written in OCaml. Broom primarily aims at programs that use low-level pointer manipulation to deal with various kinds of linked lists. It is based on separation logic and the principle of bi-abductiv...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2022
    • •
  • R
    • •
  • Link
Result

Monotonic Abstraction for Programs with Multiply-Linked Structures

analysis as means of performing shape analysis on programs with multiply pointed the low level behaviour exhibited by programs written in the C programming language can check properties such as absence of null pointer<...

JC - Počítačový hardware a software

  • 2011
    • •
  • Jx
Result

Monotonic Abstraction for Programs with Multiply-Linked Structures

analysis as means of performing shape analysis on programs with multiply pointed the low level behaviour exhibited by programs written in the C programming language can check properties such as absence of null pointer<...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2013
    • •
  • Jost
    • •
  • Link
Result

Pointer Race Freedom

We propose a novel notion of pointer race for concurrent programs manipulating a shared heap. A pointer race is an access to a memory address which was freed establish two results. (1) Under the assumption of pointer

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2016
    • •
  • D
    • •
  • Link
Result

Low-Level Bi-Abduction

The paper proposes a new static analysis designed to handle open programs, i.e., fragments of programs, with dynamic pointer-linked data structures in particular, various kinds of lists that employ advanced low-level po...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2022
    • •
  • D
    • •
  • Link
Result

From Low-Level Pointers to High-Level Containers

We propose a method that transforms a C program manipulating containers using low-level pointer statements into an equivalent program where the containers modification. The resulting program where the low-level

JC - Počítačový hardware a software

  • 2016
    • •
  • D
    • •
  • Link
Result

Joint Forces for Memory Safety Checking Revisited

on Software Verification (SV-COMP) 2018. The approach can verify programs for standard errors in memory usage like invalid pointer dereference or memory leaking. It is based on instrumentation, static pointer analysis exte...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2020
    • •
  • Jimp
    • •
  • Link
Result

Performance Analysis of Zippers

in cases where the imperative data structures would use a mutable pointer. However, the efficiency of zippers as a replacement for mutable pointers is not sufficiently explored and mutable pointers in two common scenarios ...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2020
    • •
  • D
    • •
  • Link
  • 1 - 10 out of 34 053