Concept
C Sharp syntax
Related publications (13)
Edit Based Grading of SQL Queries
Grading student SQL queries manually is a tedious and error-prone process. Earlier work on testing correctness of student SQL queries, such as the XData system, can be used to test the correctness of a student query. However, in case a student query is fou ...
ASSOC COMPUTING MACHINERY2021Two approaches to portable macros
For any programming language that supports macros and has multiple implementations (each with different AST definitions), there is a common problem: how to make macros that operate on ASTs portable among different compiler implementations? Implementing por ...
2017Squid: Type-Safe, Hygienic, and Reusable Quasiquotes
Christoph Koch, Amir Shaikhha, Lionel Emile Vincent Parreaux
Quasiquotes have been shown to greatly simplify the task of metaprogramming. This is in part because they hide the data structures of the intermediate representation (IR), instead allowing metaprogrammers to use the concrete syntax of the language they man ...
ACM2017SMT-Based Checking of Predicate-Qualified Types for Scala
Viktor Kuncak, Georg Stefan Schmid
We present qualified types for Scala, a form of refinement types adapted to the Scala language. Qualified types allow users to refine base types and classes using predicate expressions. We implemented a type checker for qualified types that is embedded in ...
Assoc Computing Machinery2016Compile-Time Type-Driven Data Representation Transformations in Object-Oriented Languages
High-level languages allow programmers to express data structures and algorithms that abstract over the type of data they handle. This improves code reuse and makes it possible to develop general-purpose libraries. Yet, data abstractions slow down program ...
EPFL2015On Counter-Example Complete Verification for Higher-Order Functions
Viktor Kuncak, Etienne Kneuss, Nicolas Charles Yves Voirol
We present a verification procedure for pure higher-order functional Scala programs with parametric types. We show that our procedure is sound for proofs, as well as sound and complete for counter-examples. The procedure reduces the analysis of higher-orde ...
2015Self-Assembly: Lightweight Language Extension and Datatype Generic Programming, All-in-One!
In this paper we show a general mechanism, called self-assembly, for lightweight language extensions (LLEs). LLEs allow users to define generic operations or properties that operate over a large class of types. With LLEs it is possible, for example, for us ...
2014Improving API Documentation for Java-like Languages
Gilles Dubochet, Donna Malayeri
The Javadoc paradigm for displaying API documentation to users is quite popular, with similar variants existing for many mainstream languages. However, two user interface design properties of Javadoc may reduce its utility when displaying documentation for ...
2010Scalable Component Abstractions
Martin Odersky, Matthias Zenger
We identify three programming language abstractions for the construction of reusable components: abstract type members, explicit selftypes, and modular mixin composition. Together, these abstractions enable us to transform an arbitrary assembly of static p ...
2005