Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Thinking Intellekt

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/sources/formale Sprachen/VDM/VDMPP/CodegenPP/AST/simple/impl/

Quellcodebibliothek

Verzeichnis products/sources/formale Sprachen/VDM/VDMPP/CodegenPP/AST/simple/impl/

SimpleApplyExpressionImpl.vdmpp
SimpleBasicTypeImpl.vdmpp
SimpleBinaryExpressionImpl.vdmpp
SimpleBinaryOperatorImpl.vdmpp
SimpleBooleanLiteralExpressionImpl.vdmpp
SimpleCaseAlternativeImpl.vdmpp
SimpleCasesExpressionImpl.vdmpp
SimpleDefinitionImpl.vdmpp
SimpleElseIfExpressionImpl.vdmpp
SimpleExpressionImpl.vdmpp
SimpleFunctionDefinitionImpl.vdmpp
SimpleIdentifierImpl.vdmpp
SimpleIfExpressionImpl.vdmpp
SimpleIntegerLiteralExpressionImpl.vdmpp
SimpleLetExpressionImpl.vdmpp
SimpleLiteralExpressionImpl.vdmpp
SimpleLocalDefinitionImpl.vdmpp
SimpleNodeImpl.vdmpp
SimpleParameterImpl.vdmpp
SimpleRealLiteralExpressionImpl.vdmpp
SimpleSpecificationImpl.vdmpp
SimpleTypeDefinitionImpl.vdmpp
SimpleTypeImpl.vdmpp
SimpleUnaryExpressionImpl.vdmpp
SimpleUnaryOperatorImpl.vdmpp
SimpleVariableExpressionImpl.vdmpp