The type system
LogicGuard Type System
... the type system developed for the LogicGuard specification ...statically type checked. Based on the language specification we derived the type system’s judgments and rules, and accordingly the ...
13
A Generic Type-and-Effect System
... effect system are uniformly instru- mented with invocations of these two functions, which are the only parts of the type system that directly modify or inspect ...the type system, ...
12
A Type and Effect System for Atomicity
... the type system outlined so far to handle the additional features of Java, including ar- rays, interfaces, constructors, static fields and methods, in- ner classes, and so ...extra type and atomicity ...
12
A Type Management System for an ODP Trader
... ODP system facilitates cooperation of autonomous and independently created distributed systems, its type model should be able to express any type which can be defined in any specification or ...
12
CiteSeerX — A type and effect system for atomicity
... the type system outlined so far to handle the additional features of Java, including ar- rays, interfaces, constructors, static fields and methods, in- ner classes, and so ...extra type and atomicity ...
12
A Type System for Reflective Program Generators
... generator type safety notion means that the type system should exclude generators that lead to non-typesafe code at the time of generator ex- ...Genoupe type system. The Genoupe ...
65
A Type System and Type Soundness for the Calculus of Aspect-Oriented Programming Languages
... Calculus”. Type safety or type soundness is an important property of any type system and according to which a term must preserve its type in the process of reduction or ...of ...
6
Language with a Pluggable Type System and Optional Runtime Monitoring of Type Errors
... the type system can be purely ...runtime type errors, or error messages may show up far away from the actual source of the ...runtime type monitoring, which can be considerable for a more ...
12
A behavioral type inference system for compositional system-on-chip design
... module system, that reduces compositional design correct- ness verification to the validation of synthesized proof obli- ...proposed type system allows to capture the behavior of an entire ...
10
Typed Lua: An Optional Type System for Lua
... Typed Lua is a work in progress: while the design cov- ers most of the Lua language as it is actually used by Lua programmers, there are missing parts. A major omission of the current version is the lack of polymorphic ...
10
A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS
... a type soundness theorem and ...traditional type correctness concerns with secure-flow ...the type system can be automated, using standard type inference techniques, to analyze programs ...
20
A Conservative Type System Based on Fractional Permissions
... conservative type system described in this dissertation is written in Twelf [PS99, PS02], which is an implementation of LF logical framework [HHP93] that is especially useful for proving properties of ...
135
Comparative Study of Type-1 and Type-2 Fuzzy System in Decision Support System
... Percentage of Provision 86,86 86,22 85,60 84,80 Output Final 91,89 90,24 86,28 76,42 Recommended Decision Selected Selected Selected Under Consideration Type-2 fuzzy took about 56 times longer than type-1 ...
10
On a Max Type Difference System
... Difference System 1. Introduction Max-type difference equations and max-type difference systems have been wisely applied in biology, computer science and automatic control systems and so ...
10
System x3550. Type 7978
... operating system starts, disable any automatic server restart (ASR) utilities, such as the IBM Automatic Server Restart IPMI Application for Windows, or ASR devices that may be ...operating system starts, ...
102
System x3650 Type 7979
... The UpdateXpress program The UpdateXpress program is available for most System x and xSeries servers and server optional devices. It detects supported and installed device drivers and firmware in the server and ...
5
A Bidirectional Refinement Type System for LF
... including type reconstruction, unification, and proof search, to name a few; these questions will have to be answered before refinement types can be integrated into a practical ...refinement system to more ...
15
Bunyaviruses and the type I interferon system
... Received: 21 September 2009; in revised form: 11 November 2009 / Accepted: 20 November 2009 / Published: 23 November 2009 Abstract: The family Bunyaviridae contains more than 350 viruses that are distributed throughout ...
19
IBM System x3550 Type 7978
... Select this choice to view or change the start options, including the startup sequence, keyboard NumLock state, PXE boot option, and PCI device boot priority. Changes in the startup options take effect when you start the ...
Towards a Type System for Security APIs
... Bengtson et al. [15] have developed an extended typechecker for F# code that is annotated with refinement types. A refinement type includes a logical formula which places restrictions upon the associated term. ...
18