Results 11 to 20 of about 273,321 (221)
Programs as Polypeptides [PDF]
, 2015 We describe a visual programming language for defining behaviors manifested by reified actors in a 2D virtual world that can be compiled into programs comprised of sequences of combinators that are themselves reified as actors.
Williams, Lance R.
core +1 more source
Observation and abstract behaviour in specification and implementation of state-based systems [PDF]
, 2001 Classical algebraic specification is an accepted framework for specification. A criticism which applies is the fact that it is functional, not based on a notion of state as most software development and implementation languages are.
Pahl, Claus
core +2 more sources
A Non-Null Annotation Inferencer for Java Bytecode [PDF]
, 2008 We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completeness with respect to a state of the art type system.
Hubert, Laurent
core +6 more sources
PROSET — A Language for Prototyping with Sets [PDF]
, 1992 We discuss the prototyping language PROSET(Prototyping with Sets) as a language for experimental and evolutionary prototyping, focusing its attention on algorithm design.
Doberkat, Ernst-Erich +5 more
core +2 more sources
A partial breadth-first execution model for prolog [PDF]
, 1994 MEM (Multipath Execution Model) is a novel model for the execution of Prolog programs which combines a depth-first and breadth-first exploration of the search tree.
González Colás, Antonio María +1 more
core +1 more source
Degrees of tenant isolation for cloud-hosted software services: a cross-case analysis
Journal of Cloud Computing: Advances, Systems and Applications, 2018 A challenge, when implementing multi-tenancy in a cloud-hosted software service, is how to ensure that the performance and resource consumption of one tenant does not adversely affect other tenants.
Laud Charles Ochei +2 more
doaj +1 more source
CFA2: a Context-Free Approach to Control-Flow Analysis [PDF]
, 2011 In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and return well: they remember only a bounded number of pending calls because they approximate
Andrew Gordon +7 more
core +2 more sources
Sweet spot prediction in tight sandstone reservoir based on well-bore rock physical simulation
Petroleum Science, 2019 To establish the relationship among reservoir characteristics and rock physical parameters, we construct the well-bore rock physical models firstly, considering the influence factors, such as mineral composition, shale content, porosity, fluid type and ...
Hai-ting Zhou +4 more
doaj +1 more source
Skeletons of stable maps II: Superabundant geometries [PDF]
, 2017 We implement new techniques involving Artin fans to study the realizability of tropical stable maps in superabundant combinatorial types. Our approach is to understand the skeleton of a fundamental object in logarithmic Gromov--Witten theory -- the stack
Ranganathan, Dhruv
core +2 more sources
Sawja: Static Analysis Workshop for Java [PDF]
, 2010 Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java.
A.P. Ershov +16 more
core +6 more sources