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

Quellcodebibliothek

Verzeichnis products/sources/formale Sprachen/VDM/VDMPP/CodegenPP/AST/giraffe/intf/

GiraffeBasicType.vdmpp
GiraffeBinaryExpression.vdmpp
GiraffeBinaryOperator.vdmpp
GiraffeBooleanLiteralExpression.vdmpp
GiraffeCaseAlternative.vdmpp
GiraffeCasesExpression.vdmpp
GiraffeClassDefinition.vdmpp
GiraffeDoubleLiteralExpression.vdmpp
GiraffeElseIfExpression.vdmpp
GiraffeExpression.vdmpp
GiraffeIdentifier.vdmpp
GiraffeIfExpression.vdmpp
GiraffeIntegerLiteralExpression.vdmpp
GiraffeLiteralExpression.vdmpp
GiraffeMethodDefinition.vdmpp
GiraffeNode.vdmpp
GiraffeParameter.vdmpp
GiraffeReturnStatement.vdmpp
GiraffeSpecification.vdmpp
GiraffeStatement.vdmpp
GiraffeType.vdmpp
GiraffeUnaryExpression.vdmpp
GiraffeUnaryOperator.vdmpp
GiraffeVariableDeclStatement.vdmpp
GiraffeVariableExpression.vdmpp