Suchergebnisse - (("Implementation of logic Programming") OR ("Implementation of login Programming"))~

Treffer weiter einschränken
  1. 1

    Selected papers of the Symposium on Programming Language Implementation and Logic Programming (PLILP '91), Passau, Germany, 26-28 August 1991 / guest ed. J. Małusziński [i.e. Małuszyński] and M. Wirsing.

    Autoren: PLILP '91 (3 ; 1991 ; Pasawa). Małuszyński, Jan (1941- ). Wirsing, Martin.

    Weitere Verfasser: PLILP '91 (3 ; 1991 ; Pasawa). Małuszyński, Jan (1941- ). Wirsing, Martin.

    Quelle: Bibliogr. przy rozdz.

    Zugangs-URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:2490951&theme=nukat

    Nájsť tento článok vo Web of Science View record at NUKAT
    Zu den Favoriten
  2. 2

    Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam (eds.).

    Autoren: PLILP '94 (6 ; 1994 ; Madryt). Hermenegildo, Manuel. Penjam, Jaan (1955- ). et al.

    Weitere Verfasser: PLILP '94 (6 ; 1994 ; Madryt). Hermenegildo, Manuel. Penjam, Jaan (1955- ). et al.

    Schlagwörter: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

    Zugangs-URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1642531&theme=nukat

    Nájsť tento článok vo Web of Science View record at NUKAT
    Zu den Favoriten
  3. 3

    Programming language implementation and logic programming : 5th international symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings / Maurice Bruynooghe, Jaan Penjam (eds.).

    Autoren: PLILP '93 (5 ; 1993 ; Tallinn). Bruynooghe, Maurice. Penjam, Jaan (1955- ).

    Weitere Verfasser: PLILP '93 (5 ; 1993 ; Tallinn). Bruynooghe, Maurice. Penjam, Jaan (1955- ).

    Schlagwörter: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

    Zugangs-URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1642807&theme=nukat

    Nájsť tento článok vo Web of Science View record at NUKAT
    Zu den Favoriten
  4. 4

    Programming language implementation and logic programming : 4th international symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings / M. Bruynooghe, M. Wirsing (eds.).

    Autoren: PLILP '92 (4 ; 1992 ; Leuven). Bruynooghe, Maurice. Wirsing, Martin.

    Weitere Verfasser: PLILP '92 (4 ; 1992 ; Leuven). Bruynooghe, Maurice. Wirsing, Martin.

    Schlagwörter: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

    Zugangs-URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1643025&theme=nukat

    Nájsť tento článok vo Web of Science View record at NUKAT
    Zu den Favoriten
  5. 5

    Programming language implementation and logic programming : 3rd international symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings / J. Maluszyński, M. Wirsing (eds.).

    Autoren: PLILP '91 (3 ; 1991 ; Pasawa). Wirsing, Martin. Małuszyński, Jan (1941- ). et al.

    Weitere Verfasser: PLILP '91 (3 ; 1991 ; Pasawa). Wirsing, Martin. Małuszyński, Jan (1941- ). et al.

    Schlagwörter: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

    Zugangs-URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1642878&theme=nukat

    Nájsť tento článok vo Web of Science View record at NUKAT
    Zu den Favoriten
  6. 6

    Programming language implementation and logic programming : International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings / P. Deransart, J. Małuszyński (Eds.).

    Autoren: International Workshop PLILP '90 (2 ; 1990 ; Linköping). Deransart, Pierre (1945- ). Małuszyński, Jan (1941- ).

    Weitere Verfasser: International Workshop PLILP '90 (2 ; 1990 ; Linköping). Deransart, Pierre (1945- ). Małuszyński, Jan (1941- ).

    Quelle: Bibliogr. przy rozdz.

    Schlagwörter: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

    Zugangs-URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1308582&theme=nukat

    Nájsť tento článok vo Web of Science View record at NUKAT
    Zu den Favoriten
  7. 7

    Programming language implementation and logic programming / Executable specifications for language implementation

    Autoren: Kastens, Uwe

    Geographisches Schlagwort: EIM.2

    Relation: vignette : https://digital.ub.uni-paderborn.de/titlepage/urn/urn:nbn:de:hbz:466:2-4219/128; 3-540-57186-8; eki:HBZCT004000400; system:CT004000400

    Verfügbarkeit: http://nbn-resolving.org/urn:nbn:de:hbz:466:2-4219
    https://nbn-resolving.org/urn:nbn:de:hbz:466:2-4219

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  8. 8

    Faster numeric static analyses with unconstrained variable oracles.

    Autoren: Arceri, Vincenzo Bianchi, Filippo Dolcetti, Greta et al.

    Quelle: PeerJ Computer Science; Nov2025, p1-48, 48p

    Schlagwörter: SOFTWARE verification, MATHEMATICAL variables, COMPUTER performance, RESEARCH evaluation

    Full Text Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  9. 9

    Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings

    Quelle: Lecture Notes in Computer Science ISBN: 9783540584025

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  10. 10

    Progamming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25–27, 1993 Proceedings

    Quelle: Lecture Notes in Computer Science ISBN: 9783540571865

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  11. 11

    Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

    Quelle: Lecture Notes in Computer Science ISBN: 9783540558446

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  12. 12

    Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

    Quelle: Lecture Notes in Computer Science ISBN: 9783540544449

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  13. 13

    Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings

    Quelle: Lecture Notes in Computer Science ISBN: 9783540530107

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  14. 14

    Convergence of datalog over (Pre-) Semirings.

    Autoren: Abo Khamis, Mahmoud Ngo, Hung Q. Pichler, Reinhard et al.

    Quelle: Journal of the ACM; Apr2024, Vol. 71 Issue 2, p1-55, 55p

    Schlagwörter: POLYNOMIAL time algorithms, NUMBER theory, BIG data, SEMANTICS, NAIVE Bayes classification, ALGORITHMS

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  15. 15

    Programming languages implementation and logic programming : international workshop PLILP '88, Orleans, France, May 16-18, 1988 : proceedings / P. Deransart, B. Lorho, J. Małuszyński (eds.).

    Autoren: International Workshop PLILP '88 (1988 ; Orlean). Deransart, Pierre (1945- ). Lorho, Bernard. et al.

    Weitere Verfasser: International Workshop PLILP '88 (1988 ; Orlean). Deransart, Pierre (1945- ). Lorho, Bernard. et al.

    Schlagwörter: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

    Zugangs-URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1645928&theme=nukat

    Nájsť tento článok vo Web of Science View record at NUKAT
    Zu den Favoriten
  16. 16

    Context Gas and friends: taming context-sensitivity on the fly.

    Autoren: Erhard, Julian Schinabeck, Johanna Franziska Schwarz, Michael et al.

    Quelle: International Journal on Software Tools for Technology Transfer; Apr2025, Vol. 27 Issue 2, p289-307, 19p

    Schlagwörter: SOFTWARE verification, VERDICTS, TRANSLATORS, GASES

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  17. 17

    Programming Languages Implementation and Logic Programming: International Workshop PLILP '88 Orléans, France, May 16–18, 1988 Proceedings

    Quelle: Lecture Notes in Computer Science ISBN: 9783540508205

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  18. 18

    Abstract domain adequacy: Weakening completeness towards static analysis precision.

    Autoren: Mastroeni, Isabella

    Quelle: International Journal on Software Tools for Technology Transfer; Dec2024, Vol. 26 Issue 6, p747-765, 19p

    Schlagwörter: SOUND systems, TRANSLATORS

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  19. 19

    Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap.

    Autoren: Erhard, Julian Saan, Simmo Tilscher, Sarah et al.

    Quelle: International Journal on Software Tools for Technology Transfer; Dec2024, Vol. 26 Issue 6, p647-667, 21p

    Schlagwörter: COMPUTER software developers, ENGINES

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  20. 20

    ChatGPT in the Classroom. Exploring Its Potential and Limitations in a Functional Programming Course.

    Autoren: Popovici, Matei-Dan

    Quelle: International Journal of Human-Computer Interaction; Nov2024, Vol. 40 Issue 22, p7743-7754, 12p

    Schlagwörter: GENERATIVE artificial intelligence, GENERATIVE pre-trained transformers, CHATGPT, SOFTWARE engineering, SUPERVISED learning

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: