Nikolaos Papaspyrou
Nikolaos Papaspyrou
Verified email at - Homepage
Cited by
Cited by
A type system for certified binaries
Z Shao, B Saha, V Trifonov, N Papaspyrou
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
A formal semantics for the C programming language
NS Papaspyrou
Doctoral Disseration. National Technical University of Athens. Athens …, 1998
A type system for certified binaries
Z Shao, V Trifonov, B Saha, N Papaspyrou
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (1), 1-45, 2005
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 workshop on Erlang workshop, 33-42, 2012
A resumption monad transformer and its applications in the semantics of concurrency
NS Papaspyrou
Proceedings of the 3rd Panhellenic Logic Symposium, 17-22, 2001
Concolic testing for functional languages
A Giantsios, N Papaspyrou, K Sagonas
Science of Computer Programming 147, 109-134, 2017
A type and effect system for deadlock avoidance in low-level languages
P Gerakios, N Papaspyrou, K Sagonas
Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and …, 2011
Evaluating the usability of web-based learning management systems
P Georgiakakis, A Papasalouros, S Retalis, K Siassiakos, N Papaspyrou
THEMES in Education 6 (1), 45-59, 2005
Semantic description of educational adaptive hypermedia based on a conceptual model
A Papasalouros, S Retalis, N Papaspyrou
Journal of Educational Technology & Society 7 (4), 129-142, 2004
Denotational semantics of ANSI C
NS Papaspyrou
Computer Standards & Interfaces 23 (3), 169-185, 2001
Continuations for parallel logic programming
E Todoran, NS Papaspyrou
Proceedings of the 2nd ACM SIGPLAN international conference on Principles …, 2000
A case study of an enriched classroom model based on the World Wide Web
S Retalis, V Makrakis, N Papaspyrou, M Skordalakis
Active Learning, 15-19, 1998
Dynamic deadlock avoidance in systems code using statically inferred effects
P Gerakios, N Papaspyrou, K Sagonas, P Vekris
Proceedings of the 6th Workshop on Programming Languages and Operating …, 2011
RELEASE: a high-level paradigm for reliable large-scale server software
O Boudeville, F Cesarini, N Chechina, K Lundin, N Papaspyrou, ...
International Symposium on Trends in Functional Programming, 263-278, 2012
A study of evaluation order semantics in expressions with side effects
NS Papaspyrou, D MAĆO
Journal of Functional Programming 10 (3), 227-244, 2000
Continuations for prototyping concurrent languages
EN Todoran, N Papaspyrou
Technical Report CSD-SWTR-1-06, National Technical University of Athens …, 2006
Towards a Novel Networked Learning Environment.
A Koutoumanos, N Papaspyrou, S Retalis, H Maurer, E Skordalakis
Web site: http://aace. virginia. edu/aace/conf/webnet/html/124/124. htm, 1996
Modeling learning technology systems as business systems
P Avgeriou, S Retalis, N Papaspyrou
Software & Systems Modeling 2 (2), 120-133, 2003
Web-based teaching in software engineering
N Papaspyrou, S Retalis, S Efremidis, G Barlas, E Skordalakis
Advances in engineering software 30 (12), 901-906, 1999
Race-free and memory-safe multithreading: Design and implementation in Cyclone
P Gerakios, N Papaspyrou, K Sagonas
Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and …, 2010
The system can't perform the operation now. Try again later.
Articles 1–20