Quelle Sprachen.htm

Sprache: HTML

products/Sources/formale Sprachen/Delphi/Elbe 1.0/HelpText Standard deutsch/html/Sprachen.htm

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" Content="text/html; charset=Windows-1252">
<TITLE>verschiedene Sprachen</TITLE>
</HEAD>

<BODY BGCOLOR="#FFFFFF" TEXT="#000000">

Folgende Sprachen werden unterstützt

<UL>
<LI>Windows-Batch, *.bat or *.cmd </LI>
<LI>Isabelle Theorien, *.thy </LI>
<LI>COBOL Quellen, *.cob </LI>
<LI>GAP algebraische Dateien, *.in </LI>
<LI>MT940 Geld Transfer Formalismus, *.mt </LI>
 <LI>Fortran, *.ftn </LI>
<LI>Abap, *.abapt </LI>
 <LI>Ada, *.adbt </LI>
 <LI>Accent Parser Generater, *.acc </LI>
<LI>(F)Lex Scanner Generator, *.lex </LI>
<LI>Perl, *.pl </LI>
<LI>SPS, *.sps </LI>
<LI>VHDL, *.vhdl </LI>
</UL>
</BODY>
</HTML>

Messung V0.5 in Prozent

¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet am 2026-06-10) ¤

Wurzel

Bemerkung:

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Anfrage:

Dauer der Verarbeitung:

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.