• seL4

  • Referenced in 90 articles [sw15222]
  • verification of the seL4 microkernel from an abstract specification down to its C implementation ... unique design approach that fuses formal and operating systems techniques. To our knowledge, this ... functional correctness of a complete, general-purpose operating-system kernel. Functional correctness means here that ... implementation always strictly follows our high-level abstract specification of kernel behaviour. This encompasses traditional...
  • Pascal-SC

  • Referenced in 30 articles [sw30417]
  • functions with general types, an operator concept for abstract data types, overloading of procedures, functions...
  • DUNE-FEM

  • Referenced in 38 articles [sw03084]
  • discrete function spaces and operators, we derive a general abstraction for a large class...
  • UFO

  • Referenced in 23 articles [sw09570]
  • algorithms. It allows definition of different abstract post operators, refinement strategies and exploration strategies ... three instantiations of the framework: a predicate abstraction-based version, an interpolation-based version...
  • Dagger

  • Referenced in 15 articles [sw04953]
  • refine such abstract interpretations to reduce false errors: (1) a new operator called interpolated widen ... refinement algorithm, which refines abstract ... interpretations that use the join operator to merge abstract states at join points. We have...
  • ARock

  • Referenced in 30 articles [sw16800]
  • fixed point to a nonexpansive operator, i.e., x * =Tx * , abstracts many problems in numerical linear ... locks. We prove that if the nonexpansive operator T has a fixed point, then with...
  • Transfer

  • Referenced in 27 articles [sw21009]
  • Quotients, subtypes, and other forms of type abstraction are ubiquitous in formal reasoning with higher ... build a library of operations and theorems about an abstract type, but they want...
  • Lifting

  • Referenced in 27 articles [sw21010]
  • Quotients, subtypes, and other forms of type abstraction are ubiquitous in formal reasoning with higher ... build a library of operations and theorems about an abstract type, but they want...
  • Eden

  • Referenced in 28 articles [sw22186]
  • presented an operational specification of DREAM, the distributed abstract machine for Eden. In this paper...
  • Sundance

  • Referenced in 19 articles [sw10599]
  • constrained optimization often require application of operators and solution of systems of equations that ... level problem description, using abstract concepts such as functions, operators, and regions. With this high...
  • SETL

  • Referenced in 26 articles [sw36325]
  • availability of these abstract, composite objects, and of powerful mathematical operations upon them, improves programmer...
  • FunArray

  • Referenced in 14 articles [sw13708]
  • choices of bound expressions, segment abstractions and the reduction operator. Once the functor has been ... Arrayal to adjust and experiment with the abstractions and the algorithms to obtain the appropriate...
  • rgdal

  • Referenced in 28 articles [sw15932]
  • Geospatial Data Abstraction Library (GDAL) (>= 1.6.3) and access to projection/transformation operations from the PROJ.4 library...
  • Facile

  • Referenced in 22 articles [sw08679]
  • language supports both function and process abstraction. Functions may be defined and used within processes ... present two different descriptions of the operational semantics of Facile. First, we develop a structural ... about the operational behavior of Facile programs. We then provide an abstract model of implementation...
  • Kokkos

  • Referenced in 25 articles [sw20455]
  • Kokkos library also provides data abstractions to adjust (at compile time) the memory layout ... utilization of special hardware load and store operations. Such data structures are used in LAMMPS ... affect how the kernel is coded. These abstractions are set at build time, when LAMMPS ... with the KOKKOS package installed. All Kokkos operations occur within the context of an individual...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • takes from functional programming the concept of abstract data types and the function evaluation principle ... aspect is taken into account through choice operations and a backtracking capability...
  • Bedwyr

  • Referenced in 22 articles [sw09460]
  • must behavior in operational semantics. The second is that higher-order abstract syntax is directly...
  • scunac

  • Referenced in 3 articles [sw21328]
  • define object level application and lambda abstraction operators (in the spirit of higher-order abstract...
  • Lackwit

  • Referenced in 4 articles [sw08939]
  • identify abstract data types, detect abstraction violations, find unused variables, functions, and fields ... data structures, detect simple errors in operations on abstract datatypes, and locate sites of possible...