Formal software verification includes specifications, tools, and interactivity with the developer. By combining these key components into a programming language and a familiar programming environment with high automat...
详细信息
Formal software verification includes specifications, tools, and interactivity with the developer. By combining these key components into a programming language and a familiar programming environment with high automation, Dafny makes verification more easily accessible to programmers and students.
作者：
BARTH, GFachbereich Informatik
Universität Kaiserslautern Postfach 3049 D-6750 Kaiserslautern Federal Republic of Germany
This paper is concerned with an extension of context-free LL(k) grammars, called RLL(k) grammars. RLL(k) grammars are powerful enough to generate non-context-free languages. In particular context-sensitive constructs ...
详细信息
This paper is concerned with an extension of context-free LL(k) grammars, called RLL(k) grammars. RLL(k) grammars are powerful enough to generate non-context-free languages. In particular context-sensitive constructs of programming languages can be formalized conveniently. RLL(k) grammars have the pleasant property that fast syntactical check procedures exist. An algorithm for syntactical analysis with linear average cost is developed in this paper. A worst case quadratic upper bound is derived.
Python is a powerful high-level open source programming language that is available for multiple platforms. It supports object-oriented programming and has recently become a serious alternative to low-level compiled la...
详细信息
Python is a powerful high-level open source programming language that is available for multiple platforms. It supports object-oriented programming and has recently become a serious alternative to low-level compiled languages such as C++. It is easy to learn and use, and is recognized for very fast development times, which makes it suitable for rapid software prototyping as well as teaching purposes. We motivate the use of Python and its free extension modules for high performance stand-alone applications in econometrics and statistics, and as a tool for gluing different applications together. (It is in this sense that Python forms a "unified" environment for statistical research.) We give details on the core language features, which will enable a user to immediately begin work, and then provide practical examples of advanced uses of Python. Finally, we compare the run-time performance of extended Python against a number of commonly-used statistical packages and programming environments.
Parsing in the syntactical analysis of LR(k) grammars has characteristically demanded knowledge of k lookahead symbols, even though this knowledge is rarely needed. This parsing procedure is one reason why the usual ...
详细信息
Parsing in the syntactical analysis of LR(k) grammars has characteristically demanded knowledge of k lookahead symbols, even though this knowledge is rarely needed. This parsing procedure is one reason why the usual parsing tables (UTs) frequently have excessive dimensions. An alternative method applies reduced tables (RTs) to any collection of LR(k) sets of time. More auxiliary tables can be developed as needed to be used by the parser as guides for examining the lookahead symbols that follow the actual token. An example is presented of a parse carried out using RTs.
The programming language Pascal is considered as one of the most interesting computer system simulation tools. This paper discusses design facilities required in simulation languages, making use of a model described i...
详细信息
The programming language Pascal is considered as one of the most interesting computer system simulation tools. This paper discusses design facilities required in simulation languages, making use of a model described in Pascal. An important area is seen to be that of queues, lists or sets, and the facilities that are powerful yet simple to use are stressed. The problem of parallelism and synchronization in a simulator is solved. The structure of the simulator is considered.
We describe here the Genotype Specification language (GSL), a language that facilitates the rapid design of large and complex DNA constructs used to engineer genomes. The GSL compiler implements a high-level language ...
详细信息
We describe here the Genotype Specification language (GSL), a language that facilitates the rapid design of large and complex DNA constructs used to engineer genomes. The GSL compiler implements a high-level language based on traditional genetic notation, as well as a set of low-level DNA manipulation primitives. The language allows facile incorporation of parts from a library of cloned DNA constructs and from the "natural" library of parts in fully sequenced and annotated genomes. GSL was designed to engage genetic engineers in their native language while providing a framework for higher level abstract tooling. To this end we define four language levels, Level 0 (literal DNA sequence) through Level 3, with increasing abstraction of part selection and construction paths. GSL targets an intermediate language based on DNA slices that translates efficiently into a wide range of final output formats, such as FASTA and GenBank, and includes formats that specify instructions and materials such as oligonucleotide primers to allow the physical construction of the GSL designs by individual strain engineers or an automated DNA assembly core facility.
Major computational challenges exist in relation to the collection, curation, processing and analysis of large genomic and imaging datasets, as well as the simulation of larger and more realistic models in systems bio...
详细信息
Major computational challenges exist in relation to the collection, curation, processing and analysis of large genomic and imaging datasets, as well as the simulation of larger and more realistic models in systems biology. Here we discuss how a relative newcomer among programming languages—Julia—is poised to meet the current and emerging demands in the computational biosciences and beyond. Speed, flexibility, a thriving package ecosystem and readability are major factors that make high-performance computing and data analysis available to an unprecedented degree. We highlight how Julia’s design is already enabling new ways of analyzing biological data and systems, and we provide a list of resources that can facilitate the transition into Julian computing.
This note describes mathematical modeling and programming and determines that they are essentially the same activity. However, differences in the way that the products of the two activities are used force them to be a...
详细信息
This note describes mathematical modeling and programming and determines that they are essentially the same activity. However, differences in the way that the products of the two activities are used force them to be applied in very different ways with very different goals. A result of these differences is that programming is harder than mathematical modeling, in that the model that the former produces must be more complete than the model that the latter produces. This note concludes with questions raised to encourage a discussion on the issues.
The Synthetic Biology Open language (SBOL) is an emerging synthetic biology data exchange standard, designed primarily for unambiguous and efficient machine communication. However, manual editing of SBOL is generally ...
详细信息
The Synthetic Biology Open language (SBOL) is an emerging synthetic biology data exchange standard, designed primarily for unambiguous and efficient machine communication. However, manual editing of SBOL is generally difficult for nontrivial designs. Here, we describe ShortBOL, a lightweight SBOL scripting language that bridges the gap between manual editing, visual design tools, and direct programming. ShortBOL is a shorthand textual language developed to enable users to create SBOL designs quickly and easily, without requiring strong programming skills or visual design tools.
Software developers seek a standard object-oriented database management system as a substrate on which to build object-oriented products. Convinced of the real value of object-oriented benefits, independent software v...
详细信息
Software developers seek a standard object-oriented database management system as a substrate on which to build object-oriented products. Convinced of the real value of object-oriented benefits, independent software vendors seek a platform to minimize development risk. A minimalist position is compared to the object-oriented database programming language position and the latter is shown to be the cleanest but pragmatic considerations may intervene.
暂无评论