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 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 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 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
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
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
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
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: (Project Paper)
O Boudeville, F Cesarini, N Chechina, K Lundin, N Papaspyrou, ...
Trends in Functional Programming: 13th International Symposium, TFP 2012, St …, 2013
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
Methods and systems for transportation of objects and people through collaboration networks of people connected via trust relationships
AL Prodromidis, L Mousselimis, A Dailianas, N Papaspyrou
US Patent App. 14/905,009, 2016
Continuations for prototyping concurrent languages
EN Todoran, N Papaspyrou
Technical Report CSD-SWTR-1-06, National Technical University of Athens …, 2006
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
Modeling learning technology systems as business systems
P Avgeriou, S Retalis, N Papaspyrou
Software & Systems Modeling 2, 120-133, 2003
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
The system can't perform the operation now. Try again later.
Articles 1–20