• Spoofax

  • Referenced in 11 articles [sw16988]
  • language semantics using rewrite rules, showing how analyses can be reused for transformations, code generation...
  • BPEL2PN

  • Referenced in 18 articles [sw06954]
  • BPEL2PN is a Java-based compiler that transforms a process specified in the Business Process ... Petri net according to the Petri net semantics. The output format of BPEL2PN...
  • ZRC

  • Referenced in 14 articles [sw21827]
  • conversion laws, which are concerned with the transformation of Z schemas into programs of this ... language. Moreover, we present the weakest precondition semantics of ZRC-L, which is the basis...
  • TCOZ

  • Referenced in 8 articles [sw03382]
  • detecting static semantic errors of the TCOZ specification, then illustrates a transformation tool to automatically...
  • Vellvm

  • Referenced in 6 articles [sw13286]
  • representation and transformations that operate on it. Vellvm provides a mechanized formal semantics of LLVM ... extract an interpreter from the Coq formal semantics that can execute programs from LLVM test ... formalize and verify a previously proposed transformation that hardens C programs against spatial memory safety...
  • Proteus

  • Referenced in 2 articles [sw26746]
  • presentation of a semantically correct view of the program during transformation. Many existing automated transformation ... semantic of the program remains obscured resulting in the need for complicated analysis during transformation...
  • RefactorErl

  • Referenced in 4 articles [sw13674]
  • comment preservation during transformations. The result of different static semantic analysis is available through...
  • NINJA

  • Referenced in 37 articles [sw02398]
  • capable of performing the advanced loop transformations and automatic parallelization that are now common ... conventional, optimizations. Two compiler techniques, versioning and semantic expansion, can be leveraged to allow fully...
  • Kermeta

  • Referenced in 8 articles [sw10062]
  • abstract syntax, static semantics (OCL) and dynamic semantics with connection to the concrete syntax; model ... meta-model prototyping and simulation; model transformation; aspect weaving...
  • REFINER

  • Referenced in 3 articles [sw24290]
  • define behavioural transformations applicable on formal models of concurrent systems, reason about semantics preservation...
  • INFUSE

  • Referenced in 2 articles [sw02950]
  • sources, their integration, preparation and transformation, analysis of syntactic, semantic and temporal structures as well...
  • FrameNet

  • Referenced in 5 articles [sw01965]
  • open question how to operationalize semantic information on a larger scale. As a basis ... lexicographic perspective. Our main contribution is a transformation of the FrameNet II frames into ... transformation. Together with methods for automatic annotation of text documents with frame semantics which...
  • Ontograte

  • Referenced in 1 article [sw00651]
  • discovery and query translation by transforming database schemas to Semantic Web ontologies; (ii) we developed...
  • nQML

  • Referenced in 1 article [sw22184]
  • density matrices and unitary transformations, inspired by Selinger’s semantics for QPL. Our semantics leads...
  • NetSDM

  • Referenced in 1 article [sw28408]
  • that uses annotated data together with complex semantic background knowledge to learn rules that ... approach, named NetSDM, which first transforms the available semantic background knowledge into a network format...
  • BYTESURGEON

  • Referenced in 2 articles [sw09135]
  • bytecode transformation for Smalltalk. Transforming programs to alter their semantics is of wide interest ... This paper presents BYTESURGEON, a library to transform binary code in Smalltalk. BYTESURGEON takes full...
  • PointNet

  • Referenced in 22 articles [sw31209]
  • irregular format, most researchers transform such data to regular 3D voxel grids or collections ... from object classification, part segmentation, to scene semantic parsing. Though simple, PointNet is highly efficient...
  • ArcAngel

  • Referenced in 14 articles [sw01812]
  • tactics, and using them as single transformation rules. Also, it is useful to have ... refinement tactics; we present the language, its semantics, and some of its algebraic laws. Apart...
  • InvX

  • Referenced in 10 articles [sw10103]
  • compile-time, expressions for the inverses are transformed so that no unification is required ... execution comparable with that of reduction-based semantics. We have also described the incorporation...
  • GPUVerify

  • Referenced in 10 articles [sw11260]
  • show for terminating kernels that either both semantics compute identical results or both behave erroneously.par ... control flow graphs to be verified via transformation to a sequential program that employs predicated...