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/intf/

Quellcodebibliothek

Verzeichnis products/Sources/formale Sprachen/VDM/VDMPP/CodegenPP/AST/simple/intf/

SimpleApplyExpression.vdmpp
SimpleBasicType.vdmpp
SimpleBinaryExpression.vdmpp
SimpleBinaryOperator.vdmpp
SimpleBooleanLiteralExpression.vdmpp
SimpleCaseAlternative.vdmpp
SimpleCasesExpression.vdmpp
SimpleDefinition.vdmpp
SimpleElseIfExpression.vdmpp
SimpleExpression.vdmpp
SimpleFunctionDefinition.vdmpp
SimpleIdentifier.vdmpp
SimpleIfExpression.vdmpp
SimpleIntegerLiteralExpression.vdmpp
SimpleLetExpression.vdmpp
SimpleLiteralExpression.vdmpp
SimpleLocalDefinition.vdmpp
SimpleNode.vdmpp
SimpleParameter.vdmpp
SimpleRealLiteralExpression.vdmpp
SimpleSpecification.vdmpp
SimpleType.vdmpp
SimpleTypeDefinition.vdmpp
SimpleUnaryExpression.vdmpp
SimpleUnaryOperator.vdmpp
SimpleVariableExpression.vdmpp