代码搜索：Pascal
找到约 9,253 项符合「Pascal」的源代码
代码结果 9,253
www.eeworm.com/read/306033/13754747
pp pascal_theorem_proving.pp
// Symbolic logic. Theorem proving.
// Compare with Appendix A in "Chang C.L and Lee R.C. Symbolic
// Logic and Mechanical Theorem Proving", Academic Press, New York, 1973
program TheoremProving;
www.eeworm.com/read/119507/14827635
ll1 pascal1.ll1
0
$
300
ε
1
and
2
array
3
begin
4
case
5
const
6
div
7
do
8
downto
9
else
10
end
11
file
12
for
13
function
14
goto
15
if
16
in
17
label
18
mod
19
nil
20
not
www.eeworm.com/read/119507/14827662
ll1 pascal2.ll1
[终结符号]
0 $
300 ε
1 and
2 array
3 begin
4 case
5 const
6 div
7 do
8 downto
9 else
10 end
11 file
12 for
13 function
14 goto
15 if
16 in
17 label
18 mod
19 nil
20 not
21 of
22 or
www.eeworm.com/read/233448/4671071
c pascal-strings-1.c
/* APPLE LOCAL file pascal strings */
/* Positive C++ test cases. */
/* Origin: Ziemowit Laski */
/* { dg-do run } */
/* { dg-options "-fpascal-strings" } */
typedef __SIZE_TYPE__
www.eeworm.com/read/233448/4671208
c pascal-strings-2.c
/* APPLE LOCAL file pascal strings */
/* Negative C++ test cases. */
/* Origin: Ziemowit Laski */
/* { dg-do compile } */
/* { dg-options "-fpascal-strings" } */
const wchar_t *pa
www.eeworm.com/read/233448/4671210
c pascal-strings-3.c
/* APPLE LOCAL file pascal strings */
/* Ensure that there are no warnings or errors issued when a Pascal string is used to
initialize an array and the NUL terminator does not fit. */
/* Author: Z
www.eeworm.com/read/233448/4671892
c pascal-strings-4.c
/* APPLE LOCAL file pascal strings */
/* Ensure that Pascal strings do not get confused with ordinary C strings when
-funsigned-char is being used. */
/* Author: Ziemowit Laski
www.eeworm.com/read/233448/4676321
mm pascal-strings-1.mm
/* APPLE LOCAL file pascal strings */
/* Ensure that there are no warnings or errors issued when a Pascal string is used to
initialize an array and the NUL terminator does not fit. */
/* Author: Z
www.eeworm.com/read/233448/4676434
mm pascal-strings-2.mm
/* APPLE LOCAL file pascal strings */
/* Ensure that Pascal strings do not get confused with ordinary C strings when
-funsigned-char is being used. */
/* Author: Ziemowit Laski