Konstantinos Sagonas
Konstantinos Sagonas
Uppsala University and National Technical University of Athens (on leave)
Bestätigte E-Mail-Adresse bei it.uu.se
Titel
Zitiert von
Zitiert von
Jahr
XSB as an Efficient Deductive Database Engine
K Sagonas, T Swift, DS Warren
Proceedings of the ACM SIGMOD International Conference on the Management of …, 1994
5451994
XSB: A system for efficiently computing well-founded semantics
P Rao, K Sagonas, T Swift, DS Warren, J Freire
International Conference on Logic Programming and Nonmonotonic Reasoning …, 1997
1971997
Optimal dynamic partial order reduction
P Abdulla, S Aronis, B Jonsson, K Sagonas
ACM Symposium on Principles of Programming Languages (POPL'14), 373-384, 2014
1622014
An abstract machine for tabled execution of fixed-order stratified logic programs
K Sagonas, T Swift
ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (3), 586-634, 1998
1591998
Efficient access mechanisms for tabled logic programs
IV Ramakrishnan, P Rao, K Sagonas, T Swift, DS Warren
Journal of Logic Programming 38 (1), 31-54, 1999
1151999
Stateless Model Checking for TSO and PSO
PA Abdulla, S Aronis, MF Atig, B Jonsson, C Leonardsson, K Sagonas
Acta Informatica 54 (8), 789-818, 2017
1132017
Practical type inference based on success typings
T Lindahl, K Sagonas
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
1032006
Efficient tabling mechanisms for logic programs
IV Ramakrishnan, P Rao, K Sagonas, T Swift, DS Warren
Proceedings of the 12th International Conference on Logic Programming, 687-711, 1995
1021995
A PropEr integration of types and function specifications with property-based testing
M Papadakis, K Sagonas
Proceedings of the 10th ACM SIGPLAN workshop on Erlang, 39-50, 2011
912011
Detecting software defects in telecom applications through lightweight static analysis: A war story
T Lindahl, K Sagonas
Asian Symposium on Programming Languages and Systems, 91-106, 2004
692004
Effective stateless model checking for C/C++ concurrency
M Kokologiannakis, O Lahav, K Sagonas, V Vafeiadis
Proceedings of the ACM on Programming Languages 2 (POPL), 1-32, 2017
612017
CHAT: The copy-hybrid approach to tabling
B Demoen, K Sagonas
Practical Aspects of Declarative Languages, 106-121, 1998
611998
CAT: The copying approach to tabling
B Demoen, K Sagonas
Principles of Declarative Programming, 21-35, 1998
591998
A high performance Erlang system
E Johansson, M Pettersson, K Sagonas
Proceedings of the 2nd ACM SIGPLAN international conference on Principles …, 2000
582000
Systematic testing for detecting concurrency errors in Erlang programs
M Christakis, A Gotovos, K Sagonas
Sixth International Conference on Software Testing, Verification and …, 2013
502013
Demand-driven indexing of Prolog clauses
VS Costa, K Sagonas, R Lopes
Logic Programming, 395-409, 2007
472007
Semantica: Version 1.0 (for NEXTSTEP)
RK Larson, DS Warren, J Freire, P Gomez, K Sagonas
MIT Press, 1997
461997
XSB: An overview of its use and implementation
K Sagonas, T Swift, DS Warren
SUNY at Stony Brook, 1993
44*1993
TypEr: A type annotator of Erlang code
T Lindahl, K Sagonas
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang, 17-25, 2005
432005
A scalability benchmark suite for Erlang/OTP
S Aronis, N Papaspyrou, K Roukounaki, K Sagonas, Y Tsiouris, IE Venetis
Proceedings of the eleventh ACM SIGPLAN Erlang workshop, 33-42, 2012
412012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20