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

Quellcodebibliothek

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

GiraffeBasicTypeImpl.vdmpp
GiraffeBinaryExpressionImpl.vdmpp
GiraffeBinaryOperatorImpl.vdmpp
GiraffeBooleanLiteralExpressionImpl.vdmpp
GiraffeCaseAlternativeImpl.vdmpp
GiraffeCasesExpressionImpl.vdmpp
GiraffeClassDefinitionImpl.vdmpp
GiraffeDoubleLiteralExpressionImpl.vdmpp
GiraffeElseIfExpressionImpl.vdmpp
GiraffeExpressionImpl.vdmpp
GiraffeIdentifierImpl.vdmpp
GiraffeIfExpressionImpl.vdmpp
GiraffeIntegerLiteralExpressionImpl.vdmpp
GiraffeLiteralExpressionImpl.vdmpp
GiraffeMethodDefinitionImpl.vdmpp
GiraffeNodeImpl.vdmpp
GiraffeParameterImpl.vdmpp
GiraffeReturnStatementImpl.vdmpp
GiraffeSpecificationImpl.vdmpp
GiraffeStatementImpl.vdmpp
GiraffeTypeImpl.vdmpp
GiraffeUnaryExpressionImpl.vdmpp
GiraffeUnaryOperatorImpl.vdmpp
GiraffeVariableDeclStatementImpl.vdmpp
GiraffeVariableExpressionImpl.vdmpp