Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Liitotsing

Valitud kirjed 0

Proceedings of the ACM on Programming Languages (allikas)

—

—

Lisa tingimus Lihtotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 4
Vaata veel.. (2/81)
Ekspordi

ekspordi kõik päringu tulemused (4)
Salvesta TXT fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel ajakirjas EST / artikkel ajakirjas ENG

Flexible presentations of graded monadsKatsumata, Shin-ya; McDermott, Dylan; Uustalu, Tarmo; Wu, NicolasProceedings of the ACM on Programming Languages2022 / art. 123, 28 p https://doi.org/10.1145/3547654 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
2

artikkel ajakirjas EST / artikkel ajakirjas ENG

Functorial semantics for partial theoriesDi Liberti, Ivan; Loregian, Fosco; Nester, Chad Mitchell; Sobocinski, Pawel MariaProceedings of the ACM on Programming Languages2021 / art. 57, 28 p. : ill https://doi.org/10.1145/3434338 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
Seotud publikatsioonid 1
- Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
3

artikkel ajakirjas

RE#: High performance derivative-based regex matching with intersection, complement, and restricted lookaroundsVaratalu, Ian Erik; Veanes, Margus; Ernits, Juhan-PeepProceedings of the ACM on Programming Languages2024 / art. 1, 32 p https://doi.org/10.1145/3704837

artikkel ajakirjas
4

artikkel ajakirjas EST / artikkel ajakirjas ENG

Securing verified IO programs against unverified code in F∗Andrici, Cezar-Constantin; Ciobâca, Stefan; HriÅ£cu, Catalin; Martínez, Guido; Rivas, Exequiel; Tanter, Éric; Winterhalter, ThéoProceedings of the ACM on programming languages2024 / art. 74, 34 p. : ill https://doi.org/10.1145/3632916 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Kirjeid leitud 4, kuvan 1 - 4

1. computer programming languages
2. object-oriented programming languages
3. problem-oriented programming languages
4. programming languages
5. semantics of programming languages
6. ACM (average current mode) control
7. atoms of regular languages
8. Common European Framework of Reference for Languages
9. context free languages
10. context-free languages
11. data flow languages
12. domain specific languages
13. formal languages
14. Indigenous languages
15. less-resourced languages
16. low-resource languages
17. modeling languages
18. object constraint languages
19. problem-oriented languages
20. query languages
21. regular languages
22. textual domain specific languages
23. under-resourced languages
24. adaptive programming
25. advanced programming and software
26. API (Application Programming Interface)
27. automatic programming
28. C++ programming language
29. chance-constrained programming
30. computer programming
31. constraint logic programming
32. constraint logic programming (LP) (CLP)
33. constraint programming
34. convex programming
35. dataflow programming
36. degenerate and infeasible linear programming problems
37. dependently typed programming
38. discrete-convex programming
39. dynamic programming
40. Extreme Programming
41. functional programming
42. functional reactive programming
43. game programming
44. generative programming
45. genetic programming
46. hardware close programming
47. Inductive logic programming
48. initial solution to the linear programming problem
49. in-system programming
50. integer linear programming
51. integer linear programming (ILP)
52. integrated programming system
53. intelligent programming environment
54. linear integer programming
55. linear programming
56. logarithmic fuzzy preference programming (LFPP)
57. mathematical programming
58. mathematical structures in functional programming
59. mixed integer linear programming
60. mixed integer linear programming (MILP)
61. mixed integer nonlinear programming
62. mixed-integer linear programming
63. multi-objective nonlinear programming
64. Nc-programming
65. object-oriented programming
66. pair-programming
67. programming
68. programming and vision
69. programming basics
70. programming education
71. programming time
72. quadratic programming
73. robot programming
74. skills assessment of programming and mathematics
75. software tools for robot programming
76. solving linear programming problems
77. stochastic dynamic programming
78. stochastic programming
79. structured programming
80. wireless programming

1. Tallinn Polytechnic Institute, Chair of Foreign Languages

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu