• REVE

  • Referenced in 68 articles [sw28907]
  • this paper are taken from abstract data type specifications...
  • OBSCURE

  • Referenced in 7 articles [sw02575]
  • OBSCURE, a specification language for abstract data types. OBSCURE is a specification language for abstract...
  • mCRL

  • Referenced in 31 articles [sw29626]
  • data elements in the form of abstract data types. The μCRL toolset (see http://www.cwi.nl ... supports the analysis and manipulation of μCRL specifications. A μCRL specification can be automatically transformed...
  • ABS

  • Referenced in 31 articles [sw21211]
  • specification. This paper presents ABS, an abstract behavioral specification language for designing executable models ... groups with a functional language for modeling data. ABS uses asynchronous method calls, interfaces ... design issues for ABS and formalize the type system and semantics of Core...
  • RT-ASLAN

  • Referenced in 6 articles [sw30491]
  • language supports specification of parallel real-time processes through arbitrary levels of abstraction; processes ... abstract data type representing shared information. From RT-ASLAN specifications, performance correctness conjectures are generated...
  • DTRE

  • Referenced in 3 articles [sw22672]
  • verified refinement of specifications using operations on abstract data types. The system is semi-automatic ... determine the rest of the implementations. Data types are specified as parameterized theories within many ... theories are centered around inductive sorts. Abstract specifications (theories) are refined in a stepwise fashion...
  • Epigram

  • Referenced in 22 articles [sw09687]
  • word for the way they do go. Abstraction and application, tupling and projection: these provide ... engineering’ superstructure for programs, and our familiar type systems ensure that these operations are used ... programs inspect data and make a choice—at that point our familiar type systems fall ... silent. They simply can’t talk about specific data. All this time, we thought...
  • SMV

  • Referenced in 13 articles [sw04135]
  • tool for checking finite state system against specifications in the temporal logic CTL. The input ... asynchronous and from the detailed to the abstract. One can readily specify a system ... describe finite state machines, the only data types in the language are finite ones. Booleans ... scalars and fixed arrays. Static, structured data types can also be constructed. The logic...
  • TRAM

  • Referenced in 2 articles [sw03369]
  • method of modeling and specifying abstract data types, has been widely attracting attention since they ... about specifications of software systems. In addition, since specifications written in algebraic specification languages ... specification languages can be used as tools for rapid prototyping. TRAM is an abstract machine...
  • sumit

  • Referenced in 1 article [sw11292]
  • combine abstract data types and generic algorithms with efficient special algorithms for specific types ... linear partial differential equations. Its use of abstract generic parsers and interpreters to allow easy...
  • COSTABS

  • Referenced in 5 articles [sw09877]
  • abstract behavioural specification language to model distributed concurrent systems. Characteristic features of ABS are that ... abstracting from implementation details while remaining executable: a functional sub-language over abstract data types...
  • HeteroCL

  • Referenced in 2 articles [sw41597]
  • abstraction that decouples algorithm specification from three important types of hardware customization in compute, data...
  • OOZE

  • Referenced in 3 articles [sw09494]
  • used for structuring and reusing requirements, specifications, or code. Modules can be linked by views ... precisely specified using theories. Abstract data types, multiple inheritance, complex objects, overloading and dynamic binding...
  • TPVM

  • Referenced in 9 articles [sw03347]
  • model that enables straightforward specification of computation based on data dependencies; and (c) a partial ... memory access, with naming and typing of distributed data areas. The latter models offer significantly ... facilities, a portable thread interface module which abstracts the required thread-related services...
  • CAVA Automata Library

  • Referenced in 2 articles [sw28569]
  • automatic refinement of the abstract automata types to efficient data structures. Note that the CAVA ... work in progress. Currently, it is very specifically tailored towards the requirements of the CAVA...
  • Billie

  • Referenced in 1 article [sw27246]
  • accepts building information together with a visualization specification and produces scene graphs for the customized ... Billie provides abstract classes as extension points to implement new BIM input data accessors ... scene graph types as visualization targets. With a domain specific language, the configurations become independent...
  • LOEWE

  • Referenced in 2 articles [sw29143]
  • Each format is specially adapted to support specific tool functionality: processes are used for simulation ... behavior expressions, a translator of LOTOS abstract data type operations to a set of LISP...
  • Simpl

  • Referenced in 2 articles [sw18873]
  • languages (DSLs) are languages designed with the specific purpose of developing or configuring part ... both the parser and the data types for representing abstract syntax trees; support for lexer...
  • Merlin

  • Referenced in 5 articles [sw23076]
  • vulnerabilities such as buffer overruns common in type-unsafe languages such ... specification to operate. In most cases the task of providing such a specification is delegated ... specification. Unfortunately, writing a comprehensive specification presents a major challenge: parts of the specification ... inferring explicit information flow specifications from program code. Such specifications greatly reduce manual labor...
  • Cuneiform

  • Referenced in 1 article [sw26049]
  • Erlang. Cuneiform has been applied in several data-intensive research areas including remote sensing, machine ... abstract syntax, a simple type system, and the semantics of evaluation. Providing an unambiguous specification...