Computer Languages

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
The contraction of control implementations
Computer Languages - Tập 8 - Trang 15-25 - 1983
Lawrence A. Coon, John P. Kearns, Mary Lou Soffa
Towards resource handling in logic programming: The PPL framework and fits semantics
Computer Languages - Tập 22 - Trang 51-77 - 1996
Jean-Marie Jacquet, Luís Monteiro
PROGRAPH: A preliminary report
Computer Languages - Tập 10 - Trang 91-126 - 1985
S. Matwin, T. Pietrzykowski
Functional semantics of programs with exceptions
Computer Languages - Tập 15 - Trang 251-265 - 1990
Jean-Chrysostome Bolot, Pankaj Jalote
NP-SPEC: an executable specification language for solving all problems in NP
Computer Languages - Tập 26 - Trang 165-195 - 2000
Marco Cadoli, Giovambattista Ianni, Luigi Palopoli, Andrea Schaerf, Domenico Vasile
Languages for formalizing, visualizing and verifying software architectures
Computer Languages - Tập 27 - Trang 3-18 - 2001
Rob van Ommering, René Krikhaar, Loe Feijs
An algorithm for generating abstract syntax trees
Computer Languages - Tập 10 - Trang 225-236 - 1985
Robert E. Noonan
Altering and applying predicates
Computer Languages - Tập 18 - Trang 57-75 - 1993
H Justin Coven
Semantics of well-moded input-consuming logic programs
Computer Languages - Tập 26 - Trang 1-25 - 2000
Annalisa Bossi, Sandro Etalle, Sabina Rossi
Methods for specifying static semantics
Computer Languages - Tập 6 - Trang 1-17 - 1981
M.H. Williams
Tổng số: 169   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10