You searched for: typsystem (Tyska - Engelska)

typsystem timezone
type

in der tat erlaubt c++ durch sein stärkeres typsystem einige
i recall people migrating from c to c++. writing pretty bad c++ code.

erzeugung mehrerer kanäle in einem iff-typsystem gestattendes verfahren und vorrichtung
method and apparatus enabling to generate several channels within a type iff system

das statische typsystem von ocaml stellt sicher, dass programmierer, die an anderen stellen mit werten vom typ t arbeiten, nur die passenden funktionen verwenden können (z.
ocaml also supports the creation of libraries of ocaml functions that can be linked to a "main" program in c, so that one could distribute an ocaml library to c programmers who have no knowledge nor installation of ocaml.

dieses kapitel behandelt anwenderdefinierte datentypen und vervollständigt unser wissen über das pascal typsystem. nun sind wir in der lage uns den anweisungen zuzuwenden, die die sprache bereitstellt, um mit den variablen zu arbeiten, die wir definiert haben.
this chapter discussing user-defined data types complete our coverage of pascal type system. now we are ready to look into the statements the language provides to operate on the variables we've defined.

opc ua definiert ein generisches objektmodell inklusive dem zugehörigen typsystem. zuätzlich zu diesem datenmodell wurden regeln definiert, die beschreiben wie man jedes physikalische system in eine ua-konformes modell transformiert, um es im opc server zu repräsentieren.
opc ua defines a generic object model including the associated type system. in addition to this data model, rules have been defined to describe how to transform every physical system into a model conforming with opc ua to represent it in an opc ua server.

"puma programm- und modell-analyse" ist der titel des graduiertenkollegs, das vier aktuelle ansätze zur modell- und programmanalyse untersuchen und weiterentwickeln will: die verifikation durch theorembeweise, das model checking, die abstrakte interpretation und die typsysteme. alle vier sollen auf ihre gemeinsamen und komplementären grundlagen hin betrachtet und in praktisch nutzbaren tools eingesetzt werden.
"puma program and model analysis" is the title of a research training group that aims to study and develop four current approaches to model and program analysis - verification by proof of theory, model checking, abstract interpretation and type systems. all four of these approaches will be investigated on their common and complementary basis and used in practical tools.